Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

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 Englisch 30.09.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Javier Farreres - The DSSSL Book
Javier Farreres The DSSSL Book Englisch 12.03.2013 Taschenbuch Fr. 169.00 6-7 Wochen
David Bausum - TeX Reference Manual
David Bausum TeX Reference Manual Englisch 12.03.2013 Taschenbuch Fr. 169.00 6-7 Wochen
Kang Zhang, Kang Zhang, Kan Zhang, Kang Zhang - Software Visualization
Kang Zhang, Kang Zhang, Kan Zhang, Kang Zhang Software Visualization Englisch 13.03.2013 Taschenbuch Fr. 207.00 6-7 Wochen
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 Englisch 13.03.2013 Taschenbuch Fr. 110.00 6-7 Wochen
Franc Barbier, Franck Barbier - Business Component-Based Software Engineering
Franc Barbier, Franck Barbier Business Component-Based Software Engineering Englisch 13.03.2013 Taschenbuch Fr. 179.00 6-7 Wochen
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 Englisch 13.03.2013 Taschenbuch Fr. 207.00 6-7 Wochen
Joh Hunt, John Hunt, Chris Loftus - Guide to J2EE: Enterprise Java
Joh Hunt, John Hunt, Chris Loftus Guide to J2EE: Enterprise Java Englisch 13.03.2013 Taschenbuch Fr. 189.00 6-7 Wochen
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 Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen
Iman Saleh - Formalizing Data-Centric Web Services
Iman Saleh Formalizing Data-Centric Web Services Englisch 31.10.2015 Fester Einband Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 31.10.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 30.04.2017 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 31.07.2017 Taschenbuch Fr. 70.00 6-7 Wochen
Roozbeh Hazrat - Mathematica®: A Problem-Centered Approach; .
Roozbeh Hazrat Mathematica®: A Problem-Centered Approach; . Englisch 01.01.2016 Taschenbuch Fr. 50.90 6-7 Wochen
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 Englisch 31.08.2016 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 13.03.2013 Taschenbuch Fr. 179.00 6-7 Wochen
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing - Software Engineering for Collective Autonomic Systems
Matthia Hölzl, Matthias Hölzl, Nora Koch, Nora Koch et al, Philip Mayer, Martin Wirsing Software Engineering for Collective Autonomic Systems Englisch 01.01.2015 Taschenbuch Fr. 70.00 6-7 Wochen
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen - Theory and Practice of Formal Methods
Erika Ábrahám, Marcell Bonsangue, Marcello Bonsangue, Einar Broch Johnsen, Einar Broch Johnsen Theory and Practice of Formal Methods Englisch 01.01.2016 Taschenbuch Fr. 70.00 6-7 Wochen