| Your search for 36717 returns 4779 document(s) |
| 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
|
| A Framework and Tool Support for the Systematic Testing of Model-Based Specifications, page 409-439 |
|
Author: T. Miller, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Forum and Search Data for Sales Prediction of High-Involvement Products, Page 65-82 |
|
Author: Tomer Geva, Gal Oestreicher-Singer, Niv Efron, and Yair Shimshoni | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
|
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic search from streaming data |
|
Author: Coden, Anni R; Brown, Eric W. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Facial emotion generation using straGan with differentiable augmentation |
|
Author: Wava Carissa Putri; Tjan Basaruddin; | Call Number: Mak T Jilid 121-139 (T-1337) (Mak T-135) | Type: Makalah Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The MYDDAS project: using a deductive database for traffic characterization, ((LNCS-Lecture Notes in Computer Science 3668) Hal 424-426 |
|
Author: Michel Ferreira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 297-310 |
|
Author: Ajay Mallya; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantic similarity search on semistructured data with the XXL search engine[P.521-545] |
|
Author: Schenkel, Ralf; Theobald, Anja; Weikum, Gerhard | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Semantic similarity search on semistructured data with the XXL search engine[p.521-545] |
|
Author: Schenkel, Ralph; Theobarld, Anja; Weikum, Gerhard | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result