Limit Search Results
Author
SpringerLink (Online service)
(17)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Language
Publication Date
-
Subject
Electronic books.
(7)
Computer science.
(6)
Software engineering.
(6)
Computer Science Logic and Foundations of Programming.
(5)
MATHEMATICS / Recreations & Games
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Historic avant-garde work on paper
Historic avant-garde work on paper
Author 
Bru, Sascha, editor.
Preferred Shelf Number 
N6494 .P34
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003413356
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Quantum computing models for cybersecurity and wireless communications
Quantum computing models for cybersecurity and wireless communications
Author 
Kumar, Budati Anil, edited. Kumar, Singamaneni Kranthi, edited. Li, Xingwang (Computer scientist), edited.
Preferred Shelf Number 
QA76.9 .A25 Q36 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394271429
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for From industry 4.0 to industry 6.0
From industry 4.0 to industry 6.0
Author 
Machado, Carolina, 1965- editor. Davim, J. Paulo, editor.
Preferred Shelf Number 
T59.6 .F76 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394372775
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Dental Teacher A Reference Guide to Instructional Strategies and Evaluation Principles
The Dental Teacher A Reference Guide to Instructional Strategies and Evaluation Principles
Author 
Baiju, R. M. editor. (orcid)0000-0002-9682-3209 Thomas, Sabu. editor. (orcid)0000-0003-4726-5746 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-07551-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Scalable Uncertainty Management 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings
Scalable Uncertainty Management 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings
Author 
Destercke, Sébastien. editor. (orcid)0000-0003-2026-468X Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 Sanfilippo, Giuseppe. editor. (orcid)0000-0002-0657-3833 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76235-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial intelligence in remote sensing for disaster management
Artificial intelligence in remote sensing for disaster management
Author 
Dahiya, Neelam, editor. Singh, Gurwinder, editor. Singh, Sartajvir, editor. Sharma, Apoorva, editor.
Preferred Shelf Number 
HD49 .A78 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287222
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Bibliometric analyses in data-driven decision-making
Bibliometric analyses in data-driven decision-making
Preferred Shelf Number 
Z669.8
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302581
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Hybrid and Networked Dynamical Systems Modeling, Analysis and Control
Hybrid and Networked Dynamical Systems Modeling, Analysis and Control
Author 
Postoyan, Romain. editor. Frasca, Paolo. editor. Panteley, Elena. editor. Zaccarian, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49555-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action