Your search for 52220 returns 88 document(s) |
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
|
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
|
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
|
Molecular dynamics simulations on N1oZro.5 metallic glass filma: atomic dynamc near free nurfaces, Hal. 73-77 |
Author: A.B. Mutiara; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallel tree algorithms for N-body simulations, (LNCS-Lecture Notes in Computer Science 1557) Hal 579-580 |
Author: Vincenzo Antonuccio-Delogu; Ugo Becciani; Mario Gambera; Antonio Pagliaro; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|