Limit Search Results
Author
SpringerLink (Online service)
(67)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Fu, Haohuan. editor.
(3)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(3)
Lees, Michael Harold. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(42)
Computer science.
(40)
Software engineering.
(33)
Computer network architectures.
(20)
Operating systems (Computers).
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
67 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Author 
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94460-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Author 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05057-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Author 
Tian, Cong. editor. Nagoya, Fumiko. editor. Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90104-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Author 
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74313-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Author 
Konstantinidis, Stavros. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94631-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
Author 
Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68612-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
Author 
Lintas, Alessandra. editor. Rovetta, Stefano. editor. Verschure, Paul F.M.J. editor. Villa, Alessandro E.P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68600-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
Author 
Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55849-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
Author 
Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets