Limit Search Results
Author
SpringerLink (Online service)
(100)
Apduhan, Bernady O. editor.
(5)
Delgado-Barrio, Gerardo. editor.
(5)
Gavrilova, Marina L. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Language
Publication Date
-
Subject
Quantum theory.
(23)
Physics.
(14)
Mathematical physics.
(11)
Chemistry.
(9)
Computational intelligence.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
179 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part II
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part II
Author 
Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28183-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Industrial Networks and Intelligent Systems 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023, Proceedings
Industrial Networks and Intelligent Systems 9th EAI International Conference, INISCOM 2023, Ho Chi Minh City, Vietnam, August 2-3, 2023, Proceedings
Author 
Vo, Nguyen-Son. editor. Tran, Hoai-An. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47359-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Telematics and Computing 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023, Proceedings
Telematics and Computing 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023, Proceedings
Author 
Mata-Rivera, Miguel Félix. editor. Zagal-Flores, Roberto. editor. Barria-Huidobro, Cristian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45316-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings
Author 
Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29927-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Author 
Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Applications in Electronics Pervading Industry, Environment and Society APPLEPIES 2022
Applications in Electronics Pervading Industry, Environment and Society APPLEPIES 2022
Author 
Berta, Riccardo. editor. De Gloria, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30333-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computing for Data Analysis: Theory and Practices
Computing for Data Analysis: Theory and Practices
Author 
Chakraborty, Sanjay. author. Dey, Lopamudra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8004-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Learning and Robust Control in Quantum Technology
Learning and Robust Control in Quantum Technology
Author 
Dong, Daoyi. author. Petersen, Ian R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20245-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Smart Energy Systems
Advances in Smart Energy Systems
Author 
Das, Biplab. editor. Patgiri, Ripon. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2412-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets