Languages
Subject
Format
Availabity
Authors

Search result

Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security English 28.02.2018 Hardback Fr. 124.00 6-7 weeks
Hans L. Bodlaender, Rod Downey, Rodne Downey, Rodney Downey, Fedor V. Fomin, Daniel Marx... - The Multivariate Algorithmic Revolution and Beyond
Hans L. Bodlaender, Rod Downey, Rodne Downey, Rodney Downey, Fedor V. Fomin, Daniel Marx... The Multivariate Algorithmic Revolution and Beyond English 27.06.2012 Paperback / Softback Fr. 70.00 6-7 weeks
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
Jerem Gibbons, Jeremy Gibbons, NUNO OLIVEIRA, Nuno Oliveira, Jose Nuno Oliveira, José Nuno Oliveira - Teaching Formal Methods
Jerem Gibbons, Jeremy Gibbons, NUNO OLIVEIRA, Nuno Oliveira, Jose Nuno Oliveira, José Nuno Oliveira Teaching Formal Methods 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
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager - Information Processing and Management of Uncertainty
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager Information Processing and Management of Uncertainty English 16.06.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager - Information Processing and Management of Uncertainty
Bernadette Bouchon-Meunier, Bernadette Bouchon-Meunier et al, Anne Laurent, Olivie Strauss, Olivier Strauss, Ronald R. Yager Information Processing and Management of Uncertainty English 16.06.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Yuefen Li, Yuefeng Li, Lech Polkowski, Lech Polkowski et al, Shusaku Tsumoto, Guoyin Wang... - Rough Sets and Knowledge Technology
Yuefen Li, Yuefeng Li, Lech Polkowski, Lech Polkowski et al, Shusaku Tsumoto, Guoyin Wang... Rough Sets and Knowledge Technology English 09.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Flum, J Flum, J. Flum, Jörg Flum, M Grohe, M. Grohe... - Parameterized Complexity Theory
Flum, J Flum, J. Flum, Jörg Flum, M Grohe, M. Grohe... Parameterized Complexity Theory English 14.02.2006 Hardback Fr. 147.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
Heinz Diete Ebbinghaus, Heinz Dieter Ebbinghaus, Heinz-Dieter Ebbinghaus, Volker Peckhaus - Ernst Zermelo
Heinz Diete Ebbinghaus, Heinz Dieter Ebbinghaus, Heinz-Dieter Ebbinghaus, Volker Peckhaus Ernst Zermelo English 01.01.2015 Hardback Fr. 70.00 6-7 weeks
Gerhar Jäger, Gerhard Jäger, Sieg, Sieg, Wilfried Sieg - Feferman on Foundations
Gerhar Jäger, Gerhard Jäger, Sieg, Sieg, Wilfried Sieg Feferman on Foundations English 01.01.2018 Hardback Fr. 215.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
Rosario Giustolisi - Modelling and Verification of Secure Exams
Rosario Giustolisi Modelling and Verification of Secure Exams English 01.01.2018 Hardback Fr. 70.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
André Adami, António Branco, Paulo Quaresma, Paulo Quaresma et al, Ricard Ribeiro, Ricardo Ribeiro... - Computational Processing of the Portuguese Language
André Adami, António Branco, Paulo Quaresma, Paulo Quaresma et al, Ricard Ribeiro, Ricardo Ribeiro... Computational Processing of the Portuguese Language English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks