Languages
Subject
Format
Availabity
Authors

Search result

A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta - Computer Safety, Reliability, and Security
Friedemann Bitsch, Erwi Schoitsch, Erwin Schoitsch, Stefano Tonetta Computer Safety, Reliability, and Security English 30.11.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese - Inductive Logic Programming
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese Inductive Logic Programming English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems English 10.07.2025 Paperback / Softback Fr. 56.90 6-7 weeks
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems English 10.07.2025 Paperback / Softback Fr. 56.90 6-7 weeks
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 English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2015 Hardback Fr. 158.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
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
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
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
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
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 English 16.01.2025 Paperback / Softback Fr. 92.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
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
Leszek A Maciaszek et al, Jorg Cardoso, Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen... - Software Technologies
Leszek A Maciaszek et al, Jorg Cardoso, Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen... Software Technologies English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks