| Your search for 23904 returns 2283 document(s) |
| On polynomial-size programs winning finite-state games, (LNCS-Lecture Notes in Computer Science 939) Hal 239-252 |
|
Author: Helmut Lescow; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Supervisory control of finite state machines, (LNCS-Lecture Notes in Computer Science 939) Hal 279-292 |
|
Author: A. Aziz; F. Balarin; R. K. Brayton; M. D. DiBenedetto; A. Saldanha; A. L. Sangiovanni-Vincentelli; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid systems as finser manifolds: finite state control as approximation to connection,(LNCS-Lecture Notes in Computer Science 999) Hal. 295-321 |
|
Author: Wolf Kohn; Anil Nerode; Jeffrey B. Benard; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer methods for partial differential equations vol.1 elliptic equations and the finite-element method |
|
Author: Vichnevetsky, Robert; | Call Number: 515.353 Vic c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent decision support system dalam mendeteksi behaviour sirkuit logika, HAL. H.7-H.12 |
|
Author: Wiwin Suwarningsih; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ampacity and Temperature Field Calculation of 10 kV XLPE Cables Laid in Pipes |
|
Author: Yan-Hui Zhang, Feng-Min Yang, Tao Yi, Guan-Jun Zhang, Zhi-Liang Xu, Yan-Ling Zheng; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Design of Accelerometer Based on Strain Gage (180-186) |
|
Author: Martha Endika S.
L.Gunawan
Cosmas P Pagwiwoko; | Call Number: SEM-247 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear algebra and differential equations using matlab |
|
Author: Golubtsky, Martin; | Call Number: 512.502 Gol l | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| User interfaces for symbolic computation: A case study, Hal 1-10 |
|
Author: Norbert Kajler; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Boolean algebra & switching cirtuits/ Elliot Mendelson |
|
Author: Mendelson, Elliot; | Call Number: 511.324 Men t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result