Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 30.09.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 30.09.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.10.2017 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.10.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 30.04.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.08.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 31.07.2017 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 13.03.2013 Tascabile Fr. 179.00 6-7 settimane
Dietmar Abts, Dietmar (Prof. Dr.) Abts - Grundkurs JAVA
Dietmar Abts, Dietmar (Prof. Dr.) Abts Grundkurs JAVA Tedesco 01.09.2020 Tascabile Fr. 59.50 6-7 settimane
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 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane
Lakicevic, Milen Lakicevic, Milena Lakicevic, Nichola Povak, Nicholas Povak, Keith Reynolds... - Introduction to R for Terrestrial Ecology
Lakicevic, Milen Lakicevic, Milena Lakicevic, Nichola Povak, Nicholas Povak, Keith Reynolds... Introduction to R for Terrestrial Ecology Inglese 01.02.2021 Tascabile Fr. 84.00 6-7 settimane
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio - Software Engineering
Bertran Meyer, Bertrand Meyer, Nordio, Nordio, Martin Nordio Software Engineering Inglese 01.01.2016 Tascabile Fr. 56.90 6-7 settimane
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 Inglese 25.01.2013 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 29.01.2013 Tascabile Fr. 153.00 6-7 settimane
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 Inglese 30.01.2013 Tascabile Fr. 65.00 6-7 settimane
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo - Objects, Components, Models, Patterns
Judit Bishop, Judith Bishop, Vallecillo, Vallecillo, Antonio Vallecillo Objects, Components, Models, Patterns Inglese 31.07.2011 Tascabile Fr. 70.00 6-7 settimane