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
529. 
Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Author 
Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
530. 
Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Author 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Availability 
Online Library~1
Available:
Copies:
531. 
Cover image for Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Garnier, Simon. editor. Hamann, Heiko. editor. Montes de Oca, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09952-1
Format: 
Availability 
Online Library~1
Available:
Copies:
532. 
Cover image for Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10515-4
Format: 
Availability 
Online Library~1
Available:
Copies:
533. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
Author 
Felber, Pascal. editor. Garg, Vijay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
534. 
Cover image for Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings
Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings
Author 
Zeng, Zhigang. editor. Li, Yangmin. editor. King, Irwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12436-0
Format: 
Availability 
Online Library~1
Available:
Copies:
535. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
536. 
Cover image for Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
Algorithms and Computation 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings
Author 
Ahn, Hee-Kap. editor. Shin, Chan-Su. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13075-0
Format: 
Availability 
Online Library~1
Available:
Copies:
537. 
Cover image for Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III
Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III
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-12643-2
Format: 
Availability 
Online Library~1
Available:
Copies:
538. 
Cover image for Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
Author 
Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14325-5
Format: 
Availability 
Online Library~1
Available:
Copies:
539. 
Cover image for Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI
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-09153-2
Format: 
Availability 
Online Library~1
Available:
Copies:
540. 
Cover image for Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings
Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings
Author 
Blesa, Maria J. editor. (orcid)0000-0001-8246-9926 Blum, Christian. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07644-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action