Search Result Save to File Save as CSV
Your search for 37501 returns 552 document(s)
A Relaxed Mutual Exclusion Problem with Application to Channel Allocation in Mobile Cellular Networks (592-601)
Author: Ten H. Lai Jianping Jiang Tao Ma; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Machine Learning and Computational Learnig: Learning Functions Represented as Multiplicity Automata
Author: A. Beimel, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Context model automata (CMA) pada prediction by partial match (PPM) untuk kompresi teks
Author: Rini Indriani, Fahren Bukhari dan Aziz Kustiyo | Call Number: JIKT-5-1-Mei2005-25 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Hyperdocuments as automata: verification of trace based browsing properties, page 1
Author: P. David s. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Specifying timed state sequences in powerful decidable logics and timed automata, Hal. 69-80
Author: Thomas Wilke; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
On the power of finite automata with both nondeterministic and probabilistic states(Preliminary Version),Hal 676-685
Author: Anne Condon; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Robust timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 331-345
Author: Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Succinct Determinisation of Caunting Automata via Sphere Construction (468-489)
Author: Lukas Holik Ondrej Lengal Olli Saarikivi Lenka Turonova Margus Veanes Tomas Vojnar; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Topological Relationships Between Complex Spatial Objects, page 39-81
Author: M. Schneider, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   8 9 10 11 12 13 14 15 16 17  Next