Languages
Subject
Format
Availabity
Authors

Search result

R. Berghammer, Bernhard Möller, Georg Struth - Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth Relational and Kleene-Algebraic Methods in Computer Science English 01.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation English 24.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Bruce Watson, Derick Wood - Implementation and Application of Automata
Bruce Watson, Derick Wood Implementation and Application of Automata English 16.01.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Hubert Baumeister, Jutta Eckstein - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Jutta Eckstein Extreme Programming and Agile Processes in Software Engineering English 01.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Emmerich, Alexander L. Wolf - Component Deployment
Wolfgang Emmerich, Alexander L. Wolf Component Deployment English 11.05.2004 Paperback / Softback Fr. 73.00 6-7 weeks
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan - Objects, Agents, and Features
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan Objects, Agents, and Features English 02.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier - Extreme Programming and Agile Methods - XP/Agile Universe 2004
Hakan Erdogmus, Lowell Lindstrom, Carmen Zannier Extreme Programming and Agile Methods - XP/Agile Universe 2004 English 03.08.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind - Theorem Proving in Higher Order Logics
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind Theorem Proving in Higher Order Logics English 01.09.2004 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
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