Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota - High Performance Computing
Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota High Performance Computing Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug Computer Safety, Reliability, and Security Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun - Software Architecture
Pari Avgeriou, Paris Avgeriou, Zdun, Zdun, Uwe Zdun Software Architecture Anglais 21.07.2014 Livre de poche Fr. 70.00 6-7 semaines
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt - Automated Reasoning with Analytic Tableaux and Related Methods
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt Automated Reasoning with Analytic Tableaux and Related Methods Anglais 01.01.2017 Livre de poche Fr. 90.00 6-7 semaines
Regina Bernhaupt, Cristian Bogdan, Peter Forbrig, Ja Gulliksen, Jan Gulliksen, Chris Johnson... - Human-Centered and Error-Resilient Systems Development
Regina Bernhaupt, Cristian Bogdan, Peter Forbrig, Ja Gulliksen, Jan Gulliksen, Chris Johnson... Human-Centered and Error-Resilient Systems Development Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Philippe Desfray, Luí Ferreira Pires, Luís Ferreira Pires, Slimane Hammoudi, Luís Ferreira Pires, Bran Selic... - Model-Driven Engineering and Software Development
Philippe Desfray, Luí Ferreira Pires, Luís Ferreira Pires, Slimane Hammoudi, Luís Ferreira Pires, Bran Selic... Model-Driven Engineering and Software Development Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Pankaj Jalote - A Concise Introduction to Software Engineering
Pankaj Jalote A Concise Introduction to Software Engineering Anglais 14.03.2025 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 28.02.2018 Livre Relié Fr. 124.00 6-7 semaines
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 Anglais 31.05.2017 Livre de poche Fr. 70.00 6-7 semaines
Dharin Balasubramaniam, Dharini Balasubramaniam, Katrina Falkner, Ron Morrison, Ronald Morrison - Software Architecture
Dharin Balasubramaniam, Dharini Balasubramaniam, Katrina Falkner, Ron Morrison, Ronald Morrison Software Architecture Anglais 01.01.2008 Livre de poche Fr. 104.00 6-7 semaines
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 Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
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
Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... - Ada 2022 Reference Manual. Volume 1 - Core Language
Robert A Duff, Stephen Baird, Randall Brukardt, Randall L. Brukardt, Randall Brukardt et al, Jeffrey Cousins... Ada 2022 Reference Manual. Volume 1 - Core Language Anglais 13.06.2025 Livre de poche Fr. 103.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
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
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
Jecan, Alexandru Jecan - Die Modularität von Java 9
Jecan, Alexandru Jecan Die Modularität von Java 9 Allemand 07.11.2024 Livre de poche Fr. 38.90 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
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