| Your search for 2962 returns 1485 document(s) |
| Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
|
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan Sistem Pendeteksi Gelombang Awal, Magnitude, Kedalaman, dan Lokasi Sumber Gempa Bumi Secara Real-time menggunakan Algoritma STA/LTA dan Multi-target Regression |
|
Author: Aan Nur Wahidi
Farrel Alfarabi Saleh
Muhammad Dahlan Yasadipura; | Call Number: SK-2081 (Softcopy SK-1563) Source code SK-787 | Edition: Ari Wibisono | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995 |
|
Call Number: SEM-253 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Optimisasi Peer-to-Peer Communication Berbasis WebRTC menggunakan Protokol Random Peer Sampling Spray pada Aplikasi Real-Time Collaborative Whiteboard |
|
Author: Muhammad Alif Saddid; | Call Number: SK-2223 (Softcopy SK-1705) | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi Auto Scaling, Dynamic Partition dan Multiprocessing pada Library Fogverse: Studi Kasus Deteksi Kondisi Darurat Real-Time dengan Data Media Sosial |
|
Author: Ikramullah, Brandon Ivander; | Call Number: SK-2311 (Softcopy SK-1793) | Edition: Muhammad Hafizhuddin Hilman | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Micro prolog: programming in logic |
|
Author: Clak, K.L and F.G; | Call Number: 005.133 Cla m | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Micro Waves Journal |
|
Call Number: [28 (1995): 1-3 ; 38(1995): 5-7, 38 (1995): 5-7, 38 (1995): 8-10, 38 (1995): 10, 39 (1996): 7, 39 (1996): 4-6, 40 (1997): 5-8] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Micro Graphics Newsletter |
|
Call Number: [15 (1982): 1-22, 15 (1982): 1-22, 16 (1984): 1-22] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Micro wave & RF |
|
Call Number: 16 (1984): 1-22 | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Linux kernel book |
|
Call Number: 005.446 9 Car l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result