Limit Search Results
Author
SpringerLink (Online service)
(419)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(4)
Artho, Cyrille. editor.
(3)
Language
English
(419)
Publication Date
-
2016
(142)
2017
(136)
2025
(57)
2024
(55)
2014
(29)
Subject
Computer science.
(249)
Software engineering.
(236)
Computer Science Logic and Foundations of Programming.
(230)
Formal Languages and Automata Theory.
(150)
Machine theory.
(150)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
419 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Author 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Author 
Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74558-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Numbers and Computers
Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67482-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Author 
Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94706-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Author 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
Author 
Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Logic in Computer Science
Logic in Computer Science
Author 
Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers
Author 
Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84913-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action