Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg Verification, Model Checking, and Abstract Interpretation Englisch 01.01.2018 Taschenbuch Fr. 70.00 6-7 Wochen
Ross J Maloney, Ross J. Maloney - Low Level X Window Programming
Ross J Maloney, Ross J. Maloney Low Level X Window Programming Englisch 01.01.2018 Taschenbuch Fr. 91.00 6-7 Wochen