Limit Search Results
Author
Language
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 Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
Nordic Contributions in IS Research 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings
Author 
Oinas-Kukkonen, Harri. editor. Iivari, Netta. editor. Kuutti, Kari. editor. Öörni, Anssi. editor. Rajanen, Mikko. editor.
Preferred Shelf Number 
XX(518583.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Author 
Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518528.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-09994-7
Format: 
Availability 
Online Library~1
Available:
Copies: