Your search for 23927 returns 241 document(s) |
First-order tree-type dependence between variables and classification performance, page 233 |
Author: S. Raudys | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184 |
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Schaum's outline of theory and problems of : probability, random variables, and randoms process/Hewi P. Hsu |
Author: Hsu, Hwei P.; | Call Number: 519.207 6 Hsu s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal techniques in real-time and fault-tolerant systems: the Int. Symposium, FTRTFT 2000 Pmil India; Sep. 20-22, 2000 proceesing |
Author: Joseph, Mathai; | Call Number: 004.33 Jos j | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Real-time system design/ Shem-Tov Levi |
Author: Levi, Shem-Tov; | Call Number: 629.8 Lev r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Safety and translation of relational calculus queries, page 235 |
Author: Gelder, Allen Van | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to functional programming through lambda calculus |
Author: Michaelson, Greg; | Call Number: 005.11 Mic I | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A staging calculus and its applications to the verification of translator,Hal 389-396 |
Author: Robert Muller; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The typed polymorphic label-selective -Calculus,Hal 35-46 |
Author: Jacques Garrigue; Hassan A'it-Kaci; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|