| Your search for 38925 returns 3147 document(s) |
| Experiences from applications of RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 52-63 |
|
Author: Bent Dandanell; Jesper Gortz; Jan Storbank Pedersen; Eld Zierau; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the derivation of executable database programs from formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 351-366 |
|
Author: Thomas Gunther; Klaus-Dieter Schewe; Ingrid Wetzel; | Call Number: 004 Woo f | 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
|
| Automating text case generation from Z specifications with isabelle, (LNCS-Lecture Notes in Computer Science 1212)Hal. 52-72 |
|
Author: Steffen Helke; Thomas Neustupny; Thomas Santen; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281 |
|
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Degree optimized resilleint boolean functions from maiorna-McFarland Class, (LNCS-Lecture Notes in Computer Science 2898), Hal. 93-114 |
|
Author: Enes Pasalic; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tripartite authenticated key agreement protocols from pairings, (LNCS-Lecture Notes in Computer Science 2898), Hal. 332-344 |
|
Author: S.S. Al. Riyami and K.G. Pterson; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multiple stereo matching using an extended architecture, (LNCS-Lecture Notes in Computer Science 2147) Hal 203-212 |
|
Author: Miguel Arias-Estrada; Juan M. Xicotencatl; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Metdods to learn abstract scheduling models, (LNCS-Lecture Notes in Computer Science 3709) Hal 842 |
|
Author: Tom Carcharae; J. Christopher Beck; Eugene C. Freuder; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Construction of abstract state graphs with PVS, (LNCS-Lecture Notes in Computer Science 1254) Hal 72-83 |
|
Author: Susanne Graf; Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result