| Your search for 28915 returns 2517 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
|
| Introduction to statistical computer packages/ Jerry M. Lefkowitz |
|
Author: Lefkowitz, Jerry M.; | Call Number: 519.502 Lef i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The distributed system environment: some practical approaches |
|
Author: Booth, Grayce M.; | Call Number: 004 Boo d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed computer systems: impac on management, design and analysis |
|
Author: Champine, George A.; | Call Number: 004 Cha d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrency control and reliability indistributed systems |
|
Author: edited by: Bhargava, Bharat K.; | Call Number: 004.36 Con | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrency control and reliability indistributed systems |
|
Author: edited by: Bhargava, Bharat K.; | Call Number: 004.36 Con | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result