Languages
Subject
Format
Availabity
Authors

Search result

Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation English 10.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Petra Perner - Advances in Data Mining. Applications and Theoretical Aspects
Petra Perner Advances in Data Mining. Applications and Theoretical Aspects English 04.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
James Cussens, Alessandra Russo - Inductive Logic Programming
James Cussens, Alessandra Russo Inductive Logic Programming English 16.07.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Manuel V Hermenegildo, Pedro Lopez-Garcia - Logic-Based Program Synthesis and Transformation
Manuel V Hermenegildo, Pedro Lopez-Garcia Logic-Based Program Synthesis and Transformation English 25.07.2017 Paperback / Softback Fr. 69.00 6-7 weeks
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Dependable Software Engineering. Theories, Tools, and Applications English 17.10.2017 Paperback / Softback Fr. 69.00 6-7 weeks
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... - Reliable Software Technologies -- Ada-Europe 2006
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... Reliable Software Technologies -- Ada-Europe 2006 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... - Ada 2005 Reference Manual. Language and Standard Libraries
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... Ada 2005 Reference Manual. Language and Standard Libraries English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek - Coordination Models and Languages
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stefan Edelkamp, Alessio Lomuscio - Model Checking and Artificial Intelligence
Stefan Edelkamp, Alessio Lomuscio Model Checking and Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
George Almási, Gheorghe Almási, Cali Cascaval, Calin Cascaval, Calvin Cascaval, Peng Wu - Languages and Compilers for Parallel Computing
George Almási, Gheorghe Almási, Cali Cascaval, Calin Cascaval, Calvin Cascaval, Peng Wu Languages and Compilers for Parallel Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira - Language and Automata Theory and Applications
Shmuel Tomi Klein, Carlo Martín-Vide, Carlos Martín-Vide, Dana Shapira Language and Automata Theory and Applications English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... - Ewa Orlowska on Relational Methods in Logic and Computer Science
Joanna Goli¿ska-Pilarek, Joann Golinska-Pilarek, Joanna Golinska-Pilarek, Joanna Golińska-Pilarek, Zawidzki, Zawidzki... Ewa Orlowska on Relational Methods in Logic and Computer Science English 01.01.2018 Hardback Fr. 179.00 6-7 weeks
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, Simpson, Simpson... - Foundations of Software Science and Computation Structures
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, Simpson, Simpson... Foundations of Software Science and Computation Structures English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Luí Caires, Luís Caires - Programming Languages and Systems
Luí Caires, Luís Caires Programming Languages and Systems English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood - Foundations and Practice of Security
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood Foundations and Practice of Security English 01.01.2019 Paperback / Softback Fr. 92.00 6-7 weeks
Courage Kamusoko - Remote Sensing Image Classification in R
Courage Kamusoko Remote Sensing Image Classification in R English 01.01.2019 Hardback Fr. 158.00 6-7 weeks
Manohar Swamynathan - Mastering Machine Learning with Python in Six Steps
Manohar Swamynathan Mastering Machine Learning with Python in Six Steps English 17.10.2019 Paperback / Softback Fr. 53.90 6-7 weeks
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems English 01.01.2019 Paperback / Softback Fr. 89.00 6-7 weeks
Carsten Lutz, Ul Sattler, Uli Sattler, Cesare Tinelli, Cesare Tinelli et al, Anni-Yasmin Turhan... - Description Logic, Theory Combination, and All That
Carsten Lutz, Ul Sattler, Uli Sattler, Cesare Tinelli, Cesare Tinelli et al, Anni-Yasmin Turhan... Description Logic, Theory Combination, and All That English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Friedrich L. Bauer - Origins and Foundations of Computing
Friedrich L. Bauer Origins and Foundations of Computing English 10.10.2014 Paperback / Softback Fr. 47.90 6-7 weeks