| Your search for 38298 returns 3874 document(s) |
| A mathematical approach towards trust based security in pervasive computing environment, (LNCS-Lecture Notes in Computer Science 5576) Hal 702-711 |
|
Author: Naima Iltaf; Mukhtar Hussain; Farrukh Kamran; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The split-proxy approach: a new architecture for parallel video servers, (LNCS-Lecture Notes in Computer Science 1557) Hal 327-336 |
|
Author: Giuseppe De Pietro; Marco Lerro; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace table based approach for pipelined microprocessor verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 364-375 |
|
Author: Jun Sawada; Warren A. Hunt Jr; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An automata-theoretic approach to fair realizability and synthesis, (LNCS-Lecture Notes in Computer Science 939) Hal 267-278 |
|
Author: Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trace table based approach for pipelined microprocessor verfication, (LNCS-Lecture Notes in Computer Science 1254), Hal. 364-375 |
|
Author: Jun Sawada and Warren A. Hunt Jr.; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach to malware detection, (LNCS-Lecture Notes in Computer Science 5576) Hal. 229-238 |
|
Author: Hongying Tang; Bo Zhu; Kui Ren; | Call Number: 005.3 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object oriented technology for real-time systems: a practical approach using OMT and fusion |
|
Author: Awad, Maher; | Call Number: 005.2 Awa o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The surface coal minie in China based surpac three-dimenensional visualization and applications, Hal. 3734-3736 |
|
Author: Pengcheng Fei; Ziling Song; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A monte-carlo method with inherent parallelism for numerical solving partial differential equations with boundary conditions, (LNCS-Lecture Notes in Computer Science 1557) Hal 117-126 |
|
Author: Erika Hausenblas; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Speed up estimation for a parallel method for systems of linear ordinary differential equations, (LNCS-Lecture Notes in Computer Science 1557) Hal 598-599 |
|
Author: Miron Pavlus; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result