Search Result Save to File Save as CSV
Your search for 20740 returns 4320 document(s)
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Correctness of programs with functional procedures, (LNCS-Lecture Notes in Computer Science 131)Hal. 94-112
Author: J.W. de Bakker; | 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 
Toward a logical theory of program data, (LNCS-Lecture Notes in Computer Science 131) Hal. 37-51
Author: Robert Cartwright; | 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 
Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
True-color into grey-scale thresholding method with double hex cone model, 155-160
Author: Darma Rusjdi; | Call Number: SEM-348 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Designing and implementing local area networks
Author: Chorafas, Dimitris N.; | Call Number: 001.644 Cho d | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Local networks fo rcomputer communications
Call Number: 004.6 Loc | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   16 17 18 19 20 21 22 23 24 25  Next