Search Results for Hofmann, Martin.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHofmann$00252C$002bMartin.$0026te$003dILS$0026ps$003d300?2024-10-27T04:03:39ZAutomatentheorie und Logikent://SD_ILS/0/SD_ILS:1938022024-10-27T04:03:39Z2024-10-27T04:03:39ZAuthor Hofmann, Martin. author. Lange, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18090-3">http://dx.doi.org/10.1007/978-3-642-18090-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941622024-10-27T04:03:39Z2024-10-27T04:03:39ZAuthor Hofmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-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-10-27T04:03:39Z2024-10-27T04:03:39ZAuthor 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/>