Your search for 38332 returns 3478 document(s) |
The deductive foundation of computer programming |
Author: Manna, Zohar; | Call Number: 519.7 Man d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Partition model: a deductive database model, page 1 |
Author: Nicolas S. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8 |
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Coordination of many agents, (LNCS-Lecture Notes in Computer Science 3668) Hal 98-112 |
Author: Joxan Jaffar; Roland H.C.Yap; Kenny Q. Zhu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A type system for CHR,( (LNCS-Lecture Notes in Computer Science 3668) Hal 402-403 |
Author: Emmanuel Coquery; Francois Fages; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On Strings in Software Model Checking (19-30) |
Author: Hossein Hojjat
Philipp Rummer
Ali Shamakhi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
CRYPTEX model for E-commercial contract of software source code using secrete sharing scheme, (LNCS-Lecture Notes in Computer Science 5576) Hal 662-671 |
Author: ByungRae Cha; Youngil KIM; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Efficient software implementation of LFSR and boolean function and its application in nonlinear combiner model, (LNCS-Lecture Notes in Computer Science 2576) Hal 387-402 |
Author: Sandeepan Chowdhury; Subhamoy Maitra; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A deductive data model for query expansion, Hal. 235-243 |
Author: Kalervo Jarvelin, Jaana Kristensen; Timo Niemi; Eero Sormunen and Heikki Keskustalo; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|