Search Result

Your search for 38614 returns 2572 document(s)

Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263

Author: Michael Adlaide; Olivier Roux; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS

Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 291-303

Author: Kai Baukus; Yassine Lakhnech; Karsten Stahl; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS

Teraflops computing: a challenge to parallel numerics? (LNCS-Lecture Notes in Computer Science 1926) Hal 1-12

Author: Friedel Hossfeld; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS

Towards a probabilistic model logic for semantic-based information retrieval, Hal. 140-151

Author: Jian-Yun Nie; | Call Number: SEM-254 | Type: Indeks Artikel prosiding/Sem

Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30

Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS

Linear logic in computer science

Call Number: 519.72 Lin | Type: Buku

Logic: a foundation for computer science

Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku

Mathematical logic for computer science

Author: Ben-Ari, M.; | Call Number: 511.3 Ben m | Type: Buku

Epistemic logic for AI and computer science

Author: Meyer, J.J. CH.; | Call Number: 006.3 Mey e | Type: Buku

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

Prev 2 3 4 5 6 7 8 9 10 11 Next