Languages
Subject
Format
Availabity
Authors

Search result

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. 55.50 1-2 weeks (title will be printed to order)
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al - Theoretical Computer Science
Dingzhu Du, Kun He, Lia Li, Lian Li, En Zhu, En Zhu et al Theoretical Computer Science English 30.11.2017 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency English 17.01.2014 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... - Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Surraya Khanum, Vallipura Muthukkumarasamy, Vallipuram Muthukkumarasamy, Muhamma Usman, Muhammad Usman, X Wu... Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks English 01.01.2018 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Andreas Müller - Automaten und Sprachen: Theoretische Informatik für die Praxis
Andreas Müller Automaten und Sprachen: Theoretische Informatik für die Praxis German 06.01.2025 Paperback / Softback Fr. 58.50 1-3 working days
Jorg Bernardino, Jorge Bernardino, Joaquim Filipe, Christoph Quix - Data Management Technologies and Applications
Jorg Bernardino, Jorge Bernardino, Joaquim Filipe, Christoph Quix Data Management Technologies and Applications English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani - Automated Reasoning
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani Automated Reasoning English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Joaquim Filipe, Jaap van den Herik, An Paula Rocha, Ana Paula Rocha, Ana Paula Rocha, Jaap van den Herik - Agents and Artificial Intelligence
Joaquim Filipe, Jaap van den Herik, An Paula Rocha, Ana Paula Rocha, Ana Paula Rocha, Jaap van den Herik Agents and Artificial Intelligence English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Carl A Furia, Carlo A Furia, Carlo Furia, Carlo A. Furia, Winter, Winter... - Integrated Formal Methods
Carl A Furia, Carlo A Furia, Carlo Furia, Carlo A. Furia, Winter, Winter... Integrated Formal Methods English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems English 20.03.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä - Finite-State Methods and Natural Language Processing
Juhani Karhumäki, Laur Karttunen, Lauri Karttunen, Anssi Yli-Jyrä Finite-State Methods and Natural Language Processing English 19.02.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode - Automata Theory and its Applications
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode Automata Theory and its Applications English 25.07.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver - Quantitative Evaluation of Systems
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver Quantitative Evaluation of Systems English 01.01.2018 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann - Grenzen der Mathematik
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann Grenzen der Mathematik German 26.05.2018 Paperback / Softback Fr. 53.50 4-7 working days
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch - Logik für Informatiker
Bernhar Heinemann, Bernhard Heinemann, Thomas Ottman, KLAUS WEHIRAUCH, Klaus Weihrauch Logik für Informatiker German 01.01.1992 Paperback / Softback Fr. 44.90 6-7 weeks
Thomas Studer - Relationale Datenbanken
Thomas Studer Relationale Datenbanken German 08.11.2019 Paperback / Softback Fr. 50.90 6-7 weeks
C. S. Calude, C.S. Calude, M. J. Dinneen, M.J. Dinneen, J Dinneen, M J Dinneen... - Combinatorics, Computability and Logic
C. S. Calude, C.S. Calude, M. J. Dinneen, M.J. Dinneen, J Dinneen, M J Dinneen... Combinatorics, Computability and Logic English 17.12.2012 Paperback / Softback Fr. 169.00 6-7 weeks
Nicola Olivetti - Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti Automated Reasoning with Analytic Tableaux and Related Methods English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Matthias Blume, Naoki Kobayashi, Germán Vidal, Germán Vidal-Oriola - Functional and Logic Programming
Matthias Blume, Naoki Kobayashi, Germán Vidal, Germán Vidal-Oriola Functional and Logic Programming English 08.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Y. Cheung, Yiumin Cheung, Yiuming Cheung, Yiu-ming Cheung, J. Liu, Jiming Liu... - Intelligent Data Engineering and Automated Learning, IDEAL 2003
Y. Cheung, Yiumin Cheung, Yiuming Cheung, Yiu-ming Cheung, J. Liu, Jiming Liu... Intelligent Data Engineering and Automated Learning, IDEAL 2003 English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks