| Your search for 37148 returns 225 document(s) |
| Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338 |
|
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
|
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Note on equivalences among logics of program,(LNCS-Lecture Notes in Computer Science 999) Hal. 282-299 |
|
Author: Albert R. Meyer; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory of finite automata: with an introduction to formal languages |
|
Author: Carroll, John; | Call Number: 511 Car t | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Switching and finite automata theory 2nd ed. |
|
Author: Kohavi, Zvi; | Call Number: 629.892 Koh s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automata computability and complexity Theory and applications (INSTRUCTOR'S MANUAL) |
|
Author: Rich, Elaine; | Call Number: 511.3 Ric a | Type: Instructor's Manual
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational physics, setion B: cellular automata, Hal. 181-186 |
|
Author: Norman Margolus; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to automata theory, language and computation 2nd ed. |
|
Author: Hopcroft, John E.; | Call Number: 629.831 9 Hop i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Switching and finite automata theory 2nd ed. |
|
Author: Kohavi, Zvi; | Call Number: 629.892 Koh s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory or computation formal languages, automata, and complexity |
|
Author: Brookshear, J. Glenn; | Call Number: 511 Bro t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result