Your search for 39698 returns 4481 document(s) |
An improved reachability analysis method for strongly linear hybrid systems (extended abstract),(LNCS-Lecture Notes in Computer Science 1254) Hal 167-178 |
Author: Bernard Boigelot; Louis Bronne; Stephane Rassart; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Linear logic in computer science |
Call Number: 519.72 Lin | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic: a foundation for computer science |
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mathematical logic for computer science |
Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Complexity of noncrecursive logic programs with complex values, Hal. 244- 253 |
Author: Sergei Vorobyov; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
EVALUATION OF DATABASE RECURSIVE LOGIC PROGRAMS AS RECURRENT FUNCTION SERIES(177-189) |
Author: Georges GARDARIN, Christophe de MAINDREVILLE; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fundamentals of computing I: logic, problem solving programs and computers c++ edition/Allen B. Tucker |
Author: Tucker, Allen P.; | Call Number: 004 Tuc f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Procedural Semantic for Well Founded Negation in Logic Programs (22-33) |
Author: Kenneth A. Ross; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structure and interpretation of computer programs |
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer Programs in Biomedicine |
Call Number: [6 (1976): 1-4, 7 (1977): 1-4, 10 (1979): 1-3, 14 (1982): 1-4, 16 (1983): 1-3, 18 (1984): 1-4] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|