Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Suad Alagi¿, Suad Alagic, Suad Alagić - Object-Oriented Technology
Suad Alagi¿, Suad Alagic, Suad Alagić Object-Oriented Technology Englisch 01.01.2015 Fester Einband Fr. 70.00 6-7 Wochen
OWENS, Owens, Scott Owens, Men Wang, Meng Wang - Trends in Functional Programming
OWENS, Owens, Scott Owens, Men Wang, Meng Wang Trends in Functional Programming Englisch 01.01.2018 Taschenbuch Fr. 59.50 6-7 Wochen
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten - It's All About Coordination
Marcell Bonsangue, Marcello Bonsangue, Frank de Boer, Jan Rutten It's All About Coordination Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina - New Opportunities for Software Reuse
Rafael Capilla, Carlos Cetina, Barbar Gallina, Barbara Gallina New Opportunities for Software Reuse Englisch 01.01.2018 Taschenbuch Fr. 159.00 6-7 Wochen
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving Englisch 01.01.2018 Taschenbuch Fr. 124.00 6-7 Wochen
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... - Software Technologies
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... Software Technologies Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Ernesto Damiani, Leszek Maciaszek, Georg Spanoudakis, George Spanoudakis - Evaluation of Novel Approaches to Software Engineering
Ernesto Damiani, Leszek Maciaszek, Georg Spanoudakis, George Spanoudakis Evaluation of Novel Approaches to Software Engineering Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger - Computing and Software Science
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger Computing and Software Science Englisch 01.01.2019 Taschenbuch Fr. 44.50 6-7 Wochen
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering IV
Paolo Giorgini, Jör Müller, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering IV Englisch 01.01.2004 Taschenbuch Fr. 70.00 6-7 Wochen
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... - Transactions on Modularity and Composition I
Shigeru Chiba, Patrick Eugster, Patrick Eugster et al, Gary T. Leavens, Mari Südholt, Mario Südholt... Transactions on Modularity and Composition I Englisch 31.01.2017 Taschenbuch Fr. 107.00 6-7 Wochen
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez - Runtime Verification
Yliè Falcone, Yliès Falcone, Sánchez, Sánchez, César Sánchez Runtime Verification Englisch 30.11.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro - Search Based Software Engineering
Deb, Deb, Kalyanmoy Deb, Federic Sarro, Federica Sarro Search Based Software Engineering Englisch 30.11.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Henri E et al Bal, Henri E. Bal, Dic Grune, Dick Grune, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs... - Modern Compiler Design
Henri E et al Bal, Henri E. Bal, Dic Grune, Dick Grune, Ceriel J. H. Jacobs, Ceriel J.H. Jacobs... Modern Compiler Design Englisch 01.01.2016 Taschenbuch Fr. 110.00 6-7 Wochen
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Englisch 01.01.2016 Taschenbuch Fr. 135.00 6-7 Wochen
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies Englisch 01.01.2015 Taschenbuch Fr. 56.90 6-7 Wochen
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods Englisch 01.01.2016 Taschenbuch Fr. 110.00 6-7 Wochen