Languages
Subject
Format
Availabity
Authors

Search result

W. Emmerich, Wolfgan Emmerich, Wolfgang Emmerich, Tai, Tai, S. Tai... - Engineering Distributed Objects
W. Emmerich, Wolfgan Emmerich, Wolfgang Emmerich, Tai, Tai, S. Tai... Engineering Distributed Objects English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jorgen Lindskov Knudsen - ECOOP 2001 - Object-Oriented Programming
Jorgen Lindskov Knudsen ECOOP 2001 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... - Case-Based Reasoning Research and Development
David Aha, David W. Aha, David A. Kidwell, Davi W Aha, David W Aha, Watson... Case-Based Reasoning Research and Development English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
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
Thoma Arts, Thomas Arts, Mohnen, Mohnen, Markus Mohnen - Implementation of Functional Languages
Thoma Arts, Thomas Arts, Mohnen, Mohnen, Markus Mohnen Implementation of Functional Languages 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
Roland Backhouse, Jerem Gibbons, Jeremy Gibbons, Ralf Hinze, Ralf Hinze et al, Johan Jeuring... - Datatype-Generic Programming
Roland Backhouse, Jerem Gibbons, Jeremy Gibbons, Ralf Hinze, Ralf Hinze et al, Johan Jeuring... Datatype-Generic Programming English 14.04.2009 Paperback / Softback Fr. 69.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