Languages
Subject
Format
Availabity
Authors

Search result

M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... - Software Security -- Theories and Systems
M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... Software Security -- Theories and Systems English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Müller - Modular Specification and Verification of Object-Oriented Programs
Peter Müller Modular Specification and Verification of Object-Oriented Programs English 27.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Görel Hedin - Compiler Construction
Görel Hedin Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mauro Pezzè - Fundamental Approaches to Software Engineering
Mauro Pezzè Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... - Multi-Agent Programming
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... Multi-Agent Programming English 17.09.2005 Hardback Fr. 203.00 6-7 weeks
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko Adaptive Agents and Multi-Agent Systems English 22.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Eli Biham - Advances in Cryptology - EUROCRYPT 2003
Eli Biham Advances in Cryptology - EUROCRYPT 2003 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Henry Gordon Dietz - Languages and Compilers for Parallel Computing
Henry Gordon Dietz Languages and Compilers for Parallel Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... - Types for Proofs and Programs
H. Geuvers, Herma Geuvers, Herman Geuvers, Wiedijk, Wiedijk, F. Wiedijk... Types for Proofs and Programs English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... - Agent-Oriented Software Engineering III
F. Giunchiglia, Fausto Giunchiglia, J. Odell, Jame Odell, James Odell, G. Weiss... Agent-Oriented Software Engineering III English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan - Recent Advances in Constraints
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek - Coordination Models and Languages
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes - Testing of Software and Communicating Systems
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes Testing of Software and Communicating Systems English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
J. Mermet, Jea Mermet, Jean Mermet - Electronic Chips & Systems Design Languages
J. Mermet, Jea Mermet, Jean Mermet Electronic Chips & Systems Design Languages English 01.07.2009 Hardback Fr. 260.00 6-7 weeks
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold - System-on-Chip Methodologies & Design Languages
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold System-on-Chip Methodologies & Design Languages English 14.04.2009 Hardback Fr. 226.00 6-7 weeks
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Karel Driesen - Efficient Polymorphic Calls
Karel Driesen Efficient Polymorphic Calls English 11.02.2011 Hardback Fr. 199.00 6-7 weeks
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu, Ying Ming Liu et al... - Domains and Processes
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu, Ying Ming Liu et al... Domains and Processes English 14.04.2009 Hardback Fr. 169.00 6-7 weeks
Jose Kallrath, Josef Kallrath - Modeling Languages in Mathematical Optimization
Jose Kallrath, Josef Kallrath Modeling Languages in Mathematical Optimization English 18.04.2005 Hardback Fr. 297.00 6-7 weeks
Christia Bessiere, Christian Bessiere - Principles and Practice of Constraint Programming - CP 2007
Christia Bessiere, Christian Bessiere Principles and Practice of Constraint Programming - CP 2007 English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks