Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Andreas Müller - Automaten und Sprachen: Theoretische Informatik für die Praxis
Andreas Müller Automaten und Sprachen: Theoretische Informatik für die Praxis Allemand 06.01.2025 Livre de poche Fr. 58.50 1-3 jours ouvrés
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 Anglais 25.01.2013 Livre de poche Fr. 55.50 1-2 semaines (titre imprimé sur commande)
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 Anglais 30.11.2017 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency Anglais 17.01.2014 Livre Relié Fr. 69.00 2-3 semaines (titre imprimé sur commande)
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 Anglais 01.01.2018 Livre Relié Fr. 69.00 2-3 semaines (titre imprimé sur commande)
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 Allemand 26.05.2018 Livre de poche Fr. 53.50 4-7 jours ouvrés
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode - Automata Theory and its Applications
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode Automata Theory and its Applications Anglais 25.07.2013 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani - Automated Reasoning
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani Automated Reasoning Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver - Quantitative Evaluation of Systems
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver Quantitative Evaluation of Systems Anglais 01.01.2018 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 19.02.2009 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Anglais 20.03.2002 Livre de poche Fr. 69.00 1-2 semaines (titre imprimé sur commande)
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 Anglais 17.12.2012 Livre de poche Fr. 169.00 6-7 semaines
Nicola Olivetti - Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti Automated Reasoning with Analytic Tableaux and Related Methods Anglais 27.09.2012 Livre de poche Fr. 70.00 6-7 semaines
Jame F Peters, James F Peters, James F. Peters, Skowron, Skowron, Andrzej Skowron - Transactions on Rough Sets VIII
Jame F Peters, James F Peters, James F. Peters, Skowron, Skowron, Andrzej Skowron Transactions on Rough Sets VIII Anglais 27.09.2012 Livre de poche Fr. 135.00 6-7 semaines
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 Anglais 08.03.2010 Livre de poche Fr. 70.00 6-7 semaines
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 Allemand 01.01.1992 Livre de poche Fr. 44.90 6-7 semaines
Luk Ong, Luke Ong - Computer Science Logic
Luk Ong, Luke Ong Computer Science Logic Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines