Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Author 
Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11808107
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Human Machine Interaction Research Results of the MMI Program
Human Machine Interaction Research Results of the MMI Program
Author 
Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00437-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Generic Inference a Unifying Theory for Automated Reasoning
Generic Inference a Unifying Theory for Automated Reasoning
Author 
Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878
http://site.ebrary.com/lib/alltitles/Doc?id=10469758
Volltext http://proquest.tech.safaribooksonline.de/9781118010860
Format: 
Availability 
Online Library~1
Available:
Copies: