Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger - Reliable Software Technologies - Ada-Europe 2017
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger Reliable Software Technologies - Ada-Europe 2017 Anglais 31.07.2017 Livre de poche Fr. 77.00 6-7 semaines
Javier Farreres - The DSSSL Book
Javier Farreres The DSSSL Book Anglais 12.03.2013 Livre de poche Fr. 169.00 6-7 semaines
David Bausum - TeX Reference Manual
David Bausum TeX Reference Manual Anglais 12.03.2013 Livre de poche Fr. 169.00 6-7 semaines
Joh Hunt, John Hunt, Chris Loftus - Guide to J2EE: Enterprise Java
Joh Hunt, John Hunt, Chris Loftus Guide to J2EE: Enterprise Java Anglais 13.03.2013 Livre de poche Fr. 189.00 6-7 semaines
Kang Zhang, Kang Zhang, Kan Zhang, Kang Zhang - Software Visualization
Kang Zhang, Kang Zhang, Kan Zhang, Kang Zhang Software Visualization Anglais 13.03.2013 Livre de poche Fr. 207.00 6-7 semaines
Juli Cesar Sampaio do Prado Leite, Julio Cesar Sampaio do Prado Leite, Jorge Horacio Doorn, Horacio Doorn, Julio Cesar Sampaio do Prado Leite - Perspectives on Software Requirements
Juli Cesar Sampaio do Prado Leite, Julio Cesar Sampaio do Prado Leite, Jorge Horacio Doorn, Horacio Doorn, Julio Cesar Sampaio do Prado Leite Perspectives on Software Requirements Anglais 13.03.2013 Livre de poche Fr. 110.00 6-7 semaines
Franc Barbier, Franck Barbier - Business Component-Based Software Engineering
Franc Barbier, Franck Barbier Business Component-Based Software Engineering Anglais 13.03.2013 Livre de poche Fr. 179.00 6-7 semaines
Liz Kurian John, Lizy Kurian John, Marie Grizzaffi Maynard, Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard - Workload Characterization of Emerging Computer Applications
Liz Kurian John, Lizy Kurian John, Marie Grizzaffi Maynard, Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard Workload Characterization of Emerging Computer Applications Anglais 13.03.2013 Livre de poche Fr. 207.00 6-7 semaines
Iman Saleh - Formalizing Data-Centric Web Services
Iman Saleh Formalizing Data-Centric Web Services Anglais 31.10.2015 Livre Relié Fr. 70.00 6-7 semaines
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
de Lemos, de Lemos, Rogério de Lemos, Antóni Lopes, Antónia Lopes - Software Architecture
de Lemos, de Lemos, Rogério de Lemos, Antóni Lopes, Antónia Lopes Software Architecture Anglais 30.09.2017 Livre de poche Fr. 70.00 6-7 semaines
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving Anglais 30.09.2017 Livre de poche Fr. 70.00 6-7 semaines
S. S. Agrawal, Poonam Bansal, Amita Dev, Amit Devi, Amita Devi, Ritika Wason... - Speech and Language Processing for Human-Machine Communications
S. S. Agrawal, Poonam Bansal, Amita Dev, Amit Devi, Amita Devi, Ritika Wason... Speech and Language Processing for Human-Machine Communications Anglais 31.10.2017 Livre de poche Fr. 135.00 6-7 semaines
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications Anglais 01.01.2016 Livre de poche Fr. 70.00 6-7 semaines
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems Anglais 30.04.2017 Livre de poche Fr. 70.00 6-7 semaines
Deepa D'Souza, Deepak D'Souza, Narayan Kumar, Narayan Kumar, K. Narayan Kumar - Automated Technology for Verification and Analysis
Deepa D'Souza, Deepak D'Souza, Narayan Kumar, Narayan Kumar, K. Narayan Kumar Automated Technology for Verification and Analysis Anglais 31.10.2017 Livre de poche Fr. 70.00 6-7 semaines
José-Paul Leal, José-Paulo Leal, José-Luis Sierra-Rodríguez, Alberto Simões - Languages, Applications and Technologies
José-Paul Leal, José-Paulo Leal, José-Luis Sierra-Rodríguez, Alberto Simões Languages, Applications and Technologies Anglais 01.01.2015 Livre de poche Fr. 70.00 6-7 semaines
Pierre-Françoi Dutot, Pierre-François Dutot, Trystram, Trystram, Denis Trystram - Euro-Par 2016: Parallel Processing
Pierre-Françoi Dutot, Pierre-François Dutot, Trystram, Trystram, Denis Trystram Euro-Par 2016: Parallel Processing Anglais 31.08.2016 Livre de poche Fr. 70.00 6-7 semaines
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... - Intelligent Computer Mathematics
Matthe England, Matthew England, Herman Geuvers, Osman Hasan, Osman Hasan et al, Florian Rabe... Intelligent Computer Mathematics Anglais 31.07.2017 Livre de poche Fr. 70.00 6-7 semaines
Khali Begain, Khalid Begain, Gunte Bolch, Gunter Bolch, Helmut Herold - Practical Performance Modeling
Khali Begain, Khalid Begain, Gunte Bolch, Gunter Bolch, Helmut Herold Practical Performance Modeling Anglais 13.03.2013 Livre de poche Fr. 179.00 6-7 semaines