| Your search for 7153 returns 1173 document(s) |
| Computational complexity |
|
Author: Papadimitriou, Christos M.; | Call Number: 511.3 Pap c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to automata theory, languages and computation |
|
Author: Hopcroft, John E.; | Call Number: 629.831 2 Hop i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Descriptive complexity/Neil Immerman |
|
Author: Immerman, Neil; | Call Number: 511.3 Imm d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| BAIK Language for Visual Programming with Indonesia Natural Language (5-10) |
|
Author: Haris Hasanudin; | Call Number: SEM-296 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulation of computer communication systems |
|
Author: Sauer, Charles; | Call Number: 004.65 Sau s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods: state of the art and new directions |
|
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research design: qualitative quantitative and mixed methods approaches 4th ed. |
|
Author: Creswell, John W.; | Call Number: 300.72 Cre s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research Design Qualitative, quantitative, and mixed methods aprroaches 2nd ed. |
|
Author: Creswell, John W.; | Call Number: 300.72 Cre r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Desain instruksional/Atwi Suparman |
|
Author: Suparman, Atwi; | Call Number: 378.17 Sup d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result