Limit Search Results
Author
SpringerLink (Online service)
(87)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Language
Publication Date
-
2019
(53)
2014
(34)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
87 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Author 
Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Mobile, Secure, and Programmable Networking 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers
Mobile, Secure, and Programmable Networking 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers
Author 
Renault, Éric. editor. Boumerdassi, Selma. editor. Bouzefrane, Samia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03101-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers
Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers
Author 
Tang, Yong. editor. Zu, Qiaohong. editor. Rodríguez García, José G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15127-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Author 
Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13651-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Author 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31514-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Author 
Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22559-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Author 
Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16272-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-60531-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Ad-Hoc, Mobile, and Wireless Networks 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings
Ad-Hoc, Mobile, and Wireless Networks 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings
Author 
Palattella, Maria Rita. editor. (orcid)0000-0002-4945-1406 Scanzio, Stefano. editor. (orcid)0000-0001-7643-2342 Coleri Ergen, Sinem. editor. (orcid)0000-0002-7502-3122 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31831-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings
Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings
Author 
Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Excell, Peter S. editor. (orcid)0000-0002-7602-2957 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-030-23943-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Author 
MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19909-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action