Search Result
Save to File
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