Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
Author 
Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11603009
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Confessions of an AI Brain
Confessions of an AI Brain
Author 
Fersman, Elena. author. Pettersson, Paul. author. Karapantelakis, Athanasios. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520579.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25935-7
Format: 
Availability 
Online Library~1
Available:
Copies: