Search Results for Wehrheim, Heike. - Narrowed by: Online Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWehrheim$00252C$002bHeike.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300?
2024-10-30T03:40:08Z
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189626
2024-10-30T03:40:08Z
2024-10-30T03:40:08Z
Author Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00255-7">http://dx.doi.org/10.1007/978-3-642-00255-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184185
2024-10-30T03:40:08Z
2024-10-30T03:40:08Z
Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518815
2024-10-30T03:40:08Z
2024-10-30T03:40:08Z
Author Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518815.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23506-6">https://doi.org/10.1007/978-3-319-23506-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>