Search Result Save to File Save as CSV
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