| Your search for 38655 returns 4654 document(s) |
| Verifying w-regular properties for a subclass of linear hybrid systems, (LNCS-Lecture Notes in Computer Science 939) Hal 437-450 |
|
Author: Ahmed Bouajjani; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Constructing hybrid control systems form robust linear control agents,((LNCS-Lecture Notes in Computer Science 999) Hal. 324-343 |
|
Author: Michael Lemmon; Christopher Beitt; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Task-Parallel programming of reconfigurable systems, (LNCS-Lecture Notes in Computer Science 2147) Hal 172-181 |
|
Author: Markus Weinhardt; Wayne Luk; | Call Number: 005.115 Fie | 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
|
| 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
|
| Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651 |
|
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallelisation of a satellite signal processing code-strategies and tools, (LNCS-Lecture Notes in Computer Science 1557) Hal 388-397 |
|
Author: Ian Glendinning; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel pivots LU algorithm on the cray T3E, (LNCS-Lecture Notes in Computer Science 1557) Hal 38-47 |
|
Author: Rafael Asenjo; Emilio L. Zapata; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Experiments with parallel one-sided and two-sided algorithms for SVD, (LNCS-Lecture Notes in Computer Science 1557) Hal 48-57 |
|
Author: Martin Becka; Sophie Robert; Marian Vajtersic; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A parallel strongly implicit algorithm for solving of diffusion equations, (LNCS-Lecture Notes in Computer Science 1557) Hal 78-84 |
|
Author: Ladislav Halada; Maria Lucka; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result