Languages
Subject
Format
Availabity
Authors

Search result

Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit - Descriptional Complexity of Formal Systems
Cezar Campeanu, Cezar Câmpeanu, Flori Manea, Florin Manea, Jeffrey Shallit Descriptional Complexity of Formal Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Sven Ove Hansson, Sve Ove Hansson, Sven Ove Hansson - David Makinson on Classical Methods for Non-Classical Problems
Sven Ove Hansson, Sve Ove Hansson, Sven Ove Hansson David Makinson on Classical Methods for Non-Classical Problems English 20.08.2013 Hardback Fr. 179.00 6-7 weeks
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger - Frontiers of Combining Systems
Clar Dixon, Clare Dixon, Finger, Finger, Marcelo Finger Frontiers of Combining Systems English 30.11.2017 Paperback / Softback Fr. 90.00 6-7 weeks
Yo-Su Han, Yo-Sub Han, Salomaa, Salomaa, Kai Salomaa - Implementation and Application of Automata
Yo-Su Han, Yo-Sub Han, Salomaa, Salomaa, Kai Salomaa Implementation and Application of Automata English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Andrea Calì, Doria Gorgan, Dorian Gorgan, Martín Ugarte - Semantic Keyword-Based Search on Structured Data Sources
Andrea Calì, Doria Gorgan, Dorian Gorgan, Martín Ugarte Semantic Keyword-Based Search on Structured Data Sources English 31.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Zohra Bellahsene, Angel Bonifati, Angela Bonifati, Erhard Rahm - Schema Matching and Mapping
Zohra Bellahsene, Angel Bonifati, Angela Bonifati, Erhard Rahm Schema Matching and Mapping English 06.05.2013 Paperback / Softback Fr. 142.00 6-7 weeks
Jérôm Euzenat, Jérôme Euzenat, Pavel Shvaiko - Ontology Matching
Jérôm Euzenat, Jérôme Euzenat, Pavel Shvaiko Ontology Matching English 06.05.2013 Hardback Fr. 207.00 6-7 weeks
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