Your search returned 3 results.

Results
	1.	Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jurg Kohlas, Bertrand Meyer, Andre Schiper. by Kohlas, Jurg Meyer, Bertrand Schiper, Andre SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4028 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Generic Inference : A Unifying Theory for Automated Reasoning / Marc Pouly, J✹g Kohlas. by Pouly, Marc, 1980- [author.] Kohlas, Jurg, 1939- [author.] Publication details: Hoboken, New Jersey : Wiley, 2011 Online resources: Table of contents only Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA162.P685 3. Place hold
	3.	Human machine interaction [electronic resource] : research results of the MMI program / edited by Denis Lalanne, Jurg Kohlas. by Lalanne, Denis Kohlas, Jurg SpringerLink (Online service) Series: Lecture notes in computer science ; 5440 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Refine your search