Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Fedor V. Fomin, Vladimir V. Podolskii, Fedo V Fomin, Fedor V Fomin, V Podolskii, V Podolskii - Computer Science - Theory and Applications
Fedor V. Fomin, Vladimir V. Podolskii, Fedo V Fomin, Fedor V Fomin, V Podolskii, V Podolskii Computer Science - Theory and Applications Englisch 01.01.2018 Taschenbuch Fr. 135.00 6-7 Wochen
Anita Wasilewska - Logics for Computer Science
Anita Wasilewska Logics for Computer Science Englisch 01.01.2018 Fester Einband Fr. 158.00 6-7 Wochen
Jérôm Durand-Lose, Jérôme Durand-Lose, Verlan, Verlan, Sergey Verlan - Machines, Computations, and Universality
Jérôm Durand-Lose, Jérôme Durand-Lose, Verlan, Verlan, Sergey Verlan Machines, Computations, and Universality Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Antóni Casimiro, António Casimiro, Pedro M. Ferreira, M Ferreira, M Ferreira - Reliable Software Technologies - Ada-Europe 2018
Antóni Casimiro, António Casimiro, Pedro M. Ferreira, M Ferreira, M Ferreira Reliable Software Technologies - Ada-Europe 2018 Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Christophe Jermann, Arnold Neumaier, Djamila Sam - Global Optimization and Constraint Satisfaction
Christophe Jermann, Arnold Neumaier, Djamila Sam Global Optimization and Constraint Satisfaction Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... - Ewa Orlowska on Relational Methods in Logic and Computer Science
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... Ewa Orlowska on Relational Methods in Logic and Computer Science Englisch 01.01.2018 Fester Einband Fr. 179.00 6-7 Wochen
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki - Developments in Language Theory
Mizuh Hoshi, Mizuho Hoshi, Seki, Seki, Shinnosuke Seki Developments in Language Theory Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier - Reachability Problems
Igo Potapov, Igor Potapov, Reynier, Reynier, Pierre-Alain Reynier Reachability Problems Englisch 31.10.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications Englisch 31.12.2018 Taschenbuch Fr. 82.00 6-7 Wochen
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... - The 2-tuple Linguistic Model
Francisc Herrera, Francisco Herrera, Lui Martínez, Luis Martínez, Rosa Rodriguez, Rosa M Rodriguez... The 2-tuple Linguistic Model Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 Englisch 22.06.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling Englisch 26.04.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz - Natural Language Processing and Information Systems
Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz Natural Language Processing and Information Systems Englisch 05.11.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk - Agent Communication
Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk Agent Communication Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs, Lenore Zuck Tools and Algorithms for the Construction and Analysis of Systems Englisch 19.02.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications
Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen