Limit Search Results
Author
SpringerLink (Online service)
(45)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Margaria, Tiziana. editor.
(4)
Steffen, Bernhard. editor.
(4)
Fu, Haohuan. editor.
(3)
Language
Publication Date
-
2018
(42)
2013
(3)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
45 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings
Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings
Author 
Chen, Xuemin. editor. (orcid)0000-0003-3820-9195 Sen, Arunabha. editor. Li, Wei Wayne. editor. Thai, My T. editor. (orcid)0000-0003-0503-2012 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04648-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
Artificial Neural Networks and Machine Learning – ICANN 2018 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II
Author 
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Hammer, Barbara. editor. Iliadis, Lazaros. editor. Maglogiannis, Ilias. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01421-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Author 
Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00265-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89884-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72971-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73579-5
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 Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Author 
Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets