| Your search for 6297 returns 4017 document(s) |
| Formal syntax and semantics of programming languages: a laboratory based approach/Kenneth Slonneger, Barry L. Kurtz |
|
Author: Slonneger, Kenneth; | Call Number: 005.131 Slo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Prolog for programmer's/ Feliks Kluzniak |
|
Author: Kluzniak, Feliks; | Call Number: 005.133 Klu p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal development of programs and proofs/edited Edger W. Dijkstra |
|
Call Number: 005.1 For | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to computer science: an algorithmic approach 2nd ed. |
|
Author: Tremblay, Jean-Paul; | Call Number: 005 Tre I | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the design and analysis of algorithms |
|
Author: Goodman, S.E.; | Call Number: 511.8 Goo i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing fundamentals and applications |
|
Author: Booth, Taylor L.; | Call Number: 004 Boo c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: the construction, proof, and analysis of programs/Pierre Berlioux |
|
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: the construction proof, and analysis of programs/Pierre Berlioux and Philippe Bizard |
|
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms from P to NP vol.1 design & efficiency |
|
Author: Moret, Bernard M.E.; | Call Number: 005.1 Mor a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result