Computer Science
-
Super-Recursive Algorithms -
A Discipline of Multiprogramming Programming Theory for Distributed Applications -
Monographs in Computer Science -
Adapting Proofs-as-Programs The Curry--Howard Protocol -
Adapting Proofs-as-Programs The Curry--Howard Protocol -
Asynchronous Circuits -
Monographs in Computer Science -
Super-Recursive Algorithms -
Nonconvex Optimization and Its Applications: Sequential and Parallel Algorithms -
State of the Art in Global Optimization Computational Methods and Applications -
From Local to Global Optimization -
Nonconvex Optimization and Its Applications: Methodology and Applications -
Nonconvex Optimization and Its Applications -
Nonconvex Optimization and Its Applications -
Nonconvex Optimization and Its Applications -
Nonconvex Optimization and Its Applications: Computational Methods and Applications -
Nonconvex Optimization and Its Applications: Sequential and Parallel Algorithms -
Nonconvex Optimization and Its Applications: Methodology and Applications -
Nonconvex Optimization and Its Applications -
From Local to Global Optimization -
Nonconvex Optimization and Its Applications -
Nonconvex Optimization and Its Applications -
Nonconvex Optimization and Its Applications -
Nonconvex Optimization and Its Applications
