Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
conditions constraint » conditions contract, continuous constraint, conditions consortium
constraint programing » constraint programming, constraints programming, constrained programming
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
conditions constraint » conditions contract, continuous constraint, conditions consortium
constraint programing » constraint programming, constraints programming, constrained programming
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
1
Опубликовано 2008
Оглавление:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2007
Оглавление:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Полный текст
Электронный ресурс
eКнига