Limit Search Results
Author
SpringerLink (Online service)
(592)
Du, Ding-Zhu. editor.
(9)
Rießinger, Thomas. author.
(8)
Wiley InterScience (Online service)
(7)
Apduhan, Bernady O. editor.
(6)
Language
Publication Date
-
Subject
Computer science.
(186)
Artificial intelligence.
(150)
Computer software.
(143)
Computational complexity.
(116)
Mathematics.
(102)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
687 Results Found Subscribe to search results
000000000000DEFAULT
Print
229. 
Cover image for Advances in Cryptology – EUROCRYPT 2014 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014, Proceedings
Advances in Cryptology – EUROCRYPT 2014 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014, Proceedings
Author 
Nguyen, Phong Q. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55220-5
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Author 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44522-8
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Evolutionary and Biologically Inspired Music, Sound, Art and Design Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
Author 
Romero, Juan. editor. McDermott, James. editor. Correia, João. editor. (orcid)0000-0001-5562-1996 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Author 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Approximation and Online Algorithms 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
Approximation and Online Algorithms 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
Author 
Kaklamanis, Christos. editor. Pruhs, Kirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08001-7
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014, Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014, Proceedings
Author 
Bayro-Corrochano, Eduardo. editor. Hancock, Edwin. editor. (orcid)0000-0003-4496-2028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12568-8
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Author 
Holzer, Markus. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08846-4
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author 
Klein, Gerwin. editor. Gamboa, Ruben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08970-6
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
Author 
Hodicky, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13823-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings
Experimental Algorithms 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings
Author 
Gudmundsson, Joachim. editor. Katajainen, Jyrki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07959-2
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings
Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings
Author 
Cheng, Shin-Ming. editor. Day, Min-Yuh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13987-6
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Author 
Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action