Your search for 10706 returns 3570 document(s) |
Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking |
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Probabilistic neighbourhood logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 264-275 |
Author: Dimitar P. Guelev; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Encoding w: a logic z in 2obj, (LNCS-Lecture Notes in Computer Science 670) Hal 462-481 |
Author: Andrew Martin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic in computer science:Modelling and reasoning about systems 2nd ed. |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for applications second edition: graduate texts in computer science |
Author: Nerode, Anil; | Call Number: 005.1 Ner d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings third annual symposium on logic in computer science July 5-8, 1988 |
Call Number: SEM-045 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Data processing logic/ Laure Saret |
Author: Saret, Laura; | Call Number: 005.265 Sar d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The science of programming |
Author: Gries, David; | Call Number: 004.61 Gri s | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47 |
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|