Languages
Subject
Format
Availabity
Authors

Search result

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
Herbert Kuchen, Kazunori Ueda - Functional and Logic Programming
Herbert Kuchen, Kazunori Ueda Functional and Logic Programming English 23.02.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Laddaga, Paul Robertson, Howie Shrobe - Self-Adaptive Software
Robert Laddaga, Paul Robertson, Howie Shrobe Self-Adaptive Software English 30.01.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Samson Abramsky - Typed Lambda Calculi and Applications
Samson Abramsky Typed Lambda Calculi and Applications English 20.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Aart Middeldorp - Rewriting Techniques and Applications
Aart Middeldorp Rewriting Techniques and Applications English 09.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Maurice Margenstern, Yurii Rogozhin - Machines, Computations, and Universality
Maurice Margenstern, Yurii Rogozhin Machines, Computations, and Universality English 09.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Kung-Kiu Lau - Logic Based Program Synthesis and Transformation
Kung-Kiu Lau Logic Based Program Synthesis and Transformation English 01.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Hubert Comon, Claude Marche, Ralf Treinen - Constraints in Computational Logics. Theory and Applications
Hubert Comon, Claude Marche, Ralf Treinen Constraints in Computational Logics. Theory and Applications English 18.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Olivier Danvy, Andrzej Filinski - Programs as Data Objects
Olivier Danvy, Andrzej Filinski Programs as Data Objects English 25.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Pieter Koopman, Markus Mohnen - Implementation of Functional Languages
Pieter Koopman, Markus Mohnen Implementation of Functional Languages English 18.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Jack Davidson, Sang Lyul Min - Languages, Compilers, and Tools for Embedded Systems
Jack Davidson, Sang Lyul Min Languages, Compilers, and Tools for Embedded Systems English 07.03.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Harper - Types in Compilation
Robert Harper Types in Compilation English 20.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Leopoldo Bertossi, Gyula O. H. Katona, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim - Semantics in Databases
Leopoldo Bertossi, Gyula O. H. Katona, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim Semantics in Databases English 07.04.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Chris Johnson, Chris J. Johnson - Interactive Systems: Design, Specification, and Verification
Chris Johnson, Chris J. Johnson Interactive Systems: Design, Specification, and Verification English 24.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk - Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk Proof Theory in Computer Science English 28.09.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Akos Frohner - Object-Oriented Technology: ECOOP 2001 Workshop Reader
Akos Frohner Object-Oriented Technology: ECOOP 2001 Workshop Reader English 02.05.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Dragan Bosnacki, Stefan Leue - Model Checking Software
Dragan Bosnacki, Stefan Leue Model Checking Software English 27.03.2002 Paperback / Softback Fr. 70.00 6-7 weeks
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz - Advanced Symbolic Analysis for Compilers
T. Fahringer, Thomas Fahringer, B. Scholz, Bernhard Scholz Advanced Symbolic Analysis for Compilers English 07.04.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Maurer, Don Wells - Extreme Programming and Agile Methods - XP/Agile Universe 2003
Frank Maurer, Don Wells Extreme Programming and Agile Methods - XP/Agile Universe 2003 English 29.07.2003 Paperback / Softback Fr. 70.00 6-7 weeks