| Your search for 36224 returns 3472 document(s) |
| Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352 |
|
Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A probabilitic image model for smoothing and compression, Hal. 36-41 |
|
Author: C.H. Li; P.C. Yuen; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan model yang menggambarkan faktor-faktor pembentuk keinginan mahasiswa di Indonesia untuk menggunakan sistem e-learning secara berkelanjutan |
|
Author: Frisca; | Call Number: T-1014 (Softcopy T-723) | Edition: 2013 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penerapan abstract behavioural specification dalam pembangunan software product line aplikasi web menggunakan metodologi architecture centric model driven web engineering |
|
Author: Daya Adianto; | Call Number: T-1143 (Softcopy T-852) Source code T-249 | Edition: 2015 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisis tingkat kematangan manajemen proyek agile menggunakan scrum maturity model: studi kasus corporate information system and technology perusahaan internasional |
|
Author: Rika Rizki Yana; | Call Number: KA-1408 (Softcopi KA-1399) MAK KA-1050 | Edition: 2021 | Type: Karya Akhir (KA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Artificial intelligence: a knowledge-based approach |
|
Author: Firebough, Morris W.; | Call Number: 006.3 Fir a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ontology-based meta-model |
|
Author: nadia yaacoubi ayah1) mohamed ben ahmad yannpollet; | Call Number: SEM-363 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An automata-theoretic approach to fair realizability and synthesis, (LNCS-Lecture Notes in Computer Science 939) Hal 267-278 |
|
Author: Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Integrated sleep stage classification device based on electrocardiograph signal, 37-41 |
|
Author: Indra Hermawan, M. Sakti Alvissalim, M. Iqbal Tawakal, Wisnu Jatmiko; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fast and Reconfigurable Packet Classification Engine in FPGA-Based Firewall |
|
Author: Arief Wicaksana , Arif Sasongko; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result