Your search for 38804 returns 5368 document(s) |
COBOL: a pragmatic approach |
Author: Grauer, Robert T.; | Call Number: 005.133 Gra c | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
From quantity to quality, (LNCS-Lecture Notes in Computer Science 1201) Hal 48-62 |
Author: Thomas A. Henzinger; Orna Kupferman; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The Pragmatic programmer: from journeyman to master |
Author: Hunt, Andrew; | Call Number: 005.1 Hun p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to formal program verification |
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
CAVEAT: technique and tool for computer aided verification and transformation, (LNCS-Lecture Notes in Computer Science 939) Hal 70-83 |
Author: E. Pascal Gribomont; Didier Rossetto; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Planar hybrid systems,(LNCS-Lecture Notes in Computer Science 999) Hal. 292-225 |
Author: John Guckenheimer; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
COBOL a pragmatic approach/ Robert T. Grauer |
Author: Grauer, Robert T.; | Call Number: 005.133 Gra c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Application of 2D barcode in hardcopy document verification system,(LNCS-Lecture Notes in Computer Science 5576) Hal 644-651 |
Author: Mazleena Salleh; Teoh Chin Yew; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Challenges in the verification of electronic control units, (LNCS-Lecture Notes in Computer Science 1926) Hal 18 |
Author: Werner Damm; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|