Limit Search Results
Author
SpringerLink (Online service)
(423)
Dongarra, Jack. editor.
(19)
Wiley InterScience (Online service)
(17)
Alexander, Michael. editor.
(11)
Karczewski, Konrad. editor.
(11)
Language
Publication Date
-
Subject
Computer science.
(144)
Software engineering.
(109)
Electronic books.
(103)
Artificial intelligence.
(88)
Computer software.
(80)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
934 Results Found Subscribe to search results
000000000000DEFAULT
Print
517. 
Cover image for SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings
SOFSEM 2023: Theory and Practice of Computer Science 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings
Author 
Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23101-8
Format: 
Availability 
Online Library~1
Available:
Copies:
518. 
Cover image for Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
519. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
520. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
521. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
522. 
Cover image for High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings
Author 
Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32041-5
Format: 
Availability 
Online Library~1
Available:
Copies:
523. 
Cover image for Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2022 International Workshops, DPM 2022 and CBT 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. (orcid) Dragoni, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25734-6
Format: 
Availability 
Online Library~1
Available:
Copies:
524. 
Cover image for Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings
Frontiers of Algorithmics 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings
Author 
Li, Minming. editor. Sun, Xiaoming. editor. Wu, Xiaowei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39344-0
Format: 
Availability 
Online Library~1
Available:
Copies:
525. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
526. 
Cover image for Text, Speech, and Dialogue 26th International Conference, TSD 2023, Pilsen, Czech Republic, September 4-6, 2023, Proceedings
Text, Speech, and Dialogue 26th International Conference, TSD 2023, Pilsen, Czech Republic, September 4-6, 2023, Proceedings
Author 
Ekštein, Kamil. editor. Pártl, František. editor. Konopík, Miloslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40498-6
Format: 
Availability 
Online Library~1
Available:
Copies:
527. 
Cover image for Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings
Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings
Author 
Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42250-8
Format: 
Availability 
Online Library~1
Available:
Copies:
528. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets