Languages
Subject
Format
Availabity
Authors

Search result

Inuiguchi, Inuiguchi, Masahiro Inuiguchi, Yasu Narukawa, Yasuo Narukawa, Vicena Torra... - Modeling Decisions for Artificial Intelligence
Inuiguchi, Inuiguchi, Masahiro Inuiguchi, Yasu Narukawa, Yasuo Narukawa, Vicena Torra... Modeling Decisions for Artificial Intelligence English 18.09.2009 Paperback / Softback Fr. 69.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
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... - The 2-tuple Linguistic Model
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... The 2-tuple Linguistic Model English 31.01.2016 Hardback Fr. 70.00 6-7 weeks
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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
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. 159.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