Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

William Farmer, William M Farmer, William M. Farmer - Simple Type Theory
William Farmer, William M Farmer, William M. Farmer Simple Type Theory Englisch 28.06.2025 Fester Einband Fr. 104.00 1-3 Wochen (kurzfristig nicht lieferbar)
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)
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild - Task Models and Diagrams for User Interface Design
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild Task Models and Diagrams for User Interface Design Englisch 18.02.2010 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)
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)
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)
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider - Information Security
Liqun Chen, Mar Manulis, Mark Manulis, Steve Schneider Information Security Englisch 01.01.2018 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi - Agile Processes in Software Engineering and Extreme Programming
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi Agile Processes in Software Engineering and Extreme Programming Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features Englisch 02.12.2013 Taschenbuch Fr. 120.00 6-7 Wochen
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems Englisch 27.09.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... - Software Architectures, Components, and Applications
Clemen A Szyperski, Clemens A Szyperski, Ralf H Reussner et al, Sven Overhage, Ralf H. Reussner, Judith A. Stafford... Software Architectures, Components, and Applications Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures Englisch 27.09.2012 Taschenbuch Fr. 70.00 6-7 Wochen
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia - Computer Aided Systems Theory - EUROCAST 2007, 2 Vols.
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2007, 2 Vols. Englisch 26.02.2010 Taschenbuch Fr. 189.00 6-7 Wochen
Julie A. Jacko - Human-Computer Interaction. Interaction Design and Usability, 2 Volumes
Julie A. Jacko Human-Computer Interaction. Interaction Design and Usability, 2 Volumes Englisch 14.04.2009 Taschenbuch Fr. 189.00 6-7 Wochen
Julie A. Jacko - Human-Computer Interaction. HCI Applications and Services, 2 Vols.
Julie A. Jacko Human-Computer Interaction. HCI Applications and Services, 2 Vols. Englisch 14.04.2009 Taschenbuch Fr. 189.00 6-7 Wochen
Julie A. Jacko - Human-Computer Interaction. Interaction Platforms and Techniques, 2 Volumes
Julie A. Jacko Human-Computer Interaction. Interaction Platforms and Techniques, 2 Volumes Englisch 29.01.2013 Taschenbuch Fr. 135.00 6-7 Wochen
Richar Jones, Richard Jones - ECOOP 2014 -- Object-Oriented Programming
Richar Jones, Richard Jones ECOOP 2014 -- Object-Oriented Programming Englisch 23.06.2014 Taschenbuch Fr. 70.00 6-7 Wochen
Luk Ong, Luke Ong - Computer Science Logic
Luk Ong, Luke Ong Computer Science Logic Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen