| Your search for 24195 returns 2301 document(s) |
| Current trends in programming methodology vol. II: program validation |
|
Call Number: 005.1 Cur | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical theory of computation |
|
Author: Manna, Zohar; | Call Number: 005.14 Man m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
|
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Order-theoretic and categorical approaches to programming language semantics/Petrus Marinus Waltherus Knijnerberg |
|
Author: Knijnemburg, Petrus Marinus Wa.; | Call Number: 005.13 Kni o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages |
|
Author: Tucker, Allen B.; | Call Number: 001.642 4 Tuc p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The science of programming |
|
Author: Gries, David; | Call Number: 004.61 Gri s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Craft of Programming |
|
Author: Reynolds, John C.; | Call Number: 004.61 Rey c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming the Z80 |
|
Author: Zaks, Rodnay; | Call Number: 004.61 Zak p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Functional programming |
|
Author: Field, Anthony J.; | Call Number: 005.11 Fie f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages |
|
Author: Tucker, Allen B.; | Call Number: 005.13 Tuc p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result