| Your search for 39693 returns 2898 document(s) |
| Deadlock checking using net unforldings, (LNCS-Lecture Notes in Computer Science 1254) Hal. 352-363 |
|
Author: Stephan Melzer and Stefan Romer; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relaxed visibility enhances partial order recution, (LNCS-Lecture Notes in Computer Science 1254) Hal. 328-339 |
|
Author: Ikka Kokkarinem; Doron Peled; Anti Valman; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programs with quasi-stable channels are effectively recognizable, (LNCS-Lecture Notes in Computer Science 1254)Hal. 304-315 |
|
Author: Gerard CECE; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace table based approach for pipelined microprocessor verfication, (LNCS-Lecture Notes in Computer Science 1254), Hal. 364-375 |
|
Author: Jun Sawada and Warren A. Hunt Jr.; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| MICA: a memory and interconnect simulation environment for cache-based architectures, Hal. 317- 315 |
|
Author: Hung-Chang Hsiao, Chung Ta King; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178 |
|
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling and simulation of a fault tolerant ATM switching Architecture, 42-47 |
|
Author: Muhammad Anan; Mohsen Guizani; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Study on range doppler SAR image modeling and simulation, 440-444 |
|
Author: Su Su Yi Mon, Fang Jiancheng; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulation and Modeling of Channel and Mitigation Techniques to Overcome Rain Fade(hal 13551-1354) |
|
Author: Rudy Harnendra, Joko Suryana, Sugihartono; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to simulation: a systems dynamics modeling approach/ Nancy Roberts |
|
Author: Roberts, Nancy; | Call Number: 003.3 Rob i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result