| Your search for 37429 returns 785 document(s) |
| Electronic devices and circuits/Theodore F. Bogart |
|
Author: Bogart, Theodore F.; | Call Number: 621.381 5 Bog e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pulse and logic circuits/ Richard L. Castellucis |
|
Author: Castellucis, Richard L.; | Call Number: 621.381 534 Cas p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles of transistor circuits/ Richard F. Shea |
|
Author: Shea, Richard F.; | Call Number: 621.381 528 She p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The dark side of timed opacity,(LNCS-Lecture Notes in Computer Science 5576) Hal. 21-30 |
|
Author: Frank Cassez; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling coordinated atomic actions in timed CSP, (LNCS-Lecture Notes in Computer Science 1926) Hal 228-239 |
|
Author: Simeon Veloudis; Nimal Nissanke; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32 |
|
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A case study in timed CSP: The railroad crossing problem, (LNCS-Lecture Notes in Computer Science 1201) Hal 69-74 |
|
Author: Luming Lai; Phil Watson; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 171-185 |
|
Author: Myla Archer; Constance heitmeyer; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data-structures for the verification of timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 346-360 |
|
Author: Eugene Asarin; Marius Bozga; Alain Kerbrat; Oded Maler; Amir Pnueli; Anne Rasse; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some progress in the symbolic verification of timed automata, (LNCS-Lecture Notes in Computer Science 1254) Hal 179-190 |
|
Author: Marius Bozga; Oded Maler; Amir Pnueli; Sergio Yovine; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result