Languages
Subject
Format
Availabity
Authors

Search result

Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Tran Khanh Dang, Abdelkader Hameurlain, Jose Küng, Josef Küng, Nam Thoai, Roland Wagner... - Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Tran Khanh Dang, Abdelkader Hameurlain, Jose Küng, Josef Küng, Nam Thoai, Roland Wagner... Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... - A General Framework for Reasoning On Inconsistency
Leila Amgoud, Maria Vanin Martinez, Maria Vanina Martinez, Cristia Molinaro, Cristian Molinaro, Subrahma... A General Framework for Reasoning On Inconsistency English 25.01.2013 Paperback / Softback Fr. 56.90 6-7 weeks
Alexande Romanovsky, Alexander Romanovsky, Thomas, Thomas, Martyn Thomas - Industrial Deployment of System Engineering Methods
Alexande Romanovsky, Alexander Romanovsky, Thomas, Thomas, Martyn Thomas Industrial Deployment of System Engineering Methods English 31.07.2013 Hardback Fr. 70.00 6-7 weeks
Alexande Meduna, Alexander Meduna, Petr Zemek - Regulated Grammars and Automata
Alexande Meduna, Alexander Meduna, Petr Zemek Regulated Grammars and Automata English 02.12.2013 Hardback Fr. 135.00 6-7 weeks
Souhila Kaci - Working with Preferences
Souhila Kaci Working with Preferences English 31.07.2011 Hardback Fr. 135.00 6-7 weeks
Deepak D'souza, Kim Guldstrand Larsen, Akas Lal, Akash Lal, Kim Guldstrand Larsen, Kim Gulstrand Larsen - Verification, Model Checking, and Abstract Interpretation
Deepak D'souza, Kim Guldstrand Larsen, Akas Lal, Akash Lal, Kim Guldstrand Larsen, Kim Gulstrand Larsen Verification, Model Checking, and Abstract Interpretation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Eiter, Hanne Strass, Hannes Strass, Miros aw Truszczy ski, Miros¿aw Truszczy¿ski, Miroslaw Truszczynski... - Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hanne Strass, Hannes Strass, Miros aw Truszczy ski, Miros¿aw Truszczy¿ski, Miroslaw Truszczynski... Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Lotfi A Zadeh, Lotfi A. Zadeh - Computing with Words
Lotfi A Zadeh, Lotfi A. Zadeh Computing with Words English 01.08.2012 Hardback Fr. 135.00 6-7 weeks
Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko - Verified Software: Theorie, Tools, Experiments
Erni Cohen, Ernie Cohen, Rybalchenko, Rybalchenko, Andrey Rybalchenko Verified Software: Theorie, Tools, Experiments English 28.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Madalina Croitoru, Christophe Gonzales, Sebastia Rudolph, Sebastian Rudolph, Stefan Woltran, Stefan Woltran et al - Graph Structures for Knowledge Representation and Reasoning
Madalina Croitoru, Christophe Gonzales, Sebastia Rudolph, Sebastian Rudolph, Stefan Woltran, Stefan Woltran et al Graph Structures for Knowledge Representation and Reasoning English 28.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Höfner, Pete Jipsen, Peter Jipsen, Wolfram Kahl, Wolfram Kahl et al, Martin Eric Müller - Relational and Algebraic Methods in Computer Science
Peter Höfner, Pete Jipsen, Peter Jipsen, Wolfram Kahl, Wolfram Kahl et al, Martin Eric Müller Relational and Algebraic Methods in Computer Science English 13.03.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Stéphane Demri, Deepa Kapur, Deepak Kapur, Christoph Weidenbach - Automated Reasoning
Stéphane Demri, Deepa Kapur, Deepak Kapur, Christoph Weidenbach Automated Reasoning English 30.05.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Naumann, David Naumann - Unifying Theories of Programming
Davi Naumann, David Naumann Unifying Theories of Programming English 01.01.2015 Paperback / Softback Fr. 56.90 6-7 weeks
Jim Burton, Madalina Croitoru, Pierr Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph et al... - Graph Structures for Knowledge Representation and Reasoning
Jim Burton, Madalina Croitoru, Pierr Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph et al... Graph Structures for Knowledge Representation and Reasoning English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Rocc De Nicola, Rocco De Nicola, Hennicker, Hennicker, Rolf Hennicker - Software, Services, and Systems
Rocc De Nicola, Rocco De Nicola, Hennicker, Hennicker, Rolf Hennicker Software, Services, and Systems English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Adrian-Horia Dediu, Enric Formenti, Enrico Formenti, Carlos Martín-Vide, Carlos Martín-Vide et al, Bianca Truthe - Language and Automata Theory and Applications
Adrian-Horia Dediu, Enric Formenti, Enrico Formenti, Carlos Martín-Vide, Carlos Martín-Vide et al, Bianca Truthe Language and Automata Theory and Applications English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Thomas Roeper, To Roeper, Tom Roeper, Speas, Speas, Margaret Speas - Recursion: Complexity in Cognition
Thomas Roeper, To Roeper, Tom Roeper, Speas, Speas, Margaret Speas Recursion: Complexity in Cognition English 01.01.2015 Paperback / Softback Fr. 135.00 6-7 weeks
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... - Language and Automata Theory and Applications
Adrian-Horia Dediu, Jan Janou¿ek, Ja Janousek, Jan Janousek, Jan Janoušek, Carlos Martín-Vide... Language and Automata Theory and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... - Information and Communication Technologies in Education, Research, and Industrial Applications
Sotiris Batsakis, Heinric C Mayr, Heinrich C Mayr, Heinrich C. Mayr, Mykola Nikitchenko, Mykola Nikitchenko et al... Information and Communication Technologies in Education, Research, and Industrial Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks