| Your search for 38750 returns 2947 document(s) |
| Issues in the refinement of distributed programs (invited talk), (LNCS-Lecture Notes in Computer Science 2773) Hal 12-17 |
|
Author: Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Architectural approaches for multimedia processing (Invited Paper), (LNCS-Lecture Notes in Computer Science 1557) Hal 196-210 |
|
Author: Sethuraman (Panch) Panchanathan; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic model checking with rich assertional languages, (LNCS-Lecture Notes in Computer Science 1254) Hal 424-435 |
|
Author: Y. Kesten; O. Maler; M. Marcus; A. Pnueli; E. Shahar; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming in hybrid constraint languages, (LNCS-Lecture Notes in Computer Science 999)Hal. 226-251 |
|
Author: Vincent Gupta; Radha Jagadeesan; Vijay Saraswat; | Call Number: 005.369 Ant 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