Skip to contents

Wirsing, Martin [Editor]

Software-intensive systems and new computing paradigms : challenges and visions

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5380
Wirsing, Martin [Editor] ; RISSEF 9 2002 Venedig

Radical innovations of software and systems engineering in the future : 9th international workshop, RISSEF 2002, Venice, Italy, October 7 - 11. 2002 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2941
Wirsing, Martin [Editor] ; AMAST 5 1996 München

Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1 - 5, 1996 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1101
Wirsing, Martin [Other]

Algebraic methods / [1]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1989

Published in: Algebraic methods ; 1 - Lecture notes in computer science ; 394
Luther, Martin [Author] ; Wirsing, Adam [Editor]

D. Mart. Luther von den Schlüsseln : mit D. Luthers Bildniß

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt; Leipzig, 1795
Wirsing, Martin [Editor]; Hölzl, Matthias [Other]

Rigorous software engineering for service-oriented systems : results of the SENSORIA project on software engineering for service-oriented computing

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6582
Chechik, Marsha [Editor]; Wirsing, Martin [Other] ; FASE 12 2009 York, ETAPS 12 2009 York

Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5503
Broy, Manfred [Editor]; Wirsing, Martin [Editor]

Methods of programming : selected papers on the CIP-project

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: Lecture notes in computer science ; 544
Hung, Dang Van [Editor]; Wirsing, Martin [Other] ; ICTAC 2 2005 Hanoi

Theoretical aspects of computing - ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17 - 21, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3722
Bauer, Friedrich L. [Author]; Wirsing, Martin [Author]

Elementare Aussagenlogik : mit 6 Tabellen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: Mathematik für Informatiker
Wirsing, Martin [Editor]; Hofmann, Martin [Other]; Rauschmayer, Axel [Other] ; TGC 5 2010 München

Trustworthly global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6084
Wirsing, Martin [Editor]; Pattinson, Dirk [Editor]; Hennicker, Rolf [Editor] ; WADT 16 2002 Chiemsee-Frauenchiemsee

Recent trends in algebraic development techniques : 16th international workshop, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2755
Hölzl, Matthias M. [Author]; Raed, Allaithy [Author]; Wirsing, Martin [Author]

Java kompakt : eine Einführung in die Software-Entwicklung mit Java

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2013

Published in: eXamen.press
Poernomo, Iman Hafiz [Author]; Crossley, John N. [Author]; Wirsing, Martin [Author] ; Crossley, John Newsome [Other]

Adapting proofs-as-programs : the Curry-Howard protocol

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY; [Heidelberg]: Springer, 2005

Published in: Monographs in computer science
Baumgarten, Paul [Illustrator]; Baumgarten, Paul [Other]; Wirsing, Werner [Other]; Lux, Elisabeth [Other]; Wiedemann, Martin [Other]; Kühne, Günther [Other]; Meyer-Maril, Edina [Other]; Moldenschardt, Heiner [Other]; Bannwart, Edouard [Other]; Wilkens, Michael [Other]; Hoffmann-Axthelm, Dieter [Other]; Brenner, Klaus Theo [Other] ; Akademie der Künste Berlin, West Abteilung Baukunst, Ausstellung Paul Baumgarten, Bauten und Projekte 1924 - 1981 1988 Berlin, West

Paul Baumgarten : Bauten u. Projekte 1924 - 1981; [Publ. d. Abt. Baukunst d. Akad. d. Künste, Berlin, anlässl. d. Ausstellung "Paul Baumgarten, Bauten u. Projekte 1924 - 1981" vom 12. Juni - 31. Juli 1988]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, 1988

Published in: Akademie der Künste: Schriftenreihe der Akademie der Künste ; 19
Wirsung, Christoph [Author] ; Theodorus, Jacobus [Editor]

Ein neuwes Artzney Buch : Darinn fast alle eusserliche vnd innerliche Glieder deß Menschlichen Leibs, sampt jren Kranckheiten vnd Gebrechen, von dem Haupt an biß zu den Füssen, ordenlich beschriben ... - [Folgends aber ... fleissig vbersehen ... vnd auff ein neuwes in Druck vbergeben]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heydelberg: Harnisch, 1577 [erschienen] 1578

Published in: Bibliotheca Palatina ; c,566,1
Wirsung, Christoph [Author] ; Theodorus, Jacobus [Editor]

Ein neuwes Artzney Buch : Darinn fast alle eusserliche vnd innerliche Glieder deß Menschlichen Leibs, sampt jren Kranckheiten vnd Gebrechen, von dem Haupt an biß zu den Füssen, ordenlich beschriben ... - [Folgends aber ... fleissig vbersehen ... vnd auff ein neuwes in Druck vbergeben]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heydelberg: Harnisch, 1577 [erschienen] 1578

Published in: Bibliotheca Palatina ; c,1035,1
Wirsung, Christoph [Author] ; Theodorus, Jacobus [Editor]

Ein neuwes Artzney Buch : Darinn fast alle eusserliche vnd innerliche Glieder deß Menschlichen Leibs, sampt jren Kranckheiten vnd Gebrechen, von dem Haupt an biß zu den Füssen, ordenlich beschriben ... - [Folgends aber ... fleissig vbersehen ... vnd auff ein neuwes in Druck vbergeben]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heydelberg: Harnisch, 1577 [erschienen] 1578

Published in: Bibliotheca Palatina ; c,3984,1
Wirsung, Christoph [Author] ; Theodorus, Jacobus [Editor]

Ein new Artzney Buch : Darinn fast alle eusserliche vnnd innerliche Glieder deß menschlichen Leibs, sampt jhren Kranckheiten vnd Gebrechen, von dem Haupt an biß zu den Füssen, vnd wie man dieselbigen durch Gottes hülff, vnd seine darzu geschaffene Mittel, auff mancherley weiß weden vnd curieren soll - [Folgends aber ... fleissig vbersehen ... vnd auff ein newes ... in Druck vbergeben]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.], 1588

Published in: Bibliotheca Palatina ; c,616,1
Wirsung, Christoph [Author] ; Theodorus, Jacobus [Adapter]

Ein new Artzney Buch : Darinn fast alle eusserliche vvnd innerliche Glieder deß menschlichen Leibs, sampt jhren Kranckheiten vnd Gebrechen, von dem Haupt an biß zu den Füssen, vnd wie man dieselbigen durch Gottes hülff, vnd seine darzu geschaffene Mittel, auff mancherley weiß wenden vnd curieren soll - [Folgends aber ... fleissig vbersehen, mit zweyen nützlichen Registern gezieret, vnd auff ein newes mit einem leßlicheren Buchstaben in Druck vbergeben]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.], 1582

Published in: Bibliotheca Palatina ; c,2460,1

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication