Languages
Subject
Format
Availabity
Authors

Search result

Alfred V. Aho, Alfred V Aho, Alfred V. Aho, Edward K. Blum, Edwar K Blum, Edward K Blum... - Computer Science
Alfred V. Aho, Alfred V Aho, Alfred V. Aho, Edward K. Blum, Edwar K Blum, Edward K Blum... Computer Science English 01.01.2012 Hardback Fr. 117.00 6-7 weeks
Olivier Corby, Madalina Croitoru, John Howse, Sebastia Rudolph, Sebastian Rudolph, Nic Wilson... - Graph Structures for Knowledge Representation and Reasoning
Olivier Corby, Madalina Croitoru, John Howse, Sebastia Rudolph, Sebastian Rudolph, Nic Wilson... Graph Structures for Knowledge Representation and Reasoning English 22.03.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada - Logic, Rationality, and Interaction
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada Logic, Rationality, and Interaction English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen - Specification and Development of Interactive Systems
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen Specification and Development of Interactive Systems English 13.03.2013 Paperback / Softback Fr. 110.00 6-7 weeks
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Uwe Aickelin, Uwe Aickelin et al, Zhishen Huang, Zhisheng Huang, Stanislav Klimenko, Siuly Siuly... - Health Information Science
Uwe Aickelin, Uwe Aickelin et al, Zhishen Huang, Zhisheng Huang, Stanislav Klimenko, Siuly Siuly... Health Information Science English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Sara E Murray, Sarah E Murray, Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Mehrnoosh Sadrzadeh et al... - Logic, Language, and Computation
Sara E Murray, Sarah E Murray, Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Mehrnoosh Sadrzadeh et al... Logic, Language, and Computation English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Walid Gaaloul, Walid Gaaloul et al, Robert Meersman... - On the Move to Meaningful Internet Systems. OTM 2017 Conferences
Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Walid Gaaloul, Walid Gaaloul et al, Robert Meersman... On the Move to Meaningful Internet Systems. OTM 2017 Conferences English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Moren Falaschi, Moreno Falaschi - Logic-Based Program Synthesis and Transformation
Moren Falaschi, Moreno Falaschi Logic-Based Program Synthesis and Transformation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Gao, Gao, Helena Hong Gao, Hong Gao, Qi Lu, Qin Lu - Chinese Lexical Semantics
Gao, Gao, Helena Hong Gao, Hong Gao, Qi Lu, Qin Lu Chinese Lexical Semantics English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar Numerical Software Verification English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... - Intelligent Computer Mathematics
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... Intelligent Computer Mathematics English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Claudio Moraga, Claudio Moraga et al, Rudolf Seising, Settimo Termini, Enri Trillas, Enric Trillas - On Fuzziness, 2 Vols.
Claudio Moraga, Claudio Moraga et al, Rudolf Seising, Settimo Termini, Enri Trillas, Enric Trillas On Fuzziness, 2 Vols. English 01.09.2014 Hardback Fr. 239.00 6-7 weeks
Songphan Choemprayong, Fabi Crestani, Fabio Crestani, Sally Jo Cunningham, Sally Jo Cunningham - Digital Libraries: Data, Information, and Knowledge for Digital Lives
Songphan Choemprayong, Fabi Crestani, Fabio Crestani, Sally Jo Cunningham, Sally Jo Cunningham Digital Libraries: Data, Information, and Knowledge for Digital Lives English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Flavius Frasincar, Ashwi Ittoo, Ashwin Ittoo, Elisabeth Métais, Le Minh Nguyen et al, Le Minh Nguyen - Natural Language Processing and Information Systems
Flavius Frasincar, Ashwi Ittoo, Ashwin Ittoo, Elisabeth Métais, Le Minh Nguyen et al, Le Minh Nguyen Natural Language Processing and Information Systems English 30.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Daisuke Bekki, Setsuy Kurahashi, Setsuya Kurahashi, Yuiko Ota, Yuiko Ota et al, Mihoko Otake... - New Frontiers in Artificial Intelligence
Daisuke Bekki, Setsuy Kurahashi, Setsuya Kurahashi, Yuiko Ota, Yuiko Ota et al, Mihoko Otake... New Frontiers in Artificial Intelligence English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks