| Your search for 25753 returns 5612 document(s) |
| Computer programs for machine design/ Robert J. Wenzel |
|
Author: Wenzel, Robert J.; | Call Number: 621.815 Wen c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multicomputers and image processing algoritms and programs/ Kendall Preston |
|
Call Number: 621.367 Mul | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Inference of Monotonicity Constraints in Datalog Programs (190-199) |
|
Author: Alexander Brodsky
Yehoshua Sagiv; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Inference of Inequality Constraints in Logic Programs (227-240) |
|
Author: Alexander Brodsky
Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallelizing Datalog Programs by Generalized Pivoting (241-251) |
|
Author: Jurgen Seib
J. Georg Lausen; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deadlock Analysis of Client/Server Programs (484-495) |
|
Author: J. Zhou
K. Tai; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
|
Author: G. -L. Ferrari, [et all] | 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
|
| Hyperdocuments as automata: verification of trace based browsing properties, page 1 |
|
Author: P. David s. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result