Languages
Subject
Format
Availabity
Authors

Search result

Michael Schroeder, Gerd Wagner - Rules and Rule Markup Languages for the Semantic Web
Michael Schroeder, Gerd Wagner Rules and Rule Markup Languages for the Semantic Web English 09.10.2003 Paperback / Softback Fr. 70.00 6-7 weeks
R. Focardi, Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II
R. Focardi, Riccardo Focardi, Roberto Gorrieri Foundations of Security Analysis and Design II English 28.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments English 04.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs English 20.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Yukiyoshi Kameyama, Peter J. Stuckey - Functional and Logic Programming
Yukiyoshi Kameyama, Peter J. Stuckey Functional and Logic Programming English 24.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods English 31.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages English 14.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
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