Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Author 
Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26651-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Author 
Gumzej, Roman. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28905-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proceedings of Third Doctoral Symposium on Computational Intelligence DoSCI 2022
Proceedings of Third Doctoral Symposium on Computational Intelligence DoSCI 2022
Author 
Khanna, Ashish. editor. Gupta, Deepak. editor. Kansal, Vineet. editor. Fortino, Giancarlo. editor. Hassanien, Aboul Ella. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-3148-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Design of Reconfigurable Logic Controllers
Design of Reconfigurable Logic Controllers
Author 
Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26725-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formalisms for Reuse and Systems Integration
Formalisms for Reuse and Systems Integration
Author 
Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16577-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics
Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics
Author 
Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15847-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for New Research in Multimedia and Internet Systems
New Research in Multimedia and Internet Systems
Author 
Zgrzywa, Aleksander. editor. Choroś, Kazimierz. editor. Siemiński, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10383-9
Format: 
Availability 
Online Library~1
Available:
Copies: