Your search for 35564 returns 1533 document(s) |
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
|
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
|
EDI: komputerisasi traksaksi bisnis, Hal. 1-7 |
Author: Zamrud Kurnia; | Call Number: SEM-220 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Cognitive Psychology |
Call Number: [13 (1981): 1,3-4, 14 (1982): 1-4, 15 (1983): 1-4, 16 (1984): 1-4, 17 (1985): 1-7, 18 (1986): 1-4, 19 (1987): 1-4, 20 (1988): 1-4] | Type: Jurnal/ Majalah
|
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
|
Computational issues in optimizing ophthalmic lens, (LNCS-Lecture Notes in Computer Science 1557) Hal 173-182 |
Author: Enric Fontdecaba; Jose M. Cela; Juan C. Dursteler; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings Institut Teknologi Bandung vol. 26 no. 1, 1994 suplemen : Symposium on computational methods in applied science/ edited E. Soewono |
Call Number: SEM-200 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|