Limit Search Results
Author
SpringerLink (Online service)
(67)
Iliadis, Lazaros. editor. (orcid)
(3)
Kernighan, Brian W.
(3)
Ritchie, Dennis M.
(3)
Taylor and Francis.
(3)
Publication Date
-
Subject
Computational intelligence.
(6)
Computer science.
(6)
Computer graphics.
(5)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(5)
Software engineering.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
127 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV
Author 
Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37114-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings
Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings
Author 
Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
Author 
Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII
Author 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44198-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Embedded Systems Design using the MSP430FR2355 LaunchPad™
Embedded Systems Design using the MSP430FR2355 LaunchPad™
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advanced Guide to Python 3 Programming
Advanced Guide to Python 3 Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40336-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings
Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings
Author 
Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47014-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Author 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action