Limit Search Results
Author
SpringerLink (Online service)
(918)
Liu, Honghai. editor.
(9)
Liu, Lianqing. editor. (orcid)
(9)
Ouyang, Xiaoping. editor.
(9)
Torre, Carmelo M. editor.
(9)
Language
Publication Date
-
Subject
Computer science.
(221)
Computer software.
(221)
Artificial intelligence.
(217)
Algorithm Analysis and Problem Complexity.
(213)
Computational intelligence.
(186)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1090 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42033-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II
Author 
Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335160.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings
Multi-disciplinary Trends in Artificial Intelligence 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings
Author 
Ramanna, Sheela. editor. Lingras, Pawan. editor. Sombattheera, Chattrakul. editor. Krishna, Aneesh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335172.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Author 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335176.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45008-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Author 
Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336496.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Limits of computation : an introduction to the undecidable and the intractable
Limits of computation : an introduction to the undecidable and the intractable
Author 
Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.
Preferred Shelf Number 
QA267.7 .R445 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Perceptual digital imaging : methods and applications
Perceptual digital imaging : methods and applications
Author 
Lukac, Rastislav.
Preferred Shelf Number 
TA1637 .P47 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced risk analysis in engineering enterprise systems
Advanced risk analysis in engineering enterprise systems
Author 
Pinto, Cesar Ariel., author. Garvey, Paul R., 1956-
Preferred Shelf Number 
TA169 .P56 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Isosurfaces : geometry, topology, and algorithms
Isosurfaces : geometry, topology, and algorithms
Author 
Wenger, Rephael., author.
Preferred Shelf Number 
QA573 .W46 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Underwater acoustic modeling and simulation
Underwater acoustic modeling and simulation
Author 
Etter, Paul C., author.
Preferred Shelf Number 
QC242.2 .E88 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in missile guidance, control, and estimation
Advances in missile guidance, control, and estimation
Author 
Balakrishnan, S. N. Tsourdos, A. White, B. A.
Preferred Shelf Number 
UG1310 .A38 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action