Languages
Subject
Format
Availabity
Authors

Search result

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
Q. Liu, Qing Liu, A. Skowron, Andrzej Skowron, G. Wang, Guoyin Wang... - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Q. Liu, Qing Liu, A. Skowron, Andrzej Skowron, G. Wang, Guoyin Wang... Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner - Rewriting, Computation and Proof
Hubert Comon-Lundh, Claud Kirchner, Claude Kirchner, Hélène Kirchner Rewriting, Computation and Proof English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Nicola Olivetti - Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti Automated Reasoning with Analytic Tableaux and Related Methods English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Ryszard Tadeusiewicz et al, Lotfi A. Zadeh - Artificial Intelligence and Soft Computing - ICAISC 2004, 2 Teile
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Ryszard Tadeusiewicz et al, Lotfi A. Zadeh Artificial Intelligence and Soft Computing - ICAISC 2004, 2 Teile English 01.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers - The Handbook of Formal Methods in Human-Computer Interaction
Jud Bowen, Judy Bowen, Alan Dix, Alan Dix et al, Philippe Palanque, Benjamin Weyers The Handbook of Formal Methods in Human-Computer Interaction English 01.01.2018 Paperback / Softback Fr. 357.00 6-7 weeks
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs English 20.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
R. Berghammer, Bernhard Möller, Georg Struth - Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth Relational and Kleene-Algebraic Methods in Computer Science English 01.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation English 24.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Hans J. Ohlbach, Sebastian Schaffert - Principles and Practice of Semantic Web Reasoning
Hans J. Ohlbach, Sebastian Schaffert Principles and Practice of Semantic Web Reasoning English 02.09.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind - Theorem Proving in Higher Order Logics
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind Theorem Proving in Higher Order Logics English 01.09.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Leonid Libkin - Elements of Finite Model Theory
Leonid Libkin Elements of Finite Model Theory English 02.07.2004 Hardback Fr. 124.00 6-7 weeks
Robert E. Frederking, Kathryn B. Taylor - Machine Translation: From Real Users to Research
Robert E. Frederking, Kathryn B. Taylor Machine Translation: From Real Users to Research English 21.09.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos - Machine Learning and Its Applications
Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos Machine Learning and Its Applications English 01.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos - Mathematical Aspects of Computer and Information Sciences
Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos Mathematical Aspects of Computer and Information Sciences English 21.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel - Computer Aided Verification
Gerard Berry, Huber Comon, Hubert Comon, Alain Finkel Computer Aided Verification English 29.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Werner Damm, Holger Hermanns - Computer Aided Verification
Werner Damm, Holger Hermanns Computer Aided Verification English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled - Computer Aided Verification
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled Computer Aided Verification English 23.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning English 24.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Ricardo Conejo, Jose-Luis Perez-de-la-Cruz, José-Luis Pérez-de-la-Cruz, Mait Urretavizcaya, Maite Urretavizcaya - Current Topics in Artificial Intelligence
Ricardo Conejo, Jose-Luis Perez-de-la-Cruz, José-Luis Pérez-de-la-Cruz, Mait Urretavizcaya, Maite Urretavizcaya Current Topics in Artificial Intelligence English 25.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks