| Your search for 37148 returns 225 document(s) |
| 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
|
| Formal methods: state of the art and new directions |
|
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A State-based scheduling algorithm for time warp synchronization |
|
Author: Francesco Quaglia; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel simulation of communicating finite state machines, Hal. 143-150 |
|
Author: Carl Tropper and Azzedine Boukerche; | Call Number: SEM-188 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A State of Art on 3D Face Modeling Approaches |
|
Author: Abdullah A. Alomari , Fatimah Khalid , Rahmita Wirza O.K Rahmat, Muhammad Taufik Abdullah; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| State-of-the-art EMC Regulation and Conformity of Products in Indonesia |
|
Author: D. Hamdani, I. Inayaturohman, and D. Darwanto; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory and problems of state space and linear systems |
|
Author: Wiberg, Donald M.; | Call Number: 003 Wib s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| State increment dynamic programming/ Robert E. Larson |
|
Author: Larson, Robert E.; | Call Number: 519.3 Lar s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result