Limit Search Results
Author
SpringerLink (Online service)
(998)
Filipe, Joaquim. editor.
(8)
Kim, Tai-hoon. editor.
(8)
Hameurlain, Abdelkader. editor.
(7)
Jajodia, Sushil. editor.
(7)
Language
Publication Date
-
Subject
Data structures (Computer science).
(827)
Computer science.
(714)
Computer software.
(277)
Computational complexity.
(243)
Computer Communication Networks.
(230)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
1120 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Author 
André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45332-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Author 
André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45329-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Structural Mechanics and Applications Proceedings of ASMA-2021 (Volume 2)
Advances in Structural Mechanics and Applications Proceedings of ASMA-2021 (Volume 2)
Author 
Fonseca de Oliveira Correia, José António. editor. Choudhury, Satyabrata. editor. Dutta, Subhrajit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-05509-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Deep Foundations for Infrastructure Development in India Proceedings of DFI-India 2021 Annual Conference
Deep Foundations for Infrastructure Development in India Proceedings of DFI-India 2021 Annual Conference
Author 
Adimoolam, Boominathan. editor. I. V., Anirudhan. editor. Basarkar, Sunil S. editor. Prashant, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8598-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for AVENUE21. Planning and Policy Considerations for an Age of Automated Mobility
AVENUE21. Planning and Policy Considerations for an Age of Automated Mobility
Author 
Mitteregger, Mathias. editor. Bruck, Emilia M. editor. Soteropoulos, Aggelos. editor. Stickler, Andrea. editor. Berger, Martin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-67004-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for GeNeDis 2022 Computational Biology and Bioinformatics
GeNeDis 2022 Computational Biology and Bioinformatics
Author 
Vlamos, Panagiotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Proceedings of 17th Symposium on Earthquake Engineering (Vol. 4)
Proceedings of 17th Symposium on Earthquake Engineering (Vol. 4)
Author 
Shrikhande, Manish. editor. Agarwal, Pankaj. editor. Kumar, P. C. Ashwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1459-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Handbook of Neuroengineering
Handbook of Neuroengineering
Author 
Thakor, Nitish V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-16-5540-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advances in Data Science and Computing Technologies Select Proceedings of ADSC 2022
Advances in Data Science and Computing Technologies Select Proceedings of ADSC 2022
Author 
Chakraborty, Basabi. editor. Biswas, Arindam. editor. Chakrabarti, Amlan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3656-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023
Production Processes and Product Evolution in the Age of Disruption Proceedings of the 9th Changeable, Agile, Reconfigurable and Virtual Production Conference (CARV2023) and the 11th World Mass Customization & Personalization Conference (MCPC2023), Bologna, Italy, June 2023
Author 
Galizia, Francesco Gabriele. editor. Bortolini, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34821-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Nonfinite Inquiries : Materials for a Comparative Study of Nonfinite Predicative Domains
Nonfinite Inquiries : Materials for a Comparative Study of Nonfinite Predicative Domains
Author 
Rouveret, Alain, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110769289
https://www.degruyter.com/isbn/9783110769289
Cover https://www.degruyter.com/document/cover/isbn/9783110769289/original
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
Author 
van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34241-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets