Limit Search Results
Author
SpringerLink (Online service)
(145)
Apduhan, Bernady O. editor.
(6)
Falcão, Maria Irene. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Language
English
(151)
Subject
Algorithms.
(84)
Computer science—Mathematics.
(55)
Computers.
(44)
Software engineering.
(42)
Artificial intelligence.
(40)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
151 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Combinatorial Optimization Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers
Combinatorial Optimization Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers
Author 
Fouilhoux, Pierre. editor. Gouveia, Luis Eduardo Neves. editor. Mahjoub, A. Ridha. editor. Paschos, Vangelis T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09174-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
Author 
van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06880-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Author 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Author 
Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43722-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Author 
Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Author 
Shur, Arseny M. editor. Volkov, Mikhail V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09698-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II
Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II
Author 
Loo, Chu Kiong. editor. Keem Siah, Yap. editor. Wong, Kok Wai. editor. Beng Jin, Andrew Teoh. editor. Huang, Kaizhu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12640-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Author 
Pardo, Alberto. editor. Viola, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54423-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
Author 
an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54420-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I
Author 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09144-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action