Limit Search Results
Author
SpringerLink (Online service)
(262)
Silhavy, Petr. editor.
(9)
Silhavy, Radek. editor.
(9)
O'Regan, Gerard. author.
(6)
Tan, C.J. Kenneth. editor.
(5)
Language
English
(262)
Publication Date
-
2016
(77)
2017
(72)
2024
(62)
2025
(50)
2014
(1)
Subject
Software engineering.
(125)
Artificial intelligence.
(101)
Computer science.
(98)
Computer Science Logic and Foundations of Programming.
(65)
Computational intelligence.
(57)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
262 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Author 
Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89935-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
Cover image for Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33622-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
Cover image for Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2
Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2
Author 
Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-8343-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
Author 
Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71412-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
Cover image for Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Author 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024
Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024
Author 
Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90758-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Proceedings of International Conference on Computing and Communication Systems for Industrial Applications ComSIA 2024
Proceedings of International Conference on Computing and Communication Systems for Industrial Applications ComSIA 2024
Author 
Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. (orcid)0000-0002-7869-6373 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-5862-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Author 
Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
Select an Action