IST Austria Library

Your search returned 18 results.

Not what you expected? Check for suggestions
1.
Web engineering : 4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 : proceedings / Nora Koch, Piero Fraternali, Martin Wirsing (eds.).

by ICWE (Conference) (4th : 2004 : Munich, Germany) | Koch, Nora, 1951- | Fraternali, Piero | Wirsing, M. (Martin) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: ICWE 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker.

by WADT 2002 (2002 : Frauenchiemsee, Germany) | Wirsing, M. (Martin) | Pattinson, Dirk, 1970- | Hennicker, Rolf, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Theoretical aspects of computing -- ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings / Dang Van Hung, Martin Wirsing (eds.).

by ICTAC (Colloquium) (2nd : 2005 : Hanoi, Vietnam) | Dang, Hung Van, 1950- | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: ICTAC 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Software-intensive systems and new computing paradigms : challenges and visions / Martin Wirsing [and others] (eds.).

by Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).

by Broy, M, 1949- | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).

by PLILP '92 (1992 : Louvain, Belgium) | Bruynooghe, M. (Maurice) | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Other title: PLILP '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings / edited by F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing.

by Annual Symposium on Theoretical Aspects of Computer Science (4th : 1987 : Passau, Germany) | Brandenburg, F. J. (Franz J.) | Vidal-Naquet, G | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1987Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
8.
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 / Marsha Chechik, Martin Wirsing (eds.).

by FASE (Conference) (12th : 2009 : York, England) | Chechik, Marsha | Wirsing, M. (Martin) | ETAPS (Conference) (12th : 2009 : York, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer, ©2009Other title: FASE 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
9.
Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds.

by Wirsing, M. (Martin) | Bergstra, J. A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
Trustworthly [ie: Trustworthy] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.).

by TGC 2010 (2010 : Munich, Germany) | Wirsing, M. (Martin) | Hofmann, Martin | Rauschmayer, Axel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
11.
Rigorous software engineering for service-oriented systems : results of the SENSORIA Project on software engineering for service-oriented computing / Martin Wirsing, Matthias Hölzl (eds.).

by Wirsing, M. (Martin) | Hölzl, Matthias.

Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France) | Cori, Robert | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
13.
Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, Germany) | Wirsing, M. (Martin) | Nivat, M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
14.
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering / Rocco de Nicola, Rolf Hennicker (eds.).

by De Nicola, Rocco [editor.] | Hennicker, Rolf, 1952- [editor.] | Wirsing, M. (Martin) [honouree.].

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
15.
Software engineering for collective autonomic systems : the ASCENS Approach / Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.).

by Wirsing, M. (Martin) [editor.] | Hölzl, Matthias [editor.] | Koch, Nora, 1951- [editor.] | Mayer, Philip [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing, eds.

by PLILP '91 (1991 : Passau, Germany) | Małuszyński, J. (Jan), 1941- | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
17.
Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / edited by Songmao Zhang, Martin Wirsing, Zili Zhang.

by KSEM (Conference) (8th : 2015 : Chongqing, China) | Zhang, Songmao [editor.] | Wirsing, M. (Martin) [editor.] | Zhang, Zili [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: KSEM 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
18.
Digital education : at the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019 : proceedings / Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing (eds.).

by European MOOCs Stakeholders Summit (6th : 2019 : Naples, Italy) | Calise, Mauro [editor.] | Delgado Kloos, Carlos [editor.] | Reich, Justin, 1977- [editor.] | Ruiperez-Valiente, Jose A [editor.] | Wirsing, M. (Martin) [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2019]Other title: EMOOCs 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha