| Your search for 52080 returns 2677 document(s) |
| Epistemic logic for AI and computer science |
|
Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to systems analysis and design |
|
Author: Hawryszkiewycz, Igor; | Call Number: 004.21 Haw i ( MTI ) | Edition: fourth | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured digital design including MSI/LSI components and microprocessors/Raymond M. Kline |
|
Author: Kline, Raymond M.; | Call Number: 621.391 Kli S | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and design of digital circuits and computer systems/ Paul M. chirlian |
|
Author: Chirlian, Paul M; | Call Number: 621.381 9 Chi a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mtahematical logic:a course with exercises part I: propositional calculus, boolean, algebras, predicate calculus |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| High-speed digital system design: a handbook of interconnect theory and design practices |
|
Author: Hall, Stephen H.; | Call Number: 621.398 Hal h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational logic in multi-agent systems: 9th International workshop, CLIMA IX Dresden, Germany, September 2008 revised selected and invited papers |
|
Author: Fisher, Michael; | Call Number: 006.3 Fis c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal logic for proof-carrying code, Hal. 31-46 |
|
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Set theory, logic and their limitations/ Moshe Machover |
|
Author: Macchover, Moshe; | Call Number: 511.322 Mac s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result