Languages
Subject
Format
Availabity
Authors

Search result

Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor - Conceptual Modeling
Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor Conceptual Modeling English 31.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Bernadette Bouchon-Meunier, Joao Paulo Carvalho, Uzay Kaymak, Uzay Kaymak et al, Marie-Jeann Lesot, Marie-Jeanne Lesot... - Information Processing and Management of Uncertainty in Knowledge-Based Systems
Bernadette Bouchon-Meunier, Joao Paulo Carvalho, Uzay Kaymak, Uzay Kaymak et al, Marie-Jeann Lesot, Marie-Jeanne Lesot... Information Processing and Management of Uncertainty in Knowledge-Based Systems English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Bernadette Bouchon-Meunier, Joao Paulo Carvalho, Uzay Kaymak, Uzay Kaymak et al, Marie-Jeann Lesot, Marie-Jeanne Lesot... - Information Processing and Management of Uncertainty in Knowledge-Based Systems
Bernadette Bouchon-Meunier, Joao Paulo Carvalho, Uzay Kaymak, Uzay Kaymak et al, Marie-Jeann Lesot, Marie-Jeanne Lesot... Information Processing and Management of Uncertainty in Knowledge-Based Systems English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Arnold Beckmann, Lauren Bienvenu, Laurent Bienvenu, Nata¿a Jonoska, Natasa Jonoska, Nataša Jonoska - Pursuit of the Universal
Arnold Beckmann, Lauren Bienvenu, Laurent Bienvenu, Nata¿a Jonoska, Natasa Jonoska, Nataša Jonoska Pursuit of the Universal English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Carlo Carrascosa, Carlos Carrascosa, Natalia Criado Pacheco, Vicente Julián Inglada, Nardine Osman, Nardine Osman et al - Multi-Agent Systems and Agreement Technologies
Carlo Carrascosa, Carlos Carrascosa, Natalia Criado Pacheco, Vicente Julián Inglada, Nardine Osman, Nardine Osman et al Multi-Agent Systems and Agreement Technologies English 30.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Étienn André, Étienne André, Stoelinga, Stoelinga, Mariëlle Stoelinga - Formal Modeling and Analysis of Timed Systems
Étienn André, Étienne André, Stoelinga, Stoelinga, Mariëlle Stoelinga Formal Modeling and Analysis of Timed Systems English 31.10.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 English 31.10.2019 Paperback / Softback Fr. 110.00 6-7 weeks
Ekaterina Ovchinnikova - Integration of World Knowledge for Natural Language Understanding
Ekaterina Ovchinnikova Integration of World Knowledge for Natural Language Understanding English 27.06.2014 Paperback / Softback Fr. 142.00 6-7 weeks
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong - Formal Methods and Software Engineering
Zhenhu Duan, Zhenhua Duan, Ong, Ong, Luke Ong Formal Methods and Software Engineering English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
T. V. Gopal, T.V. Gopal, TV Gopal, Gerhard Jaeger, Gerhar Jäger, Gerhard Jäger... - Theory and Applications of Models of Computation
T. V. Gopal, T.V. Gopal, TV Gopal, Gerhard Jaeger, Gerhar Jäger, Gerhard Jäger... Theory and Applications of Models of Computation English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill - Hardware and Software: Verification and Testing
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill Hardware and Software: Verification and Testing English 31.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Maria J. Blesa, Christia Blum, Christian Blum, Angelo Cangelosi, Angelo Cangelosi et al, Vincenzo Cutello... - Hybrid Metaheuristics
Maria J. Blesa, Christia Blum, Christian Blum, Angelo Cangelosi, Angelo Cangelosi et al, Vincenzo Cutello... Hybrid Metaheuristics English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 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