Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor - Conceptual Modeling
Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor Conceptual Modeling Inglese 31.01.2018 Tascabile Fr. 70.00 6-7 settimane
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese - Inductive Logic Programming
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese Inductive Logic Programming Inglese 30.11.2018 Tascabile Fr. 70.00 6-7 settimane
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Inglese 10.07.2025 Tascabile Fr. 55.90 6-7 settimane
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems Inglese 10.07.2025 Tascabile Fr. 55.90 6-7 settimane
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman - Rules and Reasoning
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman Rules and Reasoning Inglese 31.10.2018 Tascabile Fr. 70.00 6-7 settimane
Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián, Héctor Quintián et al, Rubé Urraca, Rubén Urraca - Hybrid Artificial Intelligent Systems
Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián, Héctor Quintián et al, Rubé Urraca, Rubén Urraca Hybrid Artificial Intelligent Systems Inglese 31.07.2017 Tascabile Fr. 70.00 6-7 settimane
K C Wang, K. C. Wang, K.C. Wang - Design and Implementation of the MTX Operating System
K C Wang, K. C. Wang, K.C. Wang Design and Implementation of the MTX Operating System Inglese 01.01.2015 Copertina rigida Fr. 158.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
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
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
Alessandro Artale, Consiglio Nazionale Delle Ricerche, Gabriella Cortellessa, Istituto di Scienze e Tecnologie, Marco Montali, Consiglio Nazionale delle Ricerche - AIxIA 2024 - Advances in Artificial Intelligence
Alessandro Artale, Consiglio Nazionale Delle Ricerche, Gabriella Cortellessa, Istituto di Scienze e Tecnologie, Marco Montali, Consiglio Nazionale delle Ricerche AIxIA 2024 - Advances in Artificial Intelligence Inglese 16.01.2025 Tascabile Fr. 92.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
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
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
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
Jürgen Lemke - C++-Metaprogrammierung
Jürgen Lemke C++-Metaprogrammierung Tedesco 20.05.2016 Copertina rigida Fr. 72.00 6-7 settimane
Ger Küveler, Gerd Küveler, Dietrich Schwoch - C/C++ für Studium und Beruf
Ger Küveler, Gerd Küveler, Dietrich Schwoch C/C++ für Studium und Beruf Tedesco 30.08.2017 Tascabile Fr. 47.50 6-7 settimane
Marti Hiller, Martin Hiller, Fran Müller-Hofmann, Frank Müller-Hofmann, Gerha Wanner, Gerhard Wanner - Programmierung von verteilten Systemen und Webanwendungen mit Java EE
Marti Hiller, Martin Hiller, Fran Müller-Hofmann, Frank Müller-Hofmann, Gerha Wanner, Gerhard Wanner Programmierung von verteilten Systemen und Webanwendungen mit Java EE Tedesco 03.01.2016 Tascabile Fr. 41.50 6-7 settimane