Your search for 38750 returns 2947 document(s) |
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
|
Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Relationship between motivation and satisfaction of online computer games: evidence from adolsescent players using wireless service in Taiwan, (LNCS-Lecture Notes in Computer Science 5576) Hal. 541-552 |
Author: Lily Shui-Lien Chen; Michael Chih-Hung Wang; Yung Hsin Lee; | Call Number: 005.3 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Determining the camera response from images: what is knowable? |
Author: M.D. Grossberg | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multy-party Computation from any linear secret sharing scheme unconditionally secure againts adaptive adversary: the zero-error case, (LNCS-Lecture Notes in Computer Science 2576) Hal 1-15 |
Author: Ventzislav Nikov; Svetla Nikova; Bart Preneel; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multinational computer systems: an introduction to transnational data flow and data regulation/ Harry Katzan |
Author: Katzan, Harry S; | Call Number: 658.049 Kat m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1 |
Author: Amir Pnueli; | Call Number: 004.33 Mal h | 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
|
State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47 |
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifying periodic task-control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 63-68 |
Author: Vlad Rusu; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|