Languages
Subject
Format
Availabity
Authors

Search result

Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo - Numerical Software Verification
Alessandr Abate, Alessandro Abate, Boldo, Boldo, Sylvie Boldo Numerical Software Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Leonard de Moura, Leonardo De Moura - Automated Deduction - CADE 26
Leonard de Moura, Leonardo De Moura Automated Deduction - CADE 26 English 01.01.2017 Paperback / Softback Fr. 110.00 6-7 weeks
Hartman, Hartman, Alan Hartman, In Schieferdecker, Ina Schieferdecker - Model Driven Architecture - Foundations and Applications
Hartman, Hartman, Alan Hartman, In Schieferdecker, Ina Schieferdecker Model Driven Architecture - Foundations and Applications English 01.01.2008 Paperback / Softback Fr. 124.00 6-7 weeks
Gorton, Gorton, Ian Gorton, Samue Kounev, Samuel Kounev, Kai Sachs - Performance Evaluation: Metrics, Models and Benchmarks
Gorton, Gorton, Ian Gorton, Samue Kounev, Samuel Kounev, Kai Sachs Performance Evaluation: Metrics, Models and Benchmarks English 29.01.2013 Paperback / Softback Fr. 97.00 6-7 weeks
Peter Forbrig, Fabio Paterno, Fabio Paternò - Engineering Interactive Systems 2008
Peter Forbrig, Fabio Paterno, Fabio Paternò Engineering Interactive Systems 2008 English 01.01.2008 Paperback / Softback Fr. 110.00 6-7 weeks
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 01.01.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem - Computer Aided Verification
Armi Biere, Armin Biere, Bloem, Bloem, Roderick Bloem Computer Aided Verification English 16.06.2014 Paperback / Softback Fr. 135.00 6-7 weeks
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... - Fundamentals of Algebraic Graph Transformation
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... Fundamentals of Algebraic Graph Transformation English 17.02.2006 Hardback Fr. 158.00 6-7 weeks
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola - Software Engineering and Formal Methods
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola Software Engineering and Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan - Computer Aided Verification
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan Computer Aided Verification English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... - Rule Technologies. Research, Tools, and Applications
Jose Julio Alferes, José Júlio Alferes, Leopold Bertossi, Leopoldo Bertossi, Paul Fodor, Guido Governatori... Rule Technologies. Research, Tools, and Applications English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... - Modelling Foundations and Applications
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... Modelling Foundations and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Ruy De Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy de Queiroz, Jouko Väänänen - Logic, Language, Information, and Computation
Ruy De Queiroz, Ås Hirvonen, Åsa Hirvonen, Ruy de Queiroz, Jouko Väänänen Logic, Language, Information, and Computation English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio - A Practical Theory of Reactive Systems
R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio A Practical Theory of Reactive Systems English 01.01.2014 Hardback Fr. 70.00 6-7 weeks
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability English 28.02.2018 Hardback Fr. 70.00 6-7 weeks
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... - Foundations of Security, Protocols, and Equational Reasoning
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... Foundations of Security, Protocols, and Equational Reasoning English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimir Lifschitz - Answer Set Programming
Vladimir Lifschitz Answer Set Programming English 01.01.2019 Hardback Fr. 84.00 6-7 weeks
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... - Developments in Language Theory
Piotre Hofman, Piotrek Hofman, Skrzypczak, Skrzypczak, Micha¿ Skrzypczak, Michal Skrzypczak... Developments in Language Theory English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Richar Moot, Richard Moot, Christian Retore - The Logic of Categorial Grammars
Richar Moot, Richard Moot, Christian Retore The Logic of Categorial Grammars English 04.06.2012 Paperback / Softback Fr. 97.00 6-7 weeks
Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit - Descriptional Complexity of Formal Systems
Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit Descriptional Complexity of Formal Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks