Limit Search Results
Author
SpringerLink (Online service)
(163)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Language
Publication Date
-
Subject
Model theory.
(19)
Computational intelligence.
(18)
Computer science.
(16)
Artificial intelligence.
(13)
Control engineering.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
278 Results Found Subscribe to search results
000000000000DEFAULT
Print
181. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Author 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Author 
Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45824-2
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2217-0
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Mathematical Progress in Expressive Image Synthesis II Extended and Selected Results from the Symposium MEIS2014
Mathematical Progress in Expressive Image Synthesis II Extended and Selected Results from the Symposium MEIS2014
Author 
Ochiai, Hiroyuki. editor. Anjyo, Ken. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-55483-7
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Transmitting and Gaining Data Rudolf Ahlswede's Lectures on Information Theory 2
Transmitting and Gaining Data Rudolf Ahlswede's Lectures on Information Theory 2
Author 
Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12523-7
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Coordination Control of Distributed Systems
Coordination Control of Distributed Systems
Author 
van Schuppen, Jan H. editor. Villa, Tiziano. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10407-2
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Design Computing and Cognition '14
Design Computing and Cognition '14
Author 
Gero, John S. editor. Hanna, Sean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14956-1
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014
Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014
Author 
Natarajan, R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-1931-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action