Search Result Save to File Save as CSV
Your search for 38917 returns 4039 document(s)
Microprocessor systems: software, firmware and hardware
Call Number: 004.16 Mic | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Hardware/ software design of digital systems
Author: Bywater, R.E.H.; | Call Number: 621.39 Byw h | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
The Automatic Improvement of Locality in Storage Systems
Author: W. W. Hsu, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Automatic control systems/Benjamin C. Kuo
Author: Kuo, Benyamin C.; | Call Number: 629.831 Kuo a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Open key exchange: how to defeat dictionary attacks without encrypting public keys, (LNCS-Lecture Notes in Computer Science 939) Hal 79-90
Author: Stefan Lucks; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Efficient checking of behavioural relations and modal assertions using fixed-point inversion, (LNCS-Lecture Notes in Computer Science 939) Hal 142-154
Author: Henrik Reif Andersen; Bart Vergauwen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Computer engineering: hardware design
Author: Mano, M. Morris; | Call Number: 621.39 Man c | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Computer hardware description and their applications
Call Number: 621.391 Com | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   8 9 10 11 12 13 14 15 16 17  Next