Your search for 38761 returns 3968 document(s) |
A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes in Computer Science 3668) Hal 444-445 |
Author: Vitor Noguiera; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A bdd-based interactive configurator for modular systems, (LNCS-Lecture Notes in Computer Science 3709) Hal 883 |
Author: Erik R. van der Meer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Block ciphers and systems of quadratic equations, (LNCS-Lecture Notes in Computer Science 2887) Hal 274-289 |
Author: Alex Biryukov; Christophe De Canniere; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The use of speech retrieval systems: a study design, (LNCS-Lecture Notes in Computer Science 2773) Hal 86-93 |
Author: Jinmook Kim; Douglas W. Oard; | Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Stability of discrete sampled systems (LNCS-Lecture Notes in Computer Science 2773) Hal 1-11 |
Author: N. Halbwachs; J.-F. Hery; J. -C. Laleuf; X. Nicolin; | 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
|
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
|