Limit Search Results
Author
Peters, Keith. author.
(3)
Zhang, Yu-Jin. editor.
(3)
De Paolis, Lucio Tommaso. editor.
(2)
Klette, Reinhard. editor.
(2)
Paries, Jeff. author.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
46 Results Found Subscribe to search results
0000000000DEFAULT
Print
37. 
Cover image for Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518798.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Discovery Science 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings
Discovery Science 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings
Author 
Japkowicz, Nathalie. editor. Matwin, Stan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518881.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24282-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II
Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II
Author 
Zhang, Yu-Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518934.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21963-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part I
Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part I
Author 
Zhang, Yu-Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518948.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21978-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers
Author 
Roubtsova, Ella. editor. McNeile, Ashley. editor. Kindler, Ekkart. editor. Gerth, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519002.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21912-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519154.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings
Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings
Author 
De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519164.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22888-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Author 
Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519104.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21215-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III
Image and Graphics 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III
Author 
Zhang, Yu-Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518839.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21969-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519031.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action