Limit Search Results
Author
SpringerLink (Online service)
(587)
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
(593)
Publication Date
-
2019
(150)
2015
(148)
2014
(146)
2018
(144)
2010
(2)
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
593 Results Found Subscribe to search results
000000000000DEFAULT
Print
421. 
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:
422. 
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:
423. 
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:
424. 
Cover image for Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Author 
Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519145.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15976-8
Format: 
Availability 
Online Library~1
Available:
Copies:
425. 
Cover image for Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
XX(519255.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18914-7
Format: 
Availability 
Online Library~1
Available:
Copies:
426. 
Cover image for Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Author 
Durand-Lose, Jerome. editor. Nagy, Benedek. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519156.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23111-2
Format: 
Availability 
Online Library~1
Available:
Copies:
427. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
428. 
Cover image for Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Author 
Brodman, James. editor. Tu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519163.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17473-0
Format: 
Availability 
Online Library~1
Available:
Copies:
429. 
Cover image for Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
Author 
Thai, My T. editor. Nguyen, Nam P. editor. Shen, Huawei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519166.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21786-4
Format: 
Availability 
Online Library~1
Available:
Copies:
430. 
Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III
Author 
Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519169.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
431. 
Cover image for Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings
Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings
Author 
Lones, Michael. editor. Tyrrell, Andy. editor. Smith, Stephen. editor. Fogel, Gary. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519178.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23108-2
Format: 
Availability 
Online Library~1
Available:
Copies:
432. 
Cover image for Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Author 
Jan, Kratochvíl. editor. Miller, Mirka. editor. Froncek, Dalibor. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519181.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19315-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action