Search Result
Save to File
Your search for
10706
returns
3582
document(s)
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
Computer organization and programming with an emphasis on the personal computer/ C. William Gear
Author: Gear, C. William; | Call Number: 005.1 Gea c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Computer organization and programming with an emphasis on the personal computer 2nd ed.
Author: Gear, C. William; | Call Number: 004.16 Gea c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
An introduction to logic programming through prolog/Michael Spivey
Author: Spivey, J.M.; | Call Number: 005.133 Spi i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The temporal logic of reactive and concurrent systems specification
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic programming/ edited by K.L. Clark and S. A. Tarnlund
Call Number: 005.1 Log | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Why prolog?: justifying logic programming for practical applications
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Measurement and tuning of computer systems
Author: Ferrari, Domenico; | Call Number: 004.61 Fer m | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
12
13
14
15
16
17
18
19
20
21
Next