Search Result

Your search for 38823 returns 3375 document(s)

Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327

Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS

Micro benchmark analysis of the KSR1, Hal. 202-213

Author: Rafael H. Saavendra; | Call Number: SEM-193 | Type: Indeks Artikel prosiding/Sem

Model-Driven Requirements Validation for Automotive Embedded Software using UML (46-50)

Author: Kwan-Hyung Lee Pan-Gi Min Ju-Hyung Cho Dong-Jin Lim; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem

Society to offer software engineering professional certification* computing leaders receive society awards in 2000, page 82

Type: Indeks Artikel Jurnal

Teknologi pengembangan portable critical software(PROPOSAL HIBAH PASCA)

Author: Heru Suhartanto | Call Number: PRO-HIBAH PASCA-2003-003 | Type: Proposal Research (Khusus Dose

Proving programs correct

Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat

Proving programs correct

Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku

Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10

Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS

Adaptive iris segmentation, (LNCS-Lecture Notes in Computer Science 5576) Hal. 90-99

Author: Rahib Abiyev; Kemal Kilic; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS

How to repair ESIGN,(LNCS-Lecture Notes in Computer Science 2576) Hal 234-240

Author: Louis Granboulan; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS

Prev 6 7 8 9 10 11 12 13 14 15 Next