Search Results for Invariants. - Narrowed by: 2015
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInvariants.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026te$003dILS$0026ps$003d300?
2024-07-25T08:22:40Z
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-07-25T08:22:40Z
2024-07-25T08:22:40Z
Author Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519222.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-07-25T08:22:40Z
2024-07-25T08:22:40Z
Author Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519244.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-07-25T08:22:40Z
2024-07-25T08:22:40Z
Author Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519259.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Shape Reconstruction from Apparent Contours Theory and Algorithms
ent://SD_ILS/0/SD_ILS:518434
2024-07-25T08:22:40Z
2024-07-25T08:22:40Z
Author Bellettini, Giovanni. author. Beorchia, Valentina. author. Paolini, Maurizio. author. Pasquarelli, Franco. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518434.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
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-07-25T08:22:40Z
2024-07-25T08:22:40Z
Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519007.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-07-25T08:22:40Z
2024-07-25T08:22:40Z
Author Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519013.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-07-25T08:22:40Z
2024-07-25T08:22:40Z
Author Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519104.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>