Languages
Subject
Format
Availabity
Authors

Search result

Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida - CONCUR 2004 -- Concurrency Theory
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida CONCUR 2004 -- Concurrency Theory English 29.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Iain Craig, Iain D. Craig, Ian Craig - The Interpretation of Object-Oriented Programming Languages
Iain Craig, Iain D. Craig, Ian Craig The Interpretation of Object-Oriented Programming Languages English 09.11.2001 Paperback / Softback Fr. 124.00 6-7 weeks
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller Recent Advances in Parallel Virtual Machine and Message Passing Interface English 23.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems English 21.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki - Computer Science Logic
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki Computer Science Logic English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mark Wallace - Principles and Practice of Constraint Programming - CP 2004
Mark Wallace Principles and Practice of Constraint Programming - CP 2004 English 29.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features English 02.12.2013 Paperback / Softback Fr. 120.00 6-7 weeks
Slim Abdennadher, Thom Frühwirth - Essentials of Constraint Programming
Slim Abdennadher, Thom Frühwirth Essentials of Constraint Programming English 27.02.2003 Hardback Fr. 70.00 6-7 weeks
Georg Lausen, Dan Suciu - Database Programming Languages
Georg Lausen, Dan Suciu Database Programming Languages English 26.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual English 29.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Christian Bliek, Christophe Jermann, Arnold Neumaier - Global Optimization and Constraint Satisfaction
Christian Bliek, Christophe Jermann, Arnold Neumaier Global Optimization and Constraint Satisfaction English 05.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Satoshi Matsuoka, Akinori Yonezawa - Metalevel Architectures and Separation of Crosscutting Concerns
Satoshi Matsuoka, Akinori Yonezawa Metalevel Architectures and Separation of Crosscutting Concerns English 12.09.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Walid Taha - Semantics, Applications, and Implementation of Program Generation
Walid Taha Semantics, Applications, and Implementation of Program Generation English 23.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Alan Dearle, Graham N. C. Kirby, Graham N.C. Kirby, Dag I. K. Sjoberg, Dag I.K. Sjoberg, Dag I. K. Sjoeberg - Persistent Object Systems: Design, Implementation, and Use
Alan Dearle, Graham N. C. Kirby, Graham N.C. Kirby, Dag I. K. Sjoberg, Dag I.K. Sjoberg, Dag I. K. Sjoeberg Persistent Object Systems: Design, Implementation, and Use English 10.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
I. V. Ramakrishnan, I.V. Ramakrishnan - Practical Aspects of Declarative Languages
I. V. Ramakrishnan, I.V. Ramakrishnan Practical Aspects of Declarative Languages English 28.02.2001 Paperback / Softback Fr. 70.00 6-7 weeks
R. Cervenka, Radovan Cervenka, I. Trencansky, Ivan Trencansky - The Agent Modeling Language - AML
R. Cervenka, Radovan Cervenka, I. Trencansky, Ivan Trencansky The Agent Modeling Language - AML English 17.04.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna - Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna Rigorous Development of Complex Fault-Tolerant Systems English 27.11.2006 Paperback / Softback Fr. 69.00 6-7 weeks
Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods
Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods English 03.11.2006 Paperback / Softback Fr. 69.00 6-7 weeks
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff Formal Approaches to Software Testing and Runtime Verification English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks