Languages
Subject
Format
Availabity
Authors

Search result

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 English 13.03.2013 Paperback / Softback Fr. 110.00 6-7 weeks
Franc Barbier, Franck Barbier - Business Component-Based Software Engineering
Franc Barbier, Franck Barbier Business Component-Based Software Engineering English 13.03.2013 Paperback / Softback Fr. 179.00 6-7 weeks
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 English 31.10.2017 Paperback / Softback Fr. 135.00 6-7 weeks
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 English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.10.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Roozbeh Hazrat - Mathematica®: A Problem-Centered Approach; .
Roozbeh Hazrat Mathematica®: A Problem-Centered Approach; . English 01.01.2016 Paperback / Softback Fr. 49.90 6-7 weeks
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 English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 13.03.2013 Paperback / Softback Fr. 179.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio - Software Engineering
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio Software Engineering English 01.01.2016 Paperback / Softback Fr. 56.90 6-7 weeks
Reinhard Gotzhein, Oystein Haugen, Øystein Haugen, Ric Reed, Rick Reed - System Analysis and Modeling: Theory and Practice
Reinhard Gotzhein, Oystein Haugen, Øystein Haugen, Ric Reed, Rick Reed System Analysis and Modeling: Theory and Practice English 30.01.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo - Objects, Components, Models, Patterns
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo Objects, Components, Models, Patterns English 31.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Jos Cordeiro, José Cordeiro, Maria José Escalona, María José Escalona, Boris Shishkov - Software and Data Technologies
Jos Cordeiro, José Cordeiro, Maria José Escalona, María José Escalona, Boris Shishkov Software and Data Technologies English 25.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Uw Hansmann, Uwe Hansmann, Lotha Merk, Lothar Merk, Martin S et a Nicklous, Martin S. Nicklous... - Pervasive Computing
Uw Hansmann, Uwe Hansmann, Lotha Merk, Lothar Merk, Martin S et a Nicklous, Martin S. Nicklous... Pervasive Computing English 29.01.2013 Paperback / Softback Fr. 153.00 6-7 weeks
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering IV
Ralf Lämmel, Joã Saraiva, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering IV English 06.12.2012 Paperback / Softback Fr. 70.00 6-7 weeks