| Your search for 38805 returns 4090 document(s) |
| A bdd-based interactive configurator for modular systems, (LNCS-Lecture Notes in Computer Science 3709) Hal 883 |
|
Author: Erik R. van der Meer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cryptanalysis of block ciphers based on sha-1 and md5, (LNCS-Lecture Notes in Computer Science 2887) Hal 36-44 |
|
Author: Markku-Juhani O. Saarinen; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Invariant-based synthesis of fault-tolerant systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 46-57 |
|
Author: K. Lano; David Clark; K. Androutsopoulos; P. Kan; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Classification based speed-up methdos for fractal image compression on multicomputers, (LNCS-Lecture Notes in Computer Science 1557) Hal 276-285 |
|
Author: Jutta Hammerle; Andreas Uhl; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling and scheduling for MPEG-4 based video encoder using a cluster of workstations, (LNCS-Lecture Notes in Computer Science 1557) Hal 306-316 |
|
Author: Yong He; Ishfaq Ahmad; Ming L. Liou; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Flexible internet secure transactions based on collaborative domains, (LNCS-Lecture Notes in Computer Science 1361) Hal 37-51 |
|
Author: Eduardo Solana; Jurgen Harms; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284 |
|
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4 |
|
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Techniques for scalling up analyses based on pre-interpretations, (LNCS-Lecture Notes in Computer Science 3668) Hal 280-296 |
|
Author: John P. Gallagher; Kim S. Henriksen; Gourinath Banda; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dictionary-based Thai CLIR: an experimental survey of Thai CLIR, (LNCS-Lecture Notes in Computer Science, 2406), Hal. 209-218 |
|
Author: Jaruskulchai Chullerat; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result