Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

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 Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Quenti Charatan, Quentin Charatan, Aaron Kans - Java in Two Semesters
Quenti Charatan, Quentin Charatan, Aaron Kans Java in Two Semesters Anglais 01.01.2019 Livre Relié Fr. 97.00 6-7 semaines
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 Anglais 09.12.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 17.02.2006 Livre Relié Fr. 158.00 6-7 semaines
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 Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Petr Perner, Petra Perner - Advances in Data Mining. Applications and Theoretical Aspects
Petr Perner, Petra Perner Advances in Data Mining. Applications and Theoretical Aspects Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran - Computer Aided Verification
Isi Dillig, Isil Dillig, Tasiran, Tasiran, Serdar Tasiran Computer Aided Verification Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Alessandro De Angelis - Cosmic Rays
Alessandro De Angelis Cosmic Rays Anglais 11.12.2023 Livre de poche Fr. 47.90 6-7 semaines
Richar Moot, Richard Moot, Christian Retore - The Logic of Categorial Grammars
Richar Moot, Richard Moot, Christian Retore The Logic of Categorial Grammars Anglais 04.06.2012 Livre de poche Fr. 97.00 6-7 semaines
Donal C Wunsch, Donald C Wunsch, De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Daniel S Levine et al... - Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Donal C Wunsch, Donald C Wunsch, De-Shuang Huang, Kang-Hyun Jo, Daniel S. Levine, Daniel S Levine et al... Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Anglais 29.01.2013 Livre de poche Fr. 207.00 6-7 semaines
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 Anglais 01.01.2019 Livre de poche Fr. 70.00 6-7 semaines
Vladimir Lifschitz - Answer Set Programming
Vladimir Lifschitz Answer Set Programming Anglais 01.01.2019 Livre Relié Fr. 84.00 6-7 semaines
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović - Modern C++ for Absolute Beginners
Slobodan Dmitrovi¿, Slobodan Dmitrovic, Slobodan Dmitrović Modern C++ for Absolute Beginners Anglais 16.07.2023 Livre de poche Fr. 70.00 6-7 semaines
Nunkesser, Robin Nunkesser - App-Entwicklung für Mobile und Desktop
Nunkesser, Robin Nunkesser App-Entwicklung für Mobile und Desktop Allemand 12.11.2023 Livre de poche Fr. 59.50 6-7 semaines
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 Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 17.05.2013 Livre de poche Fr. 70.00 6-7 semaines
Bernhar Steffen, Bernhard Steffen - Transactions on Foundations for Mastering Change I
Bernhar Steffen, Bernhard Steffen Transactions on Foundations for Mastering Change I Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel - Theory and Practice of Model Transformations
Keit Duddy, Keith Duddy, Kappel, Kappel, Gerti Kappel Theory and Practice of Model Transformations Anglais 10.05.2013 Livre de poche Fr. 65.00 6-7 semaines
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta - Computer Safety, Reliability, and Security
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta Computer Safety, Reliability, and Security Anglais 30.11.2017 Livre de poche Fr. 70.00 6-7 semaines