| Your search for 38589 returns 2371 document(s) |
| Probabilistic neighbourhood logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 264-275 |
|
Author: Dimitar P. Guelev; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Challenges in the verification of electronic control units, (LNCS-Lecture Notes in Computer Science 1926) Hal 18 |
|
Author: Werner Damm; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Decidable model checking of probabilistic hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 31-45 |
|
Author: Jeremy Sproston; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Invariant-based synthesis of fault-tolerant systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 46-57 |
|
Author: K. Lano; David Clark; K. Androutsopoulos; P. Kan; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling faults of distributed, reactive systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 58-69 |
|
Author: Max Breitling; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Threshold and bounded-delay voting in critical control systems, ((LNCS-Lecture Notes in Computer Science 1926) Hal 70-81 |
|
Author: Paul Caspi; Rym Salem; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the addition of fault-tolerance, (LNCS-Lecture Notes in Computer Science 1926) Hal 82-93 |
|
Author: Sandeep S. Kulkarni; Anish Arora; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reliability modelling of time-critical distributed systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 94-105 |
|
Author: Hans Hansson; Christer Norstrom; Sasikumar Punnekkat; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A methodology for the construction of scheduled systems, (LNCS-Lecture Notes in Computer Science 1926) Hal 106-120 |
|
Author: K. Altisen; G. Gorler; J. Sifakis; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result