Search Results for Hofmann, Martin. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHofmann$00252C$002bMartin.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026te$003dILS$0026ps$003d300?2024-10-27T06:33:56ZAutomatentheorie und Logikent://SD_ILS/0/SD_ILS:1938022024-10-27T06:33:56Z2024-10-27T06:33:56ZAuthor 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-27T06:33:56Z2024-10-27T06:33:56ZAuthor 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-27T06:33:56Z2024-10-27T06:33:56ZAuthor 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/>