Google full text of our books:

     

BROWSE PRINCETON'S SERIES (by title) in Princeton Series in Computer Science

Edited by David R. Hanson and Robert E. Tarjan

This series treats a variety of topics in theoretical and experimental computer science, including hardware design and computer architecture, networks, system performance, programming languages, operating systems, software engineering, algorithm design and analysis, combinatorics, complexity, logics of programs and program design, and artificial intelligence. It is attractive not only to computer scientists in all areas, but also to mathematicians with interests in computing.

Go to Listing by Date | Go to Listing by Author | Princeton Legacy Library by Subject/Date

bookjacketComputer-Aided Verification of Coordinating Processes:
The Automata-Theoretic Approach
Robert P. Kurshan

bookjacketThe Implementation of Prolog
Patrice Boizumault - Translated by: Ara M. Djamboulian, Jamal Fattouh

bookjacketRecent Advances in Global Optimization
Christodoulos A. Floudas, Panos M. Pardalos

Return to Series Menu

File created: 3/7/2017

Questions and comments to: webmaster@press.princeton.edu
Princeton University Press

New Book E-mails
New In Print
PUP Blog
Videos/Audios
Princeton APPS
Sample Chapters
Subjects
Series
Catalogs
Princeton Legacy Library
Exam/Desk Copy
Textbooks
Media/Reviewers
Rights/Permissions
Ordering
Recent Awards
Princeton Shorts
Freshman Reading
PUP Europe
About Us
Contact Us
Links
F.A.Q.
PUP Home


Bookmark and Share