Computer Science
-
Monographs in Computer Science: From Decision Procedures to Declarative Programming with Sets -
High Performance Discovery In Time Series: Techniques and Case Studies -
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
