Your search for 38928 returns 2447 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
|
The rabin index and chain automata, with applications to automata and games, (LNCS-Lecture Notes in Computer Science 939) Hal 253-266 |
Author: Sriram C. Krishnan; Anuj Puri; Robert K. Brayton; Pravin P. Varaiya; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93 |
Author: James C. Corbett | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science 3668) Hal 446-447 |
Author: Roman Schindlauer; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analysis and optimization of CHR programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 450-451 |
Author: Jon Sneyers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modeling constraint programs with software technology standards, (LNCS-Lecture Notes in Computer Science 3709) Hal 850 |
Author: Matthias Hoche; Stefan Jahnichen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Issues in the refinement of distributed programs (invited talk), (LNCS-Lecture Notes in Computer Science 2773) Hal 12-17 |
Author: Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|