Series: Princeton Series in Computer Science

Sort

Filter

cover image of Computer-Aided Verification of Coordinating Processes

Computer-Aided Verification...

Princeton Series in Computer Science (Series)

Robert P. Kurshan Author
(2014)

cover image of Recent Advances in Global Optimization

Recent Advances in Global...

Princeton Series in Computer Science (Series)

Christodoulos A. Floudas Author
Panos M. Pardalos Author
(2014)

cover image of The Implementation of Prolog

The Implementation of Prolog

Princeton Series in Computer Science (Series)

Patrice Boizumault Author
Jamal Fattouh Translator
(2014)