Search Result

Save to File Save as CSV

Your search for 38611 returns 4526 document(s)

An excercise in hybrid system specification using an extension of Z, Hal. 311-316

Author: Viktor Friesen; | Call Number: SEM-253 | 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

Measuring Policy Coherence on Science and Technology using Content Analysis (459-464)

Author: Agus Widodo Indra Budi; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem

Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking

Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal

Three-dimensional nonlinear transient analysis of hybrid laminated composite plates, HAL. 993-998

Author: V.V. Subba Rao; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem

ERTL: an extension to RTL for requirements analysis for hybrid systems, Hal. 106-121

Author: Rogerio de Lemos; Jon Hall and Amer Saeed; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem

The railroad crossing problem modeling with hybrid argos-analysis with polka, Hal. 265-271

Author: Nicolas Halbwachs, Florence Maranichi and Yann-Eric Proy; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem

Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10

Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS

Adaptive iris segmentation, (LNCS-Lecture Notes in Computer Science 5576) Hal. 90-99

Author: Rahib Abiyev; Kemal Kilic; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS

How to repair ESIGN,(LNCS-Lecture Notes in Computer Science 2576) Hal 234-240

Author: Louis Granboulan; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS

Prev 15 16 17 18 19 20 21 22 23 24 Next