Альтернативы поиска:
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
array a » array _
1
Опубликовано 2010
Оглавление: ... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2007
Оглавление: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2010
Оглавление: ... of Hierarchical Systems -- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2015
Оглавление: ... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2006
Оглавление: ... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2008
Оглавление: ... (System Description) -- LogAnswer - A Deduction-Based Question Answering System (System Description) -- A...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2013
Оглавление: ... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...
Полный текст
Электронный ресурс eКнига