Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Author 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number 
ONLINE(335216.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Ada 2012 Rationale The Language, The Standard Libraries
Ada 2012 Rationale The Language, The Standard Libraries
Author 
Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Ada 2005 Rationale The Language, The Standard Libraries
Ada 2005 Rationale The Language, The Standard Libraries
Author 
Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79701-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
Author 
Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69336-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings
Author 
Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520839.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30258-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Author 
Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521296.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33469-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number 
XX(521137.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I
Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I
Author 
Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521389.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28953-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Natural Language Dialog Systems and Intelligent Assistants
Natural Language Dialog Systems and Intelligent Assistants
Author 
Lee, G.G. editor. Kim, H.K. editor. Jeong, M. editor. Kim, J.-H. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518471.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19291-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part II
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518957.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18117-2
Format: 
Availability 
Online Library~1
Available:
Copies: