Your search for 38750 returns 2947 document(s) |
Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition, (LNCS-Lecture Notes in Computer Science 1201) Hal 186-198 |
Author: David Sinclair; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Compositional verification of synchronous networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 214-227 |
Author: Leszek Holenderski; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Boolean and 2-adic numbers based techniques for verifying synchronous designs, (LNCS-Lecture Notes in Computer Science 1254) Hal 303 |
Author: Gerard Berry; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modelling asynchrony with a synchronous model, (LNCS-Lecture Notes in Computer Science 939) Hal 339-352 |
Author: R. P. Kurshan; M. Merritt; A. Orda; S. R. Sachs; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Metdods to learn abstract scheduling models, (LNCS-Lecture Notes in Computer Science 3709) Hal 842 |
Author: Tom Carcharae; J. Christopher Beck; Eugene C. Freuder; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Containment of regular languages in non-regular timing diagram languages is decidable, (LNCS-Lecture Notes in Computer Science 1254) Hal 155-166 |
Author: Kathi Fisler; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
What happened in CLEF 2007 (LNCS-Lecture Notes in Computer Science 5152), Hal. 1-12 |
Author: Carol Peters; | Call Number: 025.04 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
What Storystelling Can Do For Information Visualization |
Author: Nahum Gershon, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
What can coaches do for you?, page 91 |
Author: Diane Coutu and Carol Kauffman | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
"What only the CEO can do, hal. 54" |
Author: A.G. Lafley | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|