Search the collection

Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 21
Books
Checking experiments in sequential machines / Asok Bhattacharyya.
Author / Creator:Bhattacharyya, Asok.
Publisher:New York : Wiley, 1989.
Date:1989.
Call Numbers:T0371465
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 22
Journals
IEEE transactions on dependable and secure computing.
Publisher:Las Alamitos, CA : IEEE Computer Society, ©2004-
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 23
Books
Software diversity in computerized control systems / U. Voges (ed.).
Publisher:Wien ; New York : Springer-Verlag, c1988.
Call Numbers:T0357315
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 24
Books
Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986 / edited by W.J. Quirk.
Author / Creator:IFAC Workshop (5th : 1986 : Sarlat, France)
Publisher:Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.
Edition:1st ed.
Date:1986.
Call Numbers:NQ629.895/6
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 25
Books
Introduction to quantum computation and information / editors, Hoi-Kwong Lo, Sandu Popescu, Tim Spiller.
Publisher:Singapore ; [River Edge], NJ : World Scientific, 1998.
Date:1998.
Call Numbers:T0371123
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 26
Books
Windows NT 4 answers! : certified tech support / Barrie Sosinsky.
Author / Creator:Sosinsky, Barrie, A.
Publisher:Berkeley, CA : Osborne McGraw-Hill, c1998.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 27
Books
Advanced concepts in operating systems : distributed, database, and multiprocessor operating systems / Mukesh Singhal, Niranjan G. Shivaratri.
Author / Creator:Singhal, Mukesh.
Publisher:New York : McGraw-Hill, c1994.
Call Numbers:T0373982
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 28
Books
HAL's legacy : 2001's computer as dream and reality / edited by David G. Stork.
Publisher:Cambridge, Mass. : MIT Press, c1997.
Call Numbers:NQ791.4372/18
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 29
Books
Distributed network systems : from concepts to implementations / by Weijia Jia, Wanlei Zhou.
Author / Creator:Jia, Weijia.
Publisher:New York : Springer, 2005.
Date:2005.
Call Numbers:N004.6/162
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 30
Books
Windows NT security handbook / Tom Sheldon.
Author / Creator:Sheldon, Thomas.
Publisher:Berkeley, CA : Osborne McGraw-Hill, c1997.
Call Numbers:T0375146
For use in the Library
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 31
ebooks
Utilisation and Reliability of High Power Proton Accelerators [electronic resource]: Workshop Proceedings, Daejeon, Republic of Korea, 16-19 May 2004 / Organisation for Economic Co-operation and Devel...
Author / Creator:Organisation for Economic Co-operation and Development. ; Workshop on Utilisation and Reliability of High Power Proton Accelerators (4th : 2004 : Taejŏn-si, Korea)
Publisher:Paris : OECD Publishing, 2005.
Date:2005.
Export this record
Export to excel
Print
Export record to excel
File type to download
Beta version
Select record 32
ebooks
Utilisation and Reliability of High Power Proton Accelerators [electronic resource]: Workshop Proceedings, Mito, Japan, 13-15 October 1998 / Organisation for Economic Co-operation and Development and...
Author / Creator:Organisation for Economic Co-operation and Development. ; Workshop on Utilisation and Reliability of High Power Proton Accelerators (1998 : Mito-shi, Japan)
Publisher:Paris : OECD Publishing, 2000.
Date:2000.