Search Result

Your search for 39708 returns 2754 document(s)

Deadlock Analysis of Client/Server Programs (484-495)

Author: J. Zhou K. Tai; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem

Demonstrating real-time JPEG image compression-decompression using standard component IP cores on a programmable logic based platform for DSP and image processing, (LNCS-Lecture Notes in Computer Science 2147) Hal 441-450

Author: Albert Simpson; Jill Hunter; Moira Wylie; Yi Hu; David Mann; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS

Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252

Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS

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

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

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

Dynamic tree isomorphism via first-order updates to a relational database, Hal. 235-243

Author: Kousha Etissami; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem

Handbook for developing competency-based training programs/ William E. Blank

Call Number: R. 371.3 Bla h | Type: Buku Referensi

AGi research: developing technology for specifying and generating critical data processing programs

Author: Heru Suhartanto; Belawati Wijaya; L.Y Stefanus; Siti Aminah; Jimmy; ISWB Prasetya; Ade Azurat.; | Call Number: LAP-RUTI-2004-002 | Type: Hasil Laporan Research

Advanced visual basic 6: power techniques for everyday programs

Author: Curland Matthew; | Call Number: 005.268 Cur a | Type: Softcopy Buku

Prev 9 10 11 12 13 14 15 16 17 18 Next