Limit Search Results
Author
SpringerLink (Online service)
(28)
Di Fatta, Giuseppe. editor.
(2)
Giuffrida, Giovanni. editor.
(2)
La Malfa, Emanuele. editor.
(2)
La Malfa, Gabriele. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(5)
Search theory.
(4)
Mathematics.
(3)
Artificial intelligence.
(2)
Computational complexity.
(2)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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 
XX(519168.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Multimedia Data Mining and Analytics Disruptive Innovation
Multimedia Data Mining and Analytics Disruptive Innovation
Author 
Baughman, Aaron K. editor. Gao, Jiang. editor. Pan, Jia-Yu. editor. Petrushin, Valery A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518621.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14998-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Author 
Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518787.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16354-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Author 
Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518954.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15931-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings
Author 
Collins, Tom. editor. Meredith, David. editor. Volk, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518983.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20603-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings
Author 
Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519087.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23540-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for LHC physics
LHC physics
Author 
Binoth, T.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mathematical and algorithmic foundations of the Internet
Mathematical and algorithmic foundations of the Internet
Author 
Luccio, Fabrizio, 1938- Pagli, Linda. Steel, Graham, 1977-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Discrete-event modeling and simulation theory and applications
Discrete-event modeling and simulation theory and applications
Author 
Wainer, Gabriel A. Mosterman, Pieter J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Algorithms and theory of computation handbook. Special topics and techniques
Algorithms and theory of computation handbook. Special topics and techniques
Author 
Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for GIS and evidence-based policy making
GIS and evidence-based policy making
Author 
Wise, Stephen. Craglia, Massimo.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action