| Your search for 31037 returns 1300 document(s) |
| Introduction to the theory of complexity/Daniel Pier Bovet and Pierluigi |
|
Author: Bovet, Daniel P.; | Call Number: 511.3 Bov i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An efficient decision procedure for the theory of fixed-sized bit-vectors, (LNCS-Lecture Notes in Computer Science 1254) Hal 60-71 |
|
Author: David Cyrluk; Oliver Moller; Harald Rueb; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schaum's outline of theory and problems of introduction to computer science/ Francis Scheid |
|
Author: Scheid, Francis; | Call Number: 004 Sch s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Languages and machines: an introduction to the theory of computer science/Thomas A. Sudkamp |
|
Author: Sudkamp, Thomas A.; | Call Number: 004 Sud l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Complex analysis: an introduction to the theory of analytic functions of on complex variable/ Lars V. Ahlfors |
|
Author: Ahlfors, Lars V.; | Call Number: 515.74 Ahl c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the theory of neural computation/John A. Hertz, Richard G. Palmer |
|
Author: Hertz, John A.; | Call Number: 006.3 Her i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to probability theory and its applications vol.1 3rd ed./William Feller |
|
Author: Feller, William; | Call Number: 519.2 Fel i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The ceaseless wind: an introduction to the theory of atmospheric motion/ John A. Dutton |
|
Author: Dutton, John A.; | Call Number: 551.515 3 Dut e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Languages and machines: an introduction to the theory 2nd ed. /Thomas A. Sudkamp |
|
Author: Sudkamp, Thomas A.; | Call Number: 511.3 Sud l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical programming: an introduction to the design and applications of optimal decision machines/ Claude Jr Macmillan |
|
Author: McMillan, Calude Jr.; | Call Number: 519.3 Mcm m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result