Search Result Save to File Save as CSV
Your search for 38750 returns 2947 document(s)
What can we learn from synchronous data-flow languages? ( invited presentation ) (LNCS-Lecture Notes in Computer Science 1201) Hal 255-258
Author: Paul Caspi; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
SHIFT: a languages for simulating interconnected hybrid systems ( invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 415
Author: Pravin Varaiya; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
How We Know What Technology Can Do
Author: Mark Burgin | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
What Sould Computer Science Students Learn from Mathematics (38-51)
Author: Yong Chiang Tay; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
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 
Verification of real time chemical processing systems (invited presentation), (LNCS-Lecture Notes in Computer Science 1201) Hal 259-272
Author: Adam L. Turk; Scott T. Probst; Gary J. Powers; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On-line, reflexive constraint satisfaction for hybrid systems: first steps ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 93-107
Author: Michael S. Branicky; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
From quantity to quality, (LNCS-Lecture Notes in Computer Science 1201) Hal 48-62
Author: Thomas A. Henzinger; Orna Kupferman; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
You can learn online
Author: Winograd, Kathryn; | Call Number: 370.152 3 Win y | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
What can be automated : the computer science and engineering research study
Call Number: 004 Wha | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next