Search Result

Save to File Save as CSV

Your search for 331 returns 1035 document(s)

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

Cellular automata and complex dynamics of driven elastic media, Hal. 187-192

Author: S.N. Coppersmith; P.B. Littlewood; P. Sibani; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem

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

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

Geospital Data Extrapolation Using Data Mining technique and Cellular Automata (413-418)

Author: Ahmad Zuhdi Aniati Murni Arymurthy Heru Suhartanto; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem

Document clustering based on sequential pattern, HAL. 54-58

Author: Sri Purwanti; | Call Number: SEM-286 | Type: Indeks Artikel prosiding/Sem

Faktor-faktor yang Memengaruhi niat Terus Menggunakan Platform Akuakultur Elektronis: Studi Kasus Aplikasi Efisheryku

Author: Andre Nurrohman; | Call Number: KA-1716 (Softcopy KA-1707) MAK KA-1353 | Edition: 2023 | Type: Karya Akhir (KA)

The theory of computability

Author: Sommerhalder, R.; | Call Number: 511.8 Som t | Type: Buku

A theory of objects

Author: Abadi, Martin; | Call Number: 005.131 Aba t | Type: Buku

Combinatorial theory

Author: Hall, Marshall; | Call Number: 511.6 Hal c | Type: Buku

Prev 21 22 23 24 25 26 27 28 29 30 Next