Practical TLA+ Planning Driven Development von Hillel Wayne Buch | Softcover 2018 | Apress ISBN: 9781484238288 CHF 67,35 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Software Reading Techniques Twenty Techniques for More Effective Software Review and Inspection von Yang‐Ming Zhu Buch | Softcover 2016 | Apress ISBN: 9781484223451 CHF 44,90 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday von Peter Müller; Ina Schaefer Buch | Softcover 2018 | Springer International Publishing ISBN: 9783030074425 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings von Francisco Heron de Carvalho Junior; Luis Soares.. Buch | Softcover 2012 | Springer Berlin ISBN: 9783642331817 CHF 68,90 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome,.. von Frank Pfenning Buch | Softcover 2013 | Springer Berlin ISBN: 9783642370748 CHF 92,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
GAG: A Practical Compiler Generator von U. Kastens; B. Hutt; E. Zimmermann Buch | Softcover 1982 | Springer Berlin ISBN: 9783540115915 CHF 29,90 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings von Karin Breitman; Ana Cavalcanti Buch | Softcover 2009 | Springer Berlin ISBN: 9783642103728 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings von Robert B. France; Jürgen Kazmeier; Ruth Breu;.. Buch | Softcover 2012 | Springer Berlin ISBN: 9783642336652 CHF 139,95 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers von Viktória Zsók; Zoltán Horváth; Rinus Plasmeijer Buch | Softcover 2012 | Springer Berlin ISBN: 9783642320958 CHF 104,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Machine Learning with R von Abhijit Ghatak Buch | Softcover 2018 | Springer Verlag, Singapore ISBN: 9789811349508 CHF 85,35 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Creating Maintainable APIs A Practical, Case-Study Approach von Ervin Varga Buch | Softcover 2016 | Apress ISBN: 9781484221952 CHF 67,35 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Artificial Intelligence Harnessing the Power of Machine Learning and Deep Learning von Evan McCarty Buch | Softcover 2023 | Evan McCarty ISBN: 9798868990397 CHF 38,35 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings von Roberto Giacobazzi Buch | Softcover 2004 | Springer Berlin ISBN: 9783540227915 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Recent Trends in Data Type Specification 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers von Magne Haveraaen; Olaf Owe; Ole-Johan Dahl Buch | Softcover 1996 | Springer Berlin ISBN: 9783540616290 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Shifting Paradigms in Software Engineering Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in.. von Roland Mittermeir Buch | Softcover 1992 | Springer Wien ISBN: 9783211824085 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Advances in Case-Based Reasoning 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings von Barry Smyth; Padraig Cunningham Buch | Softcover 1998 | Springer Berlin ISBN: 9783540649908 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings von Michael Hanus; Jan Heering; Karl Meinke Buch | Softcover 1997 | Springer Berlin ISBN: 9783540634591 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Real-Time UNIX® Systems Design and Application Guide von Borko Furht; Dan Grostick; David Gluch; Guy.. Buch | Hardcover 1990 | Kluwer Academic Publishers ISBN: 9780792390992 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
New Trends in Formal Languages Control, Cooperation, and Combinatorics von Gheorghe Paun; Arto Salomaa Buch | Softcover 1997 | Springer Berlin ISBN: 9783540628446 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
First International Workshop on Larch Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992 von Ursula Martin; Jeannette M. Wing Buch | Softcover 1993 | Springer Berlin ISBN: 9783540198048 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The.. von Jean-Pierre Finance Buch | Softcover 1999 | Springer Berlin ISBN: 9783540657187 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Towards a Formal Description of Ada von D Bjorner; O.N. Oest Buch | Softcover 1980 | Springer Berlin ISBN: 9783540102830 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Z User Workshop, York 1991 Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991 von J. E. Nicholls Buch | Softcover 1992 | Springer Berlin ISBN: 9783540197805 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
The Programming Language Ada Reference Manual. Proposed Standard Document United States Department of Defense von Cii Honeywell Bull Buch | Softcover 1981 | Springer Berlin ISBN: 9783540106937 CHF 69,95 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings von Gopal Gupta Buch | Softcover 1999 | Springer Berlin ISBN: 9783540655275 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Practical SGML von Eric Van Herwijnen Buch | Softcover 1994 | Kluwer Academic Publishers ISBN: 9780792394341 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction von Markus Müller-Olm Buch | Softcover 1997 | Springer Berlin ISBN: 9783540634065 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
LOTOSphere: Software Development with LOTOS von Tommaso Bolognesi; Jeroen van de Lagemaat; Chris.. Buch | Hardcover 1995 | Kluwer Academic Publishers ISBN: 9780792395294 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Prospects for Functional Programming in Software Engineering von Jean-Pierre Banatre; Simon B. Jones; Daniel Le.. Buch | Softcover 1991 | Springer Berlin ISBN: 9783540538523 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
VHDL for Simulation, Synthesis and Formal Proofs of Hardware von Jean Mermet Buch | Hardcover 1992 | Kluwer Academic Publishers ISBN: 9780792392538 CHF 299,55 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Static Analysis Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings von Radhia Cousot; David A. Schmidt Buch | Softcover 1996 | Springer Berlin ISBN: 9783540617396 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
PORTAL Language Description von Arnold Businger Buch | Softcover 1988 | Auflage: 2 | Springer Berlin ISBN: 9783540189602 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Parallel Machines: Parallel Machine Languages The Emergence of Hybrid Dataflow Computer Architectures von Robert A. Iannucci Buch | Hardcover 1990 | Kluwer Academic Publishers ISBN: 9780792391012 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Formal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 von Andreas Ulrich Buch | Softcover 2004 | Springer Berlin ISBN: 9783540208945 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Foundations of Software Science and Computational Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw,.. von Andrew D. Gordon Buch | Softcover 2003 | Springer Berlin ISBN: 9783540008972 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Compiler Construction 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw,.. von Görel Hedin Buch | Softcover 2003 | Springer Berlin ISBN: 9783540009047 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw,.. von Mauro Pezzè Buch | Softcover 2003 | Springer Berlin ISBN: 9783540008996 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Advances in Cryptology – EUROCRYPT 2003 International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings von Eli Biham Buch | Softcover 2003 | Springer Berlin ISBN: 9783540140399 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Universal Access. Theoretical Perspectives, Practice, and Experience 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24-25, 2002, Revised Papers von Noelle Carbonell; Constantine Stephanidis Buch | Softcover 2003 | Springer Berlin ISBN: 9783540008552 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings von Egon Börger; Angelo Gargantini; Elvinia Riccobene Buch | Softcover 2003 | Springer Berlin ISBN: 9783540006244 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Compiler Construction 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany,.. von David A. Watt Buch | Softcover 2000 | Springer Berlin ISBN: 9783540672630 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings von Sanjiv Kapoor; Sanjiva Prasad Buch | Softcover 2000 | Springer Berlin ISBN: 9783540414131 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Automatic Re-engineering of Software Using Genetic Programming von Conor Ryan Buch | Hardcover 1999 | Kluwer Academic Publishers ISBN: 9780792386537 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Foundation of Software Science and Computation Structures Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin,.. von Jerzy Tiuryn Buch | Softcover 2000 | Springer Berlin ISBN: 9783540672579 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Advanced Functional Programming Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures von S. Doaitse Swierstra; Pedro R. Henriques; Jose N... Buch | Softcover 1999 | Springer Berlin ISBN: 9783540662419 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Implementation of Functional Languages 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers von Markus Mohnen; Pieter Koopman Buch | Softcover 2001 | Springer Berlin ISBN: 9783540419198 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Generative and Component-Based Software Engineering First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers von Krzysztof Czarnecki; Ulrich W. Eisenecker Buch | Softcover 2000 | Springer Berlin ISBN: 9783540411727 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings von Karen Yorav Buch | Softcover 2008 | Springer Berlin ISBN: 9783540779643 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings von Francesco Logozzo; Doron A. Peled; Leonore D. Zuck Buch | Softcover 2008 | Springer Berlin ISBN: 9783540781622 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Intelligent Image Processing in Prolog von Bruce G. Batchelor Buch | Hardcover 1991 | Springer Berlin ISBN: 9783540196471 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen