Search Results for Wirsing, Martin.

1.

Cover image for Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Author

De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519248.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15545-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Software Engineering for Collective Autonomic Systems The ASCENS Approach

Author

Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518784.1)

Electronic Access

https://doi.org/10.1007/978-3-319-16310-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Author

Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20401-2

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Author

Wirsing, Martin. editor. Hofmann, Martin. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15640-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

Author

Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89437-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for 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

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

Author

Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00593-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Author

Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11560647

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

Calise, Mauro. editor. Delgado Kloos, Carlos. editor. Reich, Justin. editor. Ruiperez-Valiente, Jose A. editor. Wirsing, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19875-6

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

Author

Zhang, Songmao. editor. (orcid) Wirsing, Martin. editor. Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519231.1)

Electronic Access

https://doi.org/10.1007/978-3-319-25159-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Java kompakt Eine Einführung in die Software-Entwicklung mit Java

Author

Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336934.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28504-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Adapting Proofs-as-Programs The Curry-Howard Protocol

Author

Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28183-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}