Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security Englisch 28.02.2018 Fester Einband Fr. 124.00 6-7 Wochen
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Englisch 31.05.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... - Computational Science and Its Applications - ICCSA 2017
Bernady O. Apduhan, Giuseppe Borruso, Alfredo Cuzzocrea, Osvaldo Gervasi, Sanjay Misra, Sanjay Misra et al... Computational Science and Its Applications - ICCSA 2017 Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification Englisch 01.01.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Jerem Gibbons, Jeremy Gibbons, NUNO OLIVEIRA, Nuno Oliveira, Jose Nuno Oliveira, José Nuno Oliveira - Teaching Formal Methods
Jerem Gibbons, Jeremy Gibbons, NUNO OLIVEIRA, Nuno Oliveira, Jose Nuno Oliveira, José Nuno Oliveira Teaching Formal Methods Englisch 18.09.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Chemello, Chemello, Gaetano Chemello, Claudi Sossai, Claudio Sossai Symbolic and Quantitative Approaches to Reasoning with Uncertainty Englisch 01.01.2009 Taschenbuch Fr. 135.00 6-7 Wochen
Quenti Charatan, Quentin Charatan, Aaron Kans - Java in Two Semesters
Quenti Charatan, Quentin Charatan, Aaron Kans Java in Two Semesters Englisch 01.01.2019 Fester Einband Fr. 97.00 6-7 Wochen
Johnson, Johnson, Ralph Johnson, Jame Noble, James Noble - Transactions on Pattern Languages of Programming I
Johnson, Johnson, Ralph Johnson, Jame Noble, James Noble Transactions on Pattern Languages of Programming I Englisch 09.12.2009 Taschenbuch Fr. 70.00 6-7 Wochen
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... - Fundamentals of Algebraic Graph Transformation
Hartmu Ehrig, Hartmut Ehrig, Karste Ehrig, Karsten Ehrig, Ulrike Prange, Ulrike et al Prange... Fundamentals of Algebraic Graph Transformation Englisch 17.02.2006 Fester Einband Fr. 159.00 6-7 Wochen
Rocc De Nicola, Rocco De Nicola, KÜHN, Kühn, eva Kühn, Rocco de Nicola - Software Engineering and Formal Methods
Rocc De Nicola, Rocco De Nicola, KÜHN, Kühn, eva Kühn, Rocco de Nicola Software Engineering and Formal Methods Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Petr Perner, Petra Perner - Advances in Data Mining. Applications and Theoretical Aspects
Petr Perner, Petra Perner Advances in Data Mining. Applications and Theoretical Aspects Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... - Modelling Foundations and Applications
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... Modelling Foundations and Applications Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran - Computer Aided Verification
Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran Computer Aided Verification Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Thomas Haslwanter - Hands-on Signal Analysis with Python
Thomas Haslwanter Hands-on Signal Analysis with Python Englisch 01.01.2021 Fester Einband Fr. 110.00 6-7 Wochen
Richar Moot, Richard Moot, Christian Retore - The Logic of Categorial Grammars
Richar Moot, Richard Moot, Christian Retore The Logic of Categorial Grammars Englisch 04.06.2012 Taschenbuch Fr. 97.00 6-7 Wochen
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... - Foundations of Security, Protocols, and Equational Reasoning
Car E Landwehr, Carl E Landwehr, Joshua D. Guttman, Carl E. Landwehr, José Meseguer, José Meseguer et al... Foundations of Security, Protocols, and Equational Reasoning Englisch 01.01.2019 Taschenbuch Fr. 70.00 6-7 Wochen
Vladimir Lifschitz - Answer Set Programming
Vladimir Lifschitz Answer Set Programming Englisch 01.01.2019 Fester Einband Fr. 84.00 6-7 Wochen
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović - Modern C++ for Absolute Beginners
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović Modern C++ for Absolute Beginners Englisch 16.07.2023 Taschenbuch Fr. 70.00 6-7 Wochen
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... - SDL 2013: Model Driven Dependability Engineering
Ferhat Khendek Electrical and Computer Engineering, Abdelouahed Gherbi, Abdelouahed Gherbi et al, Ferhat Khendek, Rick Reed, Mari Toeroe... SDL 2013: Model Driven Dependability Engineering Englisch 17.05.2013 Taschenbuch Fr. 70.00 6-7 Wochen