| Your search for 35564 returns 1528 document(s) |
| Mathematical logic for computer science 3rd ed. |
|
Author: Ben-Ari Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic for computer science second edition |
|
Author: Ben-Ari, Mordechai; | Call Number: 511.3 Ben m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational methods in engineering and science: with applications to fluid dynamics and nuclear systems |
|
Author: Nakamura, Shoichiro; | Call Number: 620.001 Nak c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms on strings, tress, and sequences: computer science and computational biology |
|
Author: Gusfield, Dan; | Call Number: 005.73 Gus a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational methods in engineering and science with applications to fluid dynamics and nuclear systems |
|
Author: Nakamura, Shoichiro; | Call Number: 620.001 Nak c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Teori komposisi komponen, hal 1-7 |
|
Author: I.S.W.B Prasetya; S.D. Swierstra dan Belawati Widjaja | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI: vol.1 No. 1 Mei 2001 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perencangan Aplikasi Khusus Kesehatan Mental Skizofrenia Berbasis Cognitive Behavioral Therapy (CBT) Dengan Pendekatan Design Science Research |
|
Author: Winaring Suryo Satuti; | Call Number: T-1323 (Softcopy T-1031) Mak T-122 | Edition: 2022 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result