Search Result Save to File Save as CSV
Your search for 12412 returns 3376 document(s)
State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A digital real-time simulator for rail-vehicle control system testing, (LNCS-Lecture Notes in Computer Science 1201) Hal 199-212
Author: Peter Terwiesch; Erich Scheiben; Anders Jenry Petersen; Thomas Keller; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Role of VDM(++) in the Development of a real-time tracking and tracing system, (LNCS-Lecture Notes in Computer Science 670) Hal 64-72
Author: ir. E. H. Durr; drs. E.M. Dusink; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Interactively verifying a simple real-time scheduler, (LNCS-Lecture Notes in Computer Science 939) Hal 395-408
Author: Colin Fidge; Peter Kearney; Mark Utting; | Call Number: 004 Int c | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Strategies for real-time system specification/byDerek J. Hatley and Imtiaz A. Pirbhai foreword by Tom DeMarco
Author: Hatley, Derek J.; | Call Number: 004.33 Hat s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Pengembangan aplikasi voice talk client sebagaian fitur dari real-time information system/ Mohammad Kosmosa
Author: Mohammad Kosmosa; | Call Number: KP-0390 | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi Mobile Tldraw-P2P memenuhi Aspek Multi-Device pada Local-First Real-time Collaborative Whiteboard
Author: Adriel Gian Ananta; | Call Number: SK-2067 (Softcopy SK-1549, Source Code SK-782) | Edition: Muhammad Hafizhuddin Hilman | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Paralelisasi komputasi penghitungan jumlah kendaraan menggunakan GPU untuk mendapatkan data penghitungan secara real time
Author: Alan Novaldi; | Call Number: SK-1845 (Softcopy) SK-1327 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Tweetream: Cloud-based Real-Time Tweet Streaming Platform for Large Scale Microblogging Data Processing
Author: Michael Susanto; | Call Number: SK-1907 (Softcopy SK-1389 | Edition: Muhammad Hafizhuddin Hilman | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Implementasi real-time change data cappture untuk learning analytics menggunakan write ahead logging dan distributed processing
Author: Favian Kharisma Hazman; | Call Number: SK-1934 (Softcopy SK-1416 | Edition: Denny | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   14 15 16 17 18 19 20 21 22 23  Next