Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
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:
2. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamental Generation Systems : Computer Science and Artificial Consciousness, the Informational Field of Generation of the Universe, the Sixth Sense of Living Beings
Fundamental Generation Systems : Computer Science and Artificial Consciousness, the Informational Field of Generation of the Universe, the Sixth Sense of Living Beings
Author 
Cardon, Alain, 1946- author. El Hami, Abdelkhalak, author.
Preferred Shelf Number 
Q325 .C37 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394225811
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Securing delay-tolerant networks with BPSec
Securing delay-tolerant networks with BPSec
Author 
Birrane, Edward J., author. Heiner, Sarah, author. McKeever, Ken, author.
Preferred Shelf Number 
TK5105.59 .B48 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119823513
Format: 
Availability 
Online Library~1
Available:
Copies: