Limit Search Results
Author
SpringerLink (Online service)
(452)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Language
Publication Date
-
Subject
Theory of Computation.
(426)
Artificial intelligence.
(246)
Computer networks .
(145)
Software engineering.
(145)
Computer science -- Mathematics.
(133)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
454 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings
Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings
Author 
Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11750321
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings
Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings
Author 
Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537311
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
Author 
Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77367-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
Author 
Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0602-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Author 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8943-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Author 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
Author 
Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77847-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II
Author 
Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I
Author 
Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action