Bibliografie

Ergebnisse für "wirsing, martin"

Ähnliche Suchbegriffe: feiersinger, martin, gruning, martin

1 - 10 von 20
Zur Detailsuche

Ergebnisse

Adapting Proofs-as-Programs
eBook - The Curry--Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Wirsing, Martin/Crossley, John N
SPRINGER
Erschienen am 27.04.2007
Format: PDF
€ 173,95
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Rigorous Software Engineering for Service-Oriented Systems
Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Lecture Notes in Computer Science 6582 - Programming and Software Engineering
Martin Wirsing/Matthias Hölzl
Springer Verlag GmbH
Erschienen am 09.05.2011
€ 106,99
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Programming Language Implementation and Logic Programming
3rd International Symposium, PLILP '91, Passau, Germany, August 26-28,1991.Proceedings, Lecture Notes in Computer Science 528
Jan Maluszynski/Martin Wirsing
Springer Verlag GmbH
Erschienen am 14.08.1991
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Programming Language Implementation and Logic Programming
4th International Symposium, PLILP 92, Leuven, Belgium, August 26-28,1992 Proceedings, Lecture Notes in Computer Science 631
Maurice Bruynooghe/Martin Wirsing
Springer Verlag GmbH
Erschienen am 12.08.1992
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
STACS 87
4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21,1987, Lecture Notes in Computer Science 247
Franz J Brandenburg/Guy Vidal-Naquet/Martin Wirsing
Springer Verlag GmbH
Erschienen am 11.02.1987
€ 50,28
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996.Proceedings, Lecture Notes in Computer Science 1101
Martin Wirsing/Maurice Nivat
Springer Verlag GmbH
Erschienen am 19.06.1996
€ 106,99
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Web Engineering
4th International Conference, ICWE 2004, Munich, Germany, July 26-30,2004, Proceedings, Lecture Notes in Computer Science 3140
Nora Koch/Piero Fraternali/Martin Wirsing
Springer Verlag GmbH
Erschienen am 14.07.2004
€ 106,99
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Radical Innovations of Software and Systems Engineering in the Future
9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11,2002, Revised Papers, Lecture Notes in Computer Science 2941
Martin Wirsing/Alexander Knapp/Simonetta Balsamo
Springer Verlag GmbH
Erschienen am 18.03.2004
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Adapting Proofs-as-Programs
The Curry-Howard Protocol, Monographs in Computer Science
Poernomo, Iman/Crossley, John N/Wirsing, Martin
Springer Verlag GmbH
Erschienen am 19.11.2010
€ 160,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Software-Intensive Systems and New Computing Paradigms
Challenges and Visions, Lecture Notes in Computer Science 5380 - Programming and Software Engineering
Martin Wirsing/Jean-Pierre Banatre/Matthias Hölzl et al
Springer Verlag GmbH
Erschienen am 06.11.2008
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen