| Your search for 38728 returns 2897 document(s) |
| From quantity to quality, (LNCS-Lecture Notes in Computer Science 1201) Hal 48-62 |
|
Author: Thomas A. Henzinger; Orna Kupferman; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using feedback to improve masquerade detection, (LNCS-Lecture Notes in Computer Science 2846)Hal. 48-62 |
|
Author: Kwong H. Yung; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition, (LNCS-Lecture Notes in Computer Science 1201) Hal 186-198 |
|
Author: David Sinclair; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| What can we learn from synchronous data-flow languages? ( invited presentation ) (LNCS-Lecture Notes in Computer Science 1201) Hal 255-258 |
|
Author: Paul Caspi; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Attack pattern discovery by frequent episodes mining from honeypot systems, (LNCS-Lecture Notes in Computer Science 5576) Hal. 301-316 |
|
Author: Ming Yang Su, Kai Chi Chang; Chun-Yuen Lin; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthesizing RTL hardware from Java byte codes, (LNCS-Lecture Notes in Computer Science 2147) Hal 123-132 |
|
Author: Michael J. Wirthlin; Brad L. Hutchings; Carl Worth; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| PuMA++: from behavioral specification to multi-FPGA-prototype, (LNCS-Lecture Notes in Computer Science 2147) Hal 133-141 |
|
Author: Klaus Harbich; Erich Barke; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61 |
|
Author: Magnus Agren; Pierre Flener; Justin Pearson; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| From linear relaxations to global constraint propagation, (LNCS-Lecture Notes in Computer Science 3709) Hal 867 |
|
Author: Claude-Guy Quimper; Alejandro Lopez-Ortiz; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Extracting keyphrases from spoken audio documents, (LNCS-Lecture Notes in Computer Science 2773) Hal 36-50 |
|
Author: Alain Desilets; Berry de Bruijin; Joel Martin; | Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result