Limit Search Results
Author
SpringerLink (Online service)
(154)
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
English
(154)
Publication Date
-
Subject
Computer science.
(145)
Theory of Computation.
(141)
Artificial intelligence.
(76)
Computer networks .
(69)
Computer Engineering and Networks.
(38)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
154 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 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 
Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89366-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Author 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-434-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
Author 
Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11690634
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Author 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
Author 
Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80607-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action