Limit Search Results
Author
SpringerLink (Online service)
(588)
Apduhan, Bernady O. editor.
(22)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(17)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(17)
Language
English
(595)
Publication Date
-
Subject
Artificial intelligence.
(210)
Software engineering.
(163)
Algorithms.
(146)
Computer science—Mathematics.
(102)
Computer science.
(99)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
595 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Author 
Plaat, Aske. editor. van den Herik, Jaap. editor. Kosters, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27992-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
Author 
Gleich, David F. editor. Komjáthy, Júlia. editor. Litvak, Nelly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Author 
Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Mora, Antonio M. editor. Squillero, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16549-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
Author 
Sanità, Laura. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28684-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Author 
Drewes, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22360-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Author 
Martí-Oliet, Narciso. editor. Ölveczky, Peter Csaba. editor. Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23165-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
Author 
Zaroliagis, Christos. editor. Pantziou, Grammati. editor. Kontogiannis, Spyros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24024-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Author 
Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25393-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27119-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
Author 
Xu, Dachuan. editor. Du, Donglei. editor. Du, Dingzhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21398-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action