Limit Search Results
Author
SpringerLink (Online service)
(3724)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Computer science.
(2980)
Computer Communication Networks.
(1161)
Artificial intelligence.
(977)
Information systems.
(822)
Logic design.
(742)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3826 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
Author 
Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
Author 
Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68397-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software-Defined Cloud Centers Operational and Management Technologies and Tools
Software-Defined Cloud Centers Operational and Management Technologies and Tools
Author 
Raj, Pethuru. author. Raman, Anupama. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings
Author 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00533-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
Author 
Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91563-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Author 
Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91581-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Emerging Technologies in Computing First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings
Emerging Technologies in Computing First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings
Author 
Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Excell, Peter. editor. Ware, Andrew. editor. (orcid)0000-0002-9354-5039 Soomro, Safeeullah. editor. (orcid)0000-0001-5571-1262 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95450-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I
Author 
Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97586-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I
Author 
Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02922-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03427-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings
Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings
Author 
Kameas, Achilles. editor. (orcid)0000-0002-1004-7860 Stathis, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03062-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action