Languages
Subject
Format
Availabity
Authors

Search result

Petr Kolman, Ale Pultr, Ales Pultr, Jiri Sgall - Mathematical Foundations of Computer Science 2001
Petr Kolman, Ale Pultr, Ales Pultr, Jiri Sgall Mathematical Foundations of Computer Science 2001 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Yianni Cotronis, Yiannis Cotronis, DONGARRA, Dongarra, Jack Dongarra - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Yianni Cotronis, Yiannis Cotronis, DONGARRA, Dongarra, Jack Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rachi Guerraoui, Rachid Guerraoui - Middleware 2001
Rachi Guerraoui, Rachid Guerraoui Middleware 2001 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen - CONCUR 2001 - Concurrency Theory
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen CONCUR 2001 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay - FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen - Foundations of Software Science and Computation Structures
ENGBERG, Engberg, Uffe Engberg, Mogen Nielsen, Mogens Nielsen Foundations of Software Science and Computation Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2002
Johan Blieberger, Johann Blieberger, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2002 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Sophi Tison, Sophie Tison - Rewriting Techniques and Applications
Sophi Tison, Sophie Tison Rewriting Techniques and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bori Magnusson, Boris Magnusson - ECOOP 2002 - Object-Oriented Programming
Bori Magnusson, Boris Magnusson ECOOP 2002 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera - CONCUR 2002 - Concurrency Theory
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera CONCUR 2002 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie Formal Methods and Software Engineering English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... - ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C Henson et al, Martin C. Henson, Jonatha P Bowen, Jonathan P Bowen... ZB 2002: Formal Specification and Development in Z and B English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christop Grimm, Christoph Grimm - Languages for System Specification
Christop Grimm, Christoph Grimm Languages for System Specification English 14.04.2009 Hardback Fr. 210.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
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