| Your search for 12456 returns 2382 document(s) |
| Logic in Computer Science: Existential Second-Order Logic Over Strings |
|
Author: T. Eiter, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61 |
|
Author: Magnus Agren; Pierre Flener; Justin Pearson; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hardware verification using monadic second-order logic, (LNCS-Lecture Notes in Computer Science 939) Hal 31-41 |
|
Author: David A. Basin; Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer computer scientist |
|
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic: an introduction to the logic of computer reasoning |
|
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital logic and computer design |
|
Author: Mano, M. Morris; | Call Number: 621.381 Man d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aritmetic logic and design |
|
Author: Spaniol, Otto; | Call Number: 621.39 Spa c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic design and computer organization |
|
Author: Lawin, Marton H.; | Call Number: 621.395 Lew l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and computer design fundamentals |
|
Author: Mano, M. Morris; | Call Number: 621.392 Man l | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and computer design fundamentals |
|
Author: Mano, M. Morris; | Call Number: 621.395 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result