| Your search for 38942 returns 2522 document(s) |
| Real-time system design/ Shem-Tov Levi |
|
Author: Levi, Shem-Tov; | Call Number: 629.8 Lev r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming Real-Time Multicomputers For Signal Processing |
|
Author: Thoeni, Urban A.; | Call Number: 621.382 Tho p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penggunaan webRTC dalam integrasi data secara real-time |
|
Author: Ahmad Rifai Ashari; | Call Number: KP-2339 (Softcopy KP-1901) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Real-Time Sand Simulation using a GPU (495-498) |
|
Author: Dieudonne Nkulikiyimfura
Jee-In Kim
HyungSeok Kim; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The MFIBVP Real-Time Adder/Subtractor (65-71) |
|
Author: Yusrila Y. Kerlooza
Sarwono Sutikno
Yudi S. Gondokaryono
Agus Mulyana; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time pattern matching and quasi-real-time construction of suffix trees,Hal 310-325 |
|
Author: S.Rao Kosaraju; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Basic simple type theory: camridge tracts in theoretical computer science |
|
Author: Hindley, J. Roger; | Call Number: 005.13 Hin b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SpeechSkimmer: interactively skimming recorded speech, Hal 187-196 |
|
Author: Barry Arons; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result