Languages
Subject
Format
Availabity
Authors

Search result

Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... - New Essays in Free Logic
Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... New Essays in Free Logic English 01.07.2009 Hardback Fr. 169.00 6-7 weeks
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan - Programming Methodology
Annabelle McIver, Annabell Mclver, Annabelle Mclver, Morgan, Morgan, Carroll Morgan Programming Methodology English 30.10.2002 Hardback Fr. 147.00 6-7 weeks
Jens Palsberg, Zhendong Su - Static Analysis
Jens Palsberg, Zhendong Su Static Analysis English 20.07.2009 Paperback / Softback Fr. 69.00 6-7 weeks
Daoqi Yang - C++ and Object-Oriented Numeric Computing for Scientists and Engineers
Daoqi Yang C++ and Object-Oriented Numeric Computing for Scientists and Engineers English 01.01.2001 Hardback Fr. 117.00 6-7 weeks
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
P. B. Levy, P.B. Levy, Paul Blain Levy - Call-By-Push-Value
P. B. Levy, P.B. Levy, Paul Blain Levy Call-By-Push-Value English 14.04.2009 Hardback Fr. 199.00 6-7 weeks
Lee Spector - Automatic Quantum Computer Programming
Lee Spector Automatic Quantum Computer Programming English 01.01.2004 Hardback Fr. 169.00 6-7 weeks
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti - Set Theory for Computing
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti Set Theory for Computing English 31.07.2001 Hardback Fr. 193.00 6-7 weeks
Hubert Baumeister, Mike Holcombe, Michele Marchesi - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Mike Holcombe, Michele Marchesi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
The D'Hondt, Theo D'Hondt - Technology of Object-Oriented Languages, Systems and Architectures
The D'Hondt, Theo D'Hondt Technology of Object-Oriented Languages, Systems and Architectures English 14.04.2009 Hardback Fr. 179.00 6-7 weeks
Jos M. Garrido, Jose M. Garrido, José M. Garrido, Josi M. Garrido - Object-Oriented Discrete-Event Simulation with Java
Jos M. Garrido, Jose M. Garrido, José M. Garrido, Josi M. Garrido Object-Oriented Discrete-Event Simulation with Java English 11.02.2011 Hardback Fr. 203.00 6-7 weeks
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2004
Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Franc Barbier, Franck Barbier - Business Component-Based Software Engineering
Franc Barbier, Franck Barbier Business Component-Based Software Engineering English 11.02.2011 Hardback Fr. 179.00 6-7 weeks
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Guo-Qiang Ed Zhang, Guo-Qiang Zhang, Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M. K. Luo... - Domain Theory, Logic and Computation
Guo-Qiang Ed Zhang, Guo-Qiang Zhang, Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M. K. Luo... Domain Theory, Logic and Computation English 14.04.2009 Hardback Fr. 207.00 6-7 weeks
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder - Implementation of Functional Languages
Gre Michaelson, Greg Michaelson, Ricardo Pena, Phil Trinder Implementation of Functional Languages English 04.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Dines Bjorner, D. Björner, Dines Bjørner - Software Engineering 3
Dines Bjorner, D. Björner, Dines Bjørner Software Engineering 3 English 01.01.2006 Hardback Fr. 135.00 6-7 weeks
Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation
Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
MERMET, Mermet, Jean Mermet, Eugeni Villar, Eugenio Villar - System Specification & Design Languages
MERMET, Mermet, Jean Mermet, Eugeni Villar, Eugenio Villar System Specification & Design Languages English 31.01.2011 Hardback Fr. 203.00 6-7 weeks