|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Adapting Proofs-As-Programs: The Curry--Howard Protocol (Monographs in Computer Science) | Poernomo, Iman | Paperback | 1441920145 /
9781441920140 | 11/2010 | $161.49 |
|  | Adapting Proofs-As-Programs: The Curry--Howard Protocol 2005 Edition (Monographs in Computer Science) | Poernomo, Iman | Hardcover | 0387237593 /
9780387237596 | 06/2005 | $161.49 |
|  | Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germany, July 1996. Proceedings 1996 Edition (Lecture Notes in Computer Science) | Wirsing, Martin | Paperback | 354061463X /
9783540614630 | 06/1996 | $104.49 |
|  | Algebraic Methods: Theory, Tools and Applications 1989 Edition (Lecture Notes in Computer Science) | Wirsing, Martin | Paperback | 3540516980 /
9783540516989 | 09/1989 | $104.49 |
|  | Elementare Aussagenlogik (Mathematik Für Informatiker) (German) | Bauer, Friedrich L. | Paperback | 3540529748 /
9783540529743 | 03/1991 | $56.99 |
|  | Fundamental Approaches to Software Engineering: 12th International Conference, Fase 2009, Held as Part of the Joint European Conferences on Theory and 2009 Edition (Lecture Notes in Computer Science) | Chechik, Marsha | Paperback | 3642005926 /
9783642005923 | 03/2009 | $52.24 |
|  | Java Kompakt: Eine Einführung in Die Software-Entwicklung Mit Java 2013 Edition (eXamen.Press) (German) | Hölzl, Matthias | Paperback | 3642285031 /
9783642285035 | 03/2013 | $47.49 |
|  | Knowledge Science, Engineering and Management: 8th International Conference, Ksem 2015, Chongqing, China, October 28-30, 2015, Proceedings 2015 Edition | Zhang, Songmao | Paperback | 3319251589 /
9783319251585 | 10/2015 | $52.24 |
|  | Methods of Programming 1991 Edition (Lecture Notes in Computer Science) | Broy, Manfred | Paperback | 354054576X /
9783540545767 | 10/1991 | $52.24 |
|  | Programming Language Implementation and Logic Programming: 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991. Proceedings 1991 Edition (Lecture Notes in Computer Science) | Maluszynski, Jan | Paperback | 3540544445 /
9783540544449 | 08/1991 | $52.24 |
|  | Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings 1992 Edition (Lecture Notes in Computer Science) | Bruynooghe, Maurice | Paperback | 3540558446 /
9783540558446 | 08/1992 | $52.24 |
|  | Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Rev 2004 Edition (Lecture Notes in Computer Science) | Wirsing, Martin | Paperback | 3540211799 /
9783540211792 | 03/2004 | $52.24 |
|  | Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel 2003 Edition (Lecture Notes in Computer Science) | Wirsing, Martin | Paperback | 3540205373 /
9783540205371 | 11/2003 | $52.24 |
|  | Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (Lecture Notes in Computer Science: State-Of-The-Art Survey) | Wirsing, Martin | Paperback | 3642204007 /
9783642204005 | 05/2011 | $104.49 |
|  | Software Engineering for Collective Autonomic Systems: The Ascens Approach 2015 Edition (Lecture Notes in Computer Science / Programming and Software) | Wirsing, Martin | Paperback | 3319163094 /
9783319163093 | 03/2015 | $52.24 |
|  | Software-Intensive Systems and New Computing Paradigms: Challenges and Visions 2008 Edition (Lecture Notes in Computer Science) | Wirsing, Martin | Paperback | 3540894365 /
9783540894360 | 11/2008 | $52.24 |
|  | Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Frg, February 19-21, 1987 1987 Edition (Lecture Notes in Computer Science) | Brandenburg, Franz J. | Paperback | 354017219X /
9783540172192 | 02/1987 | $66.49 |
|  | Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings 1988 Edition (Lecture Notes in Computer Science) | Cori, Robert | Paperback | 3540188347 /
9783540188346 | 01/1988 | $52.24 |
|  | Theoretical Aspects of Computing - Ictac 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Hung, Dang Van | Paperback | 3540291075 /
9783540291077 | 10/2005 | $104.49 |
|  | Trustworthy Global Computing: 5th International Symposium, Tgc 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in Computer Science) | Wirsing, Martin | Paperback | 3642156398 /
9783642156397 | 09/2010 | $52.24 |
|  | Web Engineering: 4th International Conference, Icwe 2004, Munich, Germany, July 26-30, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science) | Koch, Nora | Paperback | 3540225110 /
9783540225119 | 07/2004 | $104.49 |
|
|
|