Search Results for Wirsing, Martin.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWirsing$00252C$002bMartin.$0026ps$003d300?dt=list2024-11-28T04:56:05ZSoftware, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineeringent://SD_ILS/0/SD_ILS:5192482024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519248.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15545-6">https://doi.org/10.1007/978-3-319-15545-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Collective Autonomic Systems The ASCENS Approachent://SD_ILS/0/SD_ILS:5187842024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518784.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16310-9">https://doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computingent://SD_ILS/0/SD_ILS:1943582024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20401-2">http://dx.doi.org/10.1007/978-3-642-20401-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1930362024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Wirsing, Martin. editor. Hofmann, Martin. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15640-3">http://dx.doi.org/10.1007/978-3-642-15640-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software-Intensive Systems and New Computing Paradigms Challenges and Visionsent://SD_ILS/0/SD_ILS:1892672024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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. Proceedingsent://SD_ILS/0/SD_ILS:1897402024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00593-0">http://dx.doi.org/10.1007/978-3-642-00593-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831362024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Hung, Dang. editor. Wirsing, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4831652024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Calise, Mauro. editor. Delgado Kloos, Carlos. editor. Reich, Justin. editor. Ruiperez-Valiente, Jose A. editor. Wirsing, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19875-6">https://doi.org/10.1007/978-3-030-19875-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192312024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Zhang, Songmao. editor. (orcid) Wirsing, Martin. editor. Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519231.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25159-2">https://doi.org/10.1007/978-3-319-25159-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Java kompakt Eine Einführung in die Software-Entwicklung mit Javaent://SD_ILS/0/SD_ILS:3369342024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28504-2">http://dx.doi.org/10.1007/978-3-642-28504-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Adapting Proofs-as-Programs The Curry-Howard Protocolent://SD_ILS/0/SD_ILS:1654862024-11-28T04:56:05Z2024-11-28T04:56:05ZAuthor Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>