Search Result Save to File Save as CSV
Your search for 38942 returns 2537 document(s)
Real-Time Database: Are they Real? (3-7)
Author: Gultekin Ozsoyoglu; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Open key exchange: how to defeat dictionary attacks without encrypting public keys, (LNCS-Lecture Notes in Computer Science 939) Hal 79-90
Author: Stefan Lucks; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Efficient checking of behavioural relations and modal assertions using fixed-point inversion, (LNCS-Lecture Notes in Computer Science 939) Hal 142-154
Author: Henrik Reif Andersen; Bart Vergauwen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Using formal verification/analysis methods on the critical path in system design: a case study, (LNCS-Lecture Notes in Computer Science 939) Hal 367-380
Author: Asgeir Th. Eiriksson; Ken L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Embedded Real-Time Systems/ Jean Paul Calvez
Author: Calvez, Jean Paul; | Call Number: 004.33 Cal e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
The real-time specification for java, page 47
Author: Greg Bollella | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
An overview of the real-time corba specification, page 56
Author: Douglas C. Schmidt | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time adaptive resource management, page 99
Author: Allalagbatta Pahan | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time cooperative editing on the internet, page 18
Author: Yun Yang | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next