Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Andreas Müller - Automaten und Sprachen: Theoretische Informatik für die Praxis
Andreas Müller Automaten und Sprachen: Theoretische Informatik für die Praxis Deutsch 06.01.2025 Taschenbuch Fr. 58.50 1-3 Arbeitstage
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 Englisch 25.01.2013 Taschenbuch Fr. 55.50 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 30.11.2017 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency Englisch 17.01.2014 Fester Einband Fr. 69.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 01.01.2018 Fester Einband Fr. 69.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
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 Deutsch 26.05.2018 Taschenbuch Fr. 53.50 4-7 Arbeitstage
Alessandro Armando - Frontiers of Combining Systems
Alessandro Armando Frontiers of Combining Systems Englisch 20.03.2002 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 19.02.2009 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode - Automata Theory and its Applications
Bakhady Khoussainov, Bakhadyr Khoussainov, Anil Nerode Automata Theory and its Applications Englisch 25.07.2013 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani - Automated Reasoning
Didier Galmiche, Stepha Schulz, Stephan Schulz, Roberto Sebastiani Automated Reasoning Englisch 01.01.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 01.01.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 01.01.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver - Quantitative Evaluation of Systems
Horvath, Horvath, Andras Horvath, Annabell McIver, Annabelle McIver Quantitative Evaluation of Systems Englisch 01.01.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
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 Englisch 01.01.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Nicola Olivetti - Automated Reasoning with Analytic Tableaux and Related Methods
Nicola Olivetti Automated Reasoning with Analytic Tableaux and Related Methods Englisch 27.09.2012 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 27.09.2012 Taschenbuch Fr. 135.00 6-7 Wochen
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 Englisch 08.03.2010 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 14.04.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Benedikt Bollig - Formal Models of Communicating Systems
Benedikt Bollig Formal Models of Communicating Systems Englisch 20.10.2006 Fester Einband Fr. 70.00 6-7 Wochen
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Ryszard Tadeusiewicz et al, Lotfi A. Zadeh - Artificial Intelligence and Soft Computing - ICAISC 2004, 2 Teile
Leszek Rutkowski, Jörg Siekmann, Ryszard Tadeusiewicz, Ryszard Tadeusiewicz et al, Lotfi A. Zadeh Artificial Intelligence and Soft Computing - ICAISC 2004, 2 Teile Englisch 01.01.2004 Taschenbuch Fr. 70.00 6-7 Wochen