Search Result Save to File Save as CSV
Your search for 38578 returns 2828 document(s)
Issues in the refinement of distributed programs (invited talk), (LNCS-Lecture Notes in Computer Science 2773) Hal 12-17
Author: Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid control issues in air traffic management systems ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 108
Author: Shankar Sastry; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201
Author: Ron van der Meyden; Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331
Author: Colin Fidge; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Invited Talk: Modular Architectures for Distributed and Database System (217-224)
Author: Alfreed Z.Spector; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Approximations in distributed optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 802-806
Author: Adrian Petcu; Boi Faltings; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Weak refinement for modal hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 316-330
Author: Carsten Weise; Dirk Lenzkes; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35
Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An n log n algorithm for online BDD refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 107-118
Author: Nils Klarlund; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next