Arama Sonuçları Invariants. - Daraltılmış: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dInvariants.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026ps$003d300?
2024-11-11T16:53:58Z
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519007
2024-11-11T16:53:58Z
2024-11-11T16:53:58Z
Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519007.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part IV
ent://SD_ILS/0/SD_ILS:519013
2024-11-11T16:53:58Z
2024-11-11T16:53:58Z
Yazar Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519013.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16817-3">https://doi.org/10.1007/978-3-319-16817-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519222
2024-11-11T16:53:58Z
2024-11-11T16:53:58Z
Yazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519222.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47672-7">https://doi.org/10.1007/978-3-662-47672-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Shape Reconstruction from Apparent Contours Theory and Algorithms
ent://SD_ILS/0/SD_ILS:518434
2024-11-11T16:53:58Z
2024-11-11T16:53:58Z
Yazar Bellettini, Giovanni. author. Beorchia, Valentina. author. Paolini, Maurizio. author. Pasquarelli, Franco. author. SpringerLink (Online service)<br/>Yer Numarası XX(518434.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45191-5">https://doi.org/10.1007/978-3-662-45191-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519244
2024-11-11T16:53:58Z
2024-11-11T16:53:58Z
Yazar Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519244.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23117-4">https://doi.org/10.1007/978-3-319-23117-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519104
2024-11-11T16:53:58Z
2024-11-11T16:53:58Z
Yazar Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519104.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21215-9">https://doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519259
2024-11-11T16:53:58Z
2024-11-11T16:53:58Z
Yazar Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21145-9">https://doi.org/10.1007/978-3-319-21145-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>