| Your search for 47997 returns 3462 document(s) |
| The logical design of operating systems 2nd ed. |
|
Author: Bic, Lubomir; | Call Number: 005.43 Bic l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol. I: deductive reasoning |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Faster proof cheking in the edinburgh logical framework, Hal. 392-407 |
|
Author: Aaron Stump; David L. Dill; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Segmentation and validation of commercial deocuments logical structure, Hal. 242-246 |
|
Author: Miguel Diognen Matrakas; Flavio Bortolozzi; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Message passing framework for logical query evaluation (155-165) |
|
Author: Allen Van Gelder*; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Logical approach to discrete math/ David Gries |
|
Author: Gries, David; | Call Number: 510 Gri l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical design of multiple-microprocessor systems/ B.A. Bowen |
|
Author: Bowen, B. A.; | Call Number: 004.16 Bow L | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Logical Design of multiplemicroprocessor systems/B.A. Bowen; R.J.A.Buhr |
|
Author: Bowen, B.A.; | Call Number: 004.35 Bow l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Knowledge representation: logical philosophical, and computational foundations |
|
Author: Sowa, John F.; | Call Number: 005.54 Sow k | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The logical basis for computer programming vol.2 deductive system |
|
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result