| Your search for 36751 returns 480 document(s) |
| Comparing timed C/E systems with timed automata ( abstract ), (LNCS-Lecture Notes in Computer Science 1201) Hal 81-86 |
|
Author: R. Huuck; Y. Lakhnech; L. Urbina; S. Engell; S. Kowalewski; J. Preubig; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Professional C# 7 and .net core 2.0 |
|
Author: Nagel, Christian; | Call Number: 005.113 Nag p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying real-time systems using parametrized timed modal specification, 123-127 |
|
Author: Carsten Weise; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New CMOS VLSI linear self-timed architectures, Hal. 14-23 |
|
Author: A.J. Acosta; M. Bellido; M. Valencia; A. Barriga; R. jimenez and J.L. Huertas; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Testing self-timed circuits using partial scan, Hal. 160-169 |
|
Author: Ajay Khoche; Erik Brunvand; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Robust timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 331-345 |
|
Author: Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data models |
|
Author: Tsischitzis, Dionysios C.; | Call Number: 005.74 Tsi d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pattern models |
|
Author: Ahuja, Narendra; | Call Number: 006.4 Ahu p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Models of thought |
|
Author: Simon, Herbert A.; | Call Number: 153.1 Sim m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Efficient timing analysis of a class of petri nets, (LNCS-Lecture Notes in Computer Science 939) Hal 423-436 |
|
Author: Henrik Hulgaard; Steven M. Burns; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result