Limit Search Results
Author
SpringerLink (Online service)
(148)
Apduhan, Bernady O. editor.
(5)
Gavrilova, Marina L. editor.
(5)
Gelbukh, Alexander. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Language
English
(148)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
148 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II
Advances in Computational Intelligence 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II
Author 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519132.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19222-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519136.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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 
XX(519137.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Author 
Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519138.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-14806-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519139.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
Combinatorial Optimization and Applications 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
Author 
Lu, Zaixin. editor. Kim, Donghyun. editor. Wu, Weili. editor. Li, Wei. editor. (orcid) Du, Ding-Zhu. editor. (orcid)
Preferred Shelf Number 
XX(519143.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26626-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings
WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings
Author 
Rahman, M. Sohel. editor. Tomita, Etsuji. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519097.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15612-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Author 
Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519103.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48899-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers
Author 
Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519105.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17248-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
Author 
Bansal, Nikhil. editor. Finocchi, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519110.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48350-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets