Limit Search Results
Author
SpringerLink (Online service)
(276)
Apduhan, Bernady O. editor.
(24)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(24)
Taniar, David. editor. (orcid)0000-0002-8862-3960
(18)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Language
English
(276)
Publication Date
-
Subject
Computer science.
(130)
Artificial intelligence.
(112)
Algorithms.
(86)
Computer Science Logic and Foundations of Programming.
(53)
Application software.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
276 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
Author 
Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-26807-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 Jagode, Heike. editor. (orcid)0000-0002-8173-9434 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34356-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
Author 
Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Author 
Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Author 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Author 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25636-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings
String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings
Author 
Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048 Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32686-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Author 
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21571-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Author 
Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28423-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Author 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets