Limit Search Results
Author
SpringerLink (Online service)
(1801)
Gavrilova, Marina L. editor.
(20)
Dongarra, Jack. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Language
Publication Date
-
2013
(197)
2009
(177)
2011
(165)
2006
(159)
2005
(157)
Subject
Software engineering.
(1628)
Computer science.
(1579)
Artificial intelligence.
(419)
Logic design.
(404)
Information systems.
(281)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1911 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
Author 
Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69042-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70285-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cyber-Physical Systems Data Science, Modelling and Software Optimization
Cyber-Physical Systems Data Science, Modelling and Software Optimization
Author 
Kravets, Alla G. author. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. (orcid)0000-0001-7966-718X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67685-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
Author 
Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26384-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science
A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science
Author 
Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Real-world software projects for computer science and engineering students
Real-world software projects for computer science and engineering students
Author 
Gupta, Varun, 1987- author. Nguyen-Duc, Anh (Software engineer), author.
Preferred Shelf Number 
QA76.6 .G86 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003119883
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action