| Your search for 38804 returns 5368 document(s) |
| Proactive fault-management in software systems, Hal. 3-6 |
|
Author: Kishor S. Trivedi; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SG logic - a formal analysis technique for authentication protocols, (LNCS-Lecture Notes in Computer Science 1361) Hal 159-176 |
|
Author: Sigrid Gurgens; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Selling formal methods to industry, (LNCS-Lecture Notes in Computer Science 670) Hal 671-678 |
|
Author: Debora Weber-Wulff; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
|
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods reality check: industrial usage, (LNCS-Lecture Notes in Computer Science 670) Hal 250-267 |
|
Author: Dan Craigen; Susan Gerhart; Ted Ralston; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital image processing: a systems approach |
|
Author: Green, William B.; | Call Number: 621.367 Gre d | Type: Buku
|
|
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
|
| 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