| Your search for 36329 returns 476 document(s) |
| Tracing and proving ownership of digital objects, Hal. 184-187 |
|
Author: Sylvia Encheva, Gerard Cohen; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving correctness of a vehicle maneuver: deceleration, Hal. 196-203 |
|
Author: Naney Lynch; H.B. Weinberg; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving concurrent constraint programs correct,Hlm 98-108 |
|
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| Microcomputers structures |
|
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan m | 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
|
| Computing logic with logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
|
|
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
|
| Computational complexity |
|
Author: Papadimitriou, Christos M.; | Call Number: 511.3 Pap c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result