| Your search for 705 returns 3272 document(s) |
| Controller design of hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 240-254 |
|
Author: Stefan Pettersson; Bengt Lennartson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking in a microprocessor design project, (LNCS-Lecture Notes in Computer Science 1254) Hal 214-225 |
|
Author: Geoff Barret; Anthony McIsaac; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35 |
|
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An industrial experience on LOTOS-based prototyping for switching systems design, (LNCS-Lecture Notes in Computer Science 670) Hal 83-92 |
|
Author: Gonzalo Leon; Juan C. Yelmo; Carlos Sanchez; F. Javier Carrasco; Juan J. Gil; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CyberGate: a design framework and system for text analysis of computer-mediated communication, page 811-837 |
|
Author: Ahmed Abbasi and Hsinchun Chen | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reasoning about inference in an object-based design method ((LNCS-Lecture Notes in Computer Science 670) Hal. 1-18 |
|
Author: C.B. Jones; | Call Number: 004. Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71 |
|
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The art of computer systems performance analysis: techniques for experimental design, measurement, simulation and modelling/Raj Jain |
|
Author: Jain, Raj; | Call Number: 004.24 Jai a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Build your own Z80 computer: design guidelines and applications notes/Steve Ciarcia |
|
Author: Ciarcia, Steve; | Call Number: 621.39 Cia b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Seminar " Advanced computer architecture dan scale digital design automation, Jakarta 6-9 Februari 1990 |
|
Call Number: SEM-030 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result