Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
array a » array _
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Книга