Languages
Subject
Format
Availabity
Authors

Search result

Jens Palsberg, Zhendong Su - Static Analysis
Jens Palsberg, Zhendong Su Static Analysis English 20.07.2009 Paperback / Softback Fr. 70.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
Lee Spector - Automatic Quantum Computer Programming
Lee Spector Automatic Quantum Computer Programming English 01.01.2004 Hardback Fr. 169.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
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
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
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
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
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
Gabo Karsai, Gabor Karsai, Visser, Visser, Eelco Visser - Generative Programming and Component Engineering
Gabo Karsai, Gabor Karsai, Visser, Visser, Eelco Visser Generative Programming and Component Engineering English 07.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca de Alfaro - CONCUR 2005 - Concurrency Theory
Martin Abadi, Martín Abadi, Luca de Alfaro, Luca de Alfaro CONCUR 2005 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... - Recent Advances in Constraints
Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen - Constraint Solving and Language Processing
Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen Constraint Solving and Language Processing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
A Lozano, A Lozano, Pedr Larrañaga, Pedro Larrañaga, Jose A Lozano, José A. Lozano - Estimation of Distribution Algorithms
A Lozano, A Lozano, Pedr Larrañaga, Pedro Larrañaga, Jose A Lozano, José A. Lozano Estimation of Distribution Algorithms English 01.07.2009 Hardback Fr. 261.00 6-7 weeks
Vladimiro Sassone - Foundations of Software Science and Computational Structures
Vladimiro Sassone Foundations of Software Science and Computational Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science English 07.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks