Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio - Tools for Practical Software Verification
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio Tools for Practical Software Verification Anglais 05.12.2012 Livre de poche Fr. 65.00 6-7 semaines
Ew Huebner, Ewa Huebner, Zanero, Zanero, Stefano Zanero - Open Source Software for Digital Forensics
Ew Huebner, Ewa Huebner, Zanero, Zanero, Stefano Zanero Open Source Software for Digital Forensics Anglais 01.01.2014 Livre de poche Fr. 216.00 6-7 semaines
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... - Ada 2012 Reference Manual. Language and Standard Libraries
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... Ada 2012 Reference Manual. Language and Standard Libraries Anglais 02.12.2013 Livre de poche Fr. 179.00 6-7 semaines
Han Van Loon, Han van Loon - Process Assessment and ISO/IEC 15504
Han Van Loon, Han van Loon Process Assessment and ISO/IEC 15504 Anglais 01.01.2014 Livre de poche Fr. 179.00 6-7 semaines
Michel Schellekens - A Modular Calculus for the Average Cost of Data Structuring
Michel Schellekens A Modular Calculus for the Average Cost of Data Structuring Anglais 01.01.2014 Livre de poche Fr. 179.00 6-7 semaines
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Ken Macmillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 19.11.2013 Livre de poche Fr. 70.00 6-7 semaines
Marc Platzner, Marco Platzner, Wehn, Wehn, Norbert Wehn - Dynamically Reconfigurable Systems
Marc Platzner, Marco Platzner, Wehn, Wehn, Norbert Wehn Dynamically Reconfigurable Systems Anglais 01.01.2014 Livre de poche Fr. 159.00 6-7 semaines
John Barnes - Ada 2012 Rationale
John Barnes Ada 2012 Rationale Anglais 13.11.2013 Livre de poche Fr. 65.00 6-7 semaines
Yue Zhang - An Introduction to Python and Computer Programming
Yue Zhang An Introduction to Python and Computer Programming Anglais 01.01.2016 Livre de poche Fr. 159.00 6-7 semaines
Haeng-Kon Kim, Tai-Hoon Kim, Haeng-kon Kim et al, Akingbehin Kiumi, Sabah Mohammed, Carlo Ramos... - Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
Haeng-Kon Kim, Tai-Hoon Kim, Haeng-kon Kim et al, Akingbehin Kiumi, Sabah Mohammed, Carlo Ramos... Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity Anglais 05.11.2012 Livre de poche Fr. 70.00 6-7 semaines
Paul Boca, Jonathan P. Bowen, Jonatha P Bowen, Jonathan P Bowen, Jawed Siddiqi - Formal Methods: State of the Art and New Directions
Paul Boca, Jonathan P. Bowen, Jonatha P Bowen, Jonathan P Bowen, Jawed Siddiqi Formal Methods: State of the Art and New Directions Anglais 01.01.2014 Livre de poche Fr. 169.00 6-7 semaines
Philli James, Phillip James, Roggenbach, Roggenbach, Markus Roggenbach - Recent Trends in Algebraic Development Techniques
Philli James, Phillip James, Roggenbach, Roggenbach, Markus Roggenbach Recent Trends in Algebraic Development Techniques Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode - Logical Foundations of Computer Science
Serge Artemov, Sergei Artemov, Nerode, Nerode, Anil Nerode Logical Foundations of Computer Science Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Holger Brunst, Wolfgang E Nagel et al, Matthias S. Müller, Wolfgang E. Nagel, Michael M. Resch, Matthia S Müller... - Tools for High Performance Computing 2011
Holger Brunst, Wolfgang E Nagel et al, Matthias S. Müller, Wolfgang E. Nagel, Michael M. Resch, Matthia S Müller... Tools for High Performance Computing 2011 Anglais 01.01.2014 Livre de poche Fr. 135.00 6-7 semaines
Imed Hammouda, Björ Lundell, Björn Lundell, Tommi Mikkonen, Tommi Mikkonen et al, Walt Scacchi - Open Source Systems: Long-Term Sustainability
Imed Hammouda, Björ Lundell, Björn Lundell, Tommi Mikkonen, Tommi Mikkonen et al, Walt Scacchi Open Source Systems: Long-Term Sustainability Anglais 01.01.2014 Livre de poche Fr. 135.00 6-7 semaines
Bor-Yuh Evan Chang, Bor-Yu Evan Chang, Bor-Yuh Evan Chang - Programming Languages and Systems
Bor-Yuh Evan Chang, Bor-Yu Evan Chang, Bor-Yuh Evan Chang Programming Languages and Systems Anglais 01.01.2017 Livre de poche Fr. 70.00 6-7 semaines
Bastian Ballmann - Understanding Network Hacks
Bastian Ballmann Understanding Network Hacks Anglais 01.01.2016 Livre de poche Fr. 56.50 6-7 semaines
Jan Bosch, Morve Gentleman, Morven Gentleman, Christine Hofmeister, Christine Hofmeister et al, Juha Kuusela - Software Architecture
Jan Bosch, Morve Gentleman, Morven Gentleman, Christine Hofmeister, Christine Hofmeister et al, Juha Kuusela Software Architecture Anglais 17.10.2013 Livre de poche Fr. 193.00 6-7 semaines
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink Formal Methods for Open Object-Based Distributed Systems V Anglais 17.10.2013 Livre de poche Fr. 189.00 6-7 semaines
Jerem Gibbons, Jeremy Gibbons, Jeuring, Jeuring, Johan Jeuring - Generic Programming
Jerem Gibbons, Jeremy Gibbons, Jeuring, Jeuring, Johan Jeuring Generic Programming Anglais 17.10.2013 Livre de poche Fr. 169.00 6-7 semaines