Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
programming service » programming series, programme service, programming semantics
arrays a » arrays _
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
programming service » programming series, programme service, programming semantics
arrays a » arrays _
1
Опубликовано 2008
Оглавление:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2015
Оглавление:
“... on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2007
Оглавление:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Полный текст
Электронный ресурс
eКнига