Principles of Distributed Systems von Vijay K. Garg Buch | Hardcover 1995 | Springer ISBN: 9780792396680 CHF 239,65 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Rewriting Techniques and Applications 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings von Jieh Hsiang Buch | Softcover 1995 | Auflage: 1 | Springer Berlin ISBN: 9783540592006 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Classic Operating Systems From Batch Processing to Distributed Systems von Per Brinch Hansen Buch | Hardcover 2001 | Springer-Verlag New York Inc. ISBN: 9780387951133 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings von Roy Dyckhoff Buch | Softcover 2000 | Auflage: 1 | Springer Berlin ISBN: 9783540676973 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Implementation of Functional Languages 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers von Pieter Koopman; Chris Clack Buch | Softcover 2000 | Auflage: 1 | Springer Berlin ISBN: 9783540678649 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Goal-Directed Proof Theory von Dov M. Gabbay; N. Olivetti Buch | Hardcover 2000 | Springer ISBN: 9780792364733 CHF 149,75 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers von Didier Bert; Christine Choppy; Peter Mosses Buch | Softcover 2000 | Auflage: 1 | Springer Berlin ISBN: 9783540678984 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings von Reinhard Kahle; Peter Schroeder-Heister; Robert.. Buch | Softcover 2001 | Auflage: 1 | Springer Berlin ISBN: 9783540427520 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001.. von David Sands Buch | Softcover 2001 | Auflage: 1 | Springer Berlin ISBN: 9783540418627 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Types in Compilation Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers von Robert Harper Buch | Softcover 2001 | Auflage: 1 | Springer Berlin ISBN: 9783540421962 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Recent Advances in Formal Languages and Applications von Zoltán Ésik; Carlos Martin-Vide; Victor Mitrana Buch | Hardcover 2006 | Auflage: 1 | Springer Berlin ISBN: 9783540334606 CHF 289,95 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings von Kung-Kiu Lau; Richard Banach Buch | Softcover 2005 | Auflage: 1 | Springer Berlin ISBN: 9783540297970 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
PASCAL-XSC Language Reference with Examples von Rudi Klatte; Ulrich Kulisch; Michael Neaga;.. Buch | Softcover 1992 | Auflage: 1 | Springer Berlin ISBN: 9783540551379 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Algebraic and Logic Programming Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings von Helene Kirchner; Giorgio Levi Buch | Softcover 1992 | Auflage: 1 | Springer Berlin ISBN: 9783540558736 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers von Mads Dam Buch | Softcover 1997 | Auflage: 1 | Springer Berlin ISBN: 9783540625032 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Code Generation — Concepts, Tools, Techniques Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991 von Robert Giegerich; S.L. Graham Buch | Softcover 1992 | Auflage: 1 | Springer Berlin ISBN: 9783540197577 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Programming with Turing and Object Oriented Turing von Peter Grogono Buch | Softcover 1995 | Springer-Verlag New York Inc. ISBN: 9780387945170 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Introducing Fortran 90 von Ian D. Chivers; Jane Sleightholme Buch | Softcover 1995 | Auflage: 1 | Springer Berlin ISBN: 9783540199403 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
CONCUR '91 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings von Jos C.M. Baeten; Jan F. Groote Buch | Softcover 1991 | Auflage: 1 | Springer Berlin ISBN: 9783540544302 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
CONCUR '95 Concurrency Theory 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings von Scott Smolka Buch | Softcover 1995 | Auflage: 1 | Springer Berlin ISBN: 9783540602187 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen