Languages
Subject
Format
Availabity
Authors

Search result

Arn Broering, Arne Broering, Ivana Podnar ¿arko, Ivana Podnar Zarko, Ivana Podnar Žarko, Martin Serrano... - Interoperability and Open-Source Solutions for the Internet of Things
Arn Broering, Arne Broering, Ivana Podnar ¿arko, Ivana Podnar Zarko, Ivana Podnar Žarko, Martin Serrano... Interoperability and Open-Source Solutions for the Internet of Things English 31.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Paolo Ciancarini, Mathieu D'Aquin, Tudor Groza, Matthew Horridge, Matthew Horridge et al, Francesc Poggi... - Knowledge Engineering and Knowledge Management
Paolo Ciancarini, Mathieu D'Aquin, Tudor Groza, Matthew Horridge, Matthew Horridge et al, Francesc Poggi... Knowledge Engineering and Knowledge Management English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano - Trends in Functional Programming
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano Trends in Functional Programming English 01.01.2016 Paperback / Softback Fr. 59.50 6-7 weeks
Henderik A Proper et al, Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Robert Meersman, Hervé Panetto... - On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Henderik A Proper et al, Claudio Agostino Ardagna, Christoph Debruyne, Christophe Debruyne, Robert Meersman, Hervé Panetto... On the Move to Meaningful Internet Systems. OTM 2018 Conferences English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... - Combinatorics on Words
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... Combinatorics on Words English 31.10.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Heinz-Dieter Ebbinghaus, Craig G Fraser, Akihiro Kanamori, Ernst Zermelo, Heinz-Dieter Ebbinghaus, Craig G. Fraser... - Ernst Zermelo - Collected Works/Gesammelte Werke
Heinz-Dieter Ebbinghaus, Craig G Fraser, Akihiro Kanamori, Ernst Zermelo, Heinz-Dieter Ebbinghaus, Craig G. Fraser... Ernst Zermelo - Collected Works/Gesammelte Werke English, German 31.01.2013 Paperback / Softback Fr. 189.00 6-7 weeks
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou - FM 2016: Formal Methods
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou FM 2016: Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Christoph Benzmüller, XAVIER PARENT, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman - Rules and Reasoning
Christoph Benzmüller, XAVIER PARENT, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman Rules and Reasoning English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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
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
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