Languages
Subject
Format
Availabity
Authors

Search result

Henry Gordon Dietz - Languages and Compilers for Parallel Computing
Henry Gordon Dietz Languages and Compilers for Parallel Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... - Types for Proofs and Programs
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... Types for Proofs and Programs English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... - Agent-Oriented Software Engineering III
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... Agent-Oriented Software Engineering III English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan - Recent Advances in Constraints
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Markus Endler, Douglas Schmidt, Douglas C. Schmidt - Middleware 2003
Markus Endler, Douglas Schmidt, Douglas C. Schmidt Middleware 2003 English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Radhia Cousot - Static Analysis
Radhia Cousot Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
H. Hussmann, Heinrich Hußmann - Fundamental Approaches to Software Engineering
H. Hussmann, Heinrich Hußmann Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon - Foundations of Software Science and Computational Structures
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon Foundations of Software Science and Computational Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
S. Benferhat, Salem Benferhat, P. Besnard, Philippe Besnard Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... - Applied Semantics
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... Applied Semantics English 07.10.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Butler, Luigia Petre, Kaisa Sere - Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere Integrated Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel - UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Don Batory, Charles Consel, Walid Taha - Generative Programming and Component Engineering
Don Batory, Charles Consel, Walid Taha Generative Programming and Component Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Krzystof Diks, Wojciech Rytter - Mathematical Foundations of Computer Science 2002
Krzystof Diks, Wojciech Rytter Mathematical Foundations of Computer Science 2002 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Pierpaolo Degano - Programming Languages and Systems
Pierpaolo Degano Programming Languages and Systems English 19.02.2009 Paperback / Softback Fr. 73.00 6-7 weeks
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young - Modeling and Using Context
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young Modeling and Using Context English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Reinhard Wilhelm, Reinhard Wilhelm - Compiler Construction
Reinhard Wilhelm, Reinhard Wilhelm Compiler Construction English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Toby Walsh - Principles and Practice of Constraint Programming - CP 2001
Toby Walsh Principles and Practice of Constraint Programming - CP 2001 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Julian Bradfield - Computer Science Logic
Julian Bradfield Computer Science Logic English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks