Einfuhrung in Die Informatik: Objektorientiert MIT Java (eXamen.Press)
by Wolfgang K]chlin,Andreas Weber,Wolfgang Kuchlin,Wolfgang Ka1/4chlin
ISBN 13: 9783540209584
Format: Paperback (471 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 01 Oct 2004
Save for later
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540740605
Format: Paperback (469 pages) Publisher: Springer Published: 09 Aug 2007
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)
ISBN 13: 9783540326045
Format: Paperback (275 pages) Publisher: Springer Published: 06 Apr 2006
Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783540774419
Format: Paperback (333 pages) Publisher: Springer Published: 18 Dec 2007
Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540738169
Format: Paperback (185 pages) Publisher: Springer Published: 27 Jul 2007
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540753339
Format: Paperback (339 pages) Publisher: Springer Published: 22 Nov 2007
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Computer Science and General Issues)
ISBN 13: 9783540787686
Format: Paperback (219 pages) Publisher: Springer Published: 18 Mar 2008
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540697350
Format: Paperback (395 pages) Publisher: Springer Published: 03 Jan 2007
Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642031373
Format: Paperback (342 pages) Publisher: Springer Published: 13 Jul 2009 Other Format: Paperback
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010
Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 2008
Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642004360
Format: Paperback (311 pages) Publisher: Springer Published: 26 Mar 2009