Search Result
Save to File
Your search for
35564
returns
1528
document(s)
A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture Notes in Computer Science 3668) Hal 407-409
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science 131)Hal. 24-36
Author: J.A. Berostra; J. V. Tucker; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23
Author: J. Bergstra; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Cognitive strategies and ecuational performance
Author: Kirby, John R.; | Call Number: 370.152 Kir c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
The development of cognitive processes
Call Number: 155.413 Ham | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Computational linguistics
Author: Grishman, Ralph; | Call Number: 410.2 Gri c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Computational hydraulics
Author: Brebbia, C.A.; | Call Number: 621.028 54 Bre c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Computational Intelligence
Call Number: 12 (1996): 1-2 | Type: Jurnal/ Majalah
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
4
5
6
7
8
9
10
11
12
13
Next