| Your search for 2079 returns 382 document(s) |
| Data-structures for the verfication of timed automata, Hal. 346-360 |
|
Author: Eugene Asarin; Marius Bozga; Alain Kerbrat; | Call Number: 004.33 Mal f | 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
|
| Invited Talk: Automata Theory for Database Theoreticians (83-92) |
|
Author: Moshe Y. Vardi; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulations in Rank-Based Buchi Automata Complementation (447-467) |
|
Author: Yu-Fang Chen
Vojtech Harvlena
Ondrej Lengal; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| A Logic for Object-Oriented Logic Programming (Maier's O-Logic: Revisited) (379-393) |
|
Author: Michel Kifer
James Wu; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic: an introduction to the logic of computer reasoning |
|
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedding lax logic into intuitionistic logic, Hal. 78-93 |
|
Author: Uwe Egly; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result