Search Result
Save to File
Your search for
38582
returns
3870
document(s)
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
Non-standard parallel solution strategies for distributed sparse linear systems, (LNCS-Lecture Notes in Computer Science 1557) Hal 13-27
Author: Yousef Saad; Maria Sosonkina; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Fractal video compression on shared memory systems, (LNCS-Lecture Notes in Computer Science 1557) Hal 317-326
Author: Andreas Pommer; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
MMIPPS - A software package for multitemporal and multispectral image processing on parallel systems, (LNCS-Lecture Notes in Computer Science 1557) Hal 398-407
Author: Jurgen Janoth; Markus M. Eisl; Erwin M. Bakker; Rogier van Sterkenburg; Roberta Borgia; Salvo Sabina; Fabio Volpe; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1
Author: Amir Pnueli; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifying periodic task-control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 63-68
Author: Vlad Rusu; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Comparing timed C/E systems with timed automata ( abstract ), (LNCS-Lecture Notes in Computer Science 1201) Hal 81-86
Author: R. Huuck; Y. Lakhnech; L. Urbina; S. Engell; S. Kowalewski; J. Preubig; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Design tools for hybrid control systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 87-92
Author: M. S. Hajji; J. M. Bass; A. R. Browne; P. J. Fleming; | Call Number: 004.33 Mal h | 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
Verifying hybrid systems modeled as timed automata: a case study, (LNCS-Lecture Notes in Computer Science 1201) Hal 171-185
Author: Myla Archer; Constance heitmeyer; | Call Number: 004.33 Mal h | 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