| Your search for 38298 returns 3891 document(s) |
| Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
|
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Forth an applications approach |
|
Author: Toppen, David L.; | Call Number: 005.133 Top f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The finite element method: fundamentals and applications |
|
Author: Norrie, Douglas H.; | Call Number: 515.62 Nor | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Motivation from a full-rate specific design to a DSP core approach for GSM vocoders, (LNCS-Lecture Notes in Computer Science 2147) Hal 388-397 |
|
Author: Shervin Sheidaei; Hamid Noori; Ahmad Akbari; Hosein Pedram; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The lyapunov method ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 2 |
|
Author: Zvi Artstein; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An overview of the SPRINT method, (LNCS-Lecture Notes in Computer Science 670) Hal 403-427 |
|
Author: H.B.M. Jonkers; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A flexible VLSI parallel processing system for block-matching motion estimation in low bit-rate video coding applications, (LNCS-Lecture Notes in Computer Science 1557) Hal 257-264 |
|
Author: Donglai Xu; Reza Sotudeh; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time computer vision/ edited by Christopher M. Brown |
|
Call Number: 006.37 Rea | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using a link metric to improve communication mechanism and real-time properties in an adaptive middleware for heterogeneous sensor networks, (LNCS-Lecture Notes in Computer Science 5576) Hal. 422-431 |
|
Author: Edison Pignaton de Freitas; Tales Heimfarth; Marco Aurelio Wehrmeister...[et.al]; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Forth, an applications approach/ David L. Toppen |
|
Author: Toppen, David L.; | Call Number: 005.133 Top f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result