Arama Sonuçları Wehrheim, Heike.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dWehrheim$00252C$002bHeike.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-01-05T12:47:26Z
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189626
2026-01-05T12:47:26Z
2026-01-05T12:47:26Z
Yazar Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-01-05T12:47:26Z
2026-01-05T12:47:26Z
Yazar Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2026-01-05T12:47:26Z
2026-01-05T12:47:26Z
Yazar Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>