Languages
Subject
Format
Availabity
Authors

Search result

Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger - Reliable Software Technologies - Ada-Europe 2017
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger Reliable Software Technologies - Ada-Europe 2017 English 31.07.2017 Paperback / Softback Fr. 77.00 6-7 weeks
Rudolf Dutter, Pete Filzmoser, Peter Filzmoser, Ursula Gather, Ursula Gather et al, Peter Rousseeuw... - Developments in Robust Statistics
Rudolf Dutter, Pete Filzmoser, Peter Filzmoser, Ursula Gather, Ursula Gather et al, Peter Rousseeuw... Developments in Robust Statistics English 12.03.2013 Paperback / Softback Fr. 189.00 6-7 weeks
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen - Specification and Development of Interactive Systems
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen Specification and Development of Interactive Systems English 13.03.2013 Paperback / Softback Fr. 110.00 6-7 weeks
Joh Hunt, John Hunt, Chris Loftus - Guide to J2EE: Enterprise Java
Joh Hunt, John Hunt, Chris Loftus Guide to J2EE: Enterprise Java English 13.03.2013 Paperback / Softback Fr. 189.00 6-7 weeks
Sinan Si Alhir - Guide to Applying the UML
Sinan Si Alhir Guide to Applying the UML English 13.03.2013 Paperback / Softback Fr. 117.00 6-7 weeks
Inge van de Weerd, Camill Salinesi, Camille Salinesi, van de Weerd, van de Weerd, Inge van de Weerd... - Requirements Engineering: Foundation for Software Quality
Inge van de Weerd, Camill Salinesi, Camille Salinesi, van de Weerd, van de Weerd, Inge van de Weerd... Requirements Engineering: Foundation for Software Quality English 04.03.2014 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
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
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Adrian Carballal, Jua J Romero, Penousal Machado, Juan J. Romero - Evolutionary and Biologically Inspired Music, Sound, Art and Design
Adrian Carballal, Jua J Romero, Penousal Machado, Juan J. Romero Evolutionary and Biologically Inspired Music, Sound, Art and Design English 07.03.2012 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.08.2016 Paperback / Softback Fr. 70.00 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
Jason H Moore, Jason H. Moore, Rick Riolo, Ekaterin Vladislavleva, Ekaterina Vladislavleva - Genetic Programming Theory and Practice IX
Jason H Moore, Jason H. Moore, Rick Riolo, Ekaterin Vladislavleva, Ekaterina Vladislavleva Genetic Programming Theory and Practice IX English 14.11.2013 Paperback / Softback Fr. 110.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
Flori Pop, Florin Pop, Potop-Butucaru, Potop-Butucaru, Maria Potop-Butucaru - Adaptive Resource Management and Scheduling for Cloud Computing
Flori Pop, Florin Pop, Potop-Butucaru, Potop-Butucaru, Maria Potop-Butucaru Adaptive Resource Management and Scheduling for Cloud Computing English 01.01.2016 Paperback / Softback Fr. 56.90 6-7 weeks
Bruce R Donald, Bruce R. Donald, Donald Bruce R. - Algorithms in Structural Molecular Biology
Bruce R Donald, Bruce R. Donald, Donald Bruce R. Algorithms in Structural Molecular Biology English 25.07.2023 Paperback / Softback Fr. 96.00 6-7 weeks
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski - Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation English 01.01.2017 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
Ji Akiyama, Jin Akiyama, Mikio Kano - Factors and Factorizations of Graphs
Ji Akiyama, Jin Akiyama, Mikio Kano Factors and Factorizations of Graphs English 31.07.2011 Paperback / Softback Fr. 97.00 6-7 weeks