Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
integration functions » integration functional, integrating functions, interactions functions
functions programming » functional programming, foundations programming, functions programmed
programming decisions » programming decision, programming design, programming session
decisions basics » decisions basic, decision basic, decisions cases
basics tools » basic tools, tactics tools, based tools
integration functions » integration functional, integrating functions, interactions functions
functions programming » functional programming, foundations programming, functions programmed
programming decisions » programming decision, programming design, programming session
decisions basics » decisions basic, decision basic, decisions cases
basics tools » basic tools, tactics tools, based tools
1
Опубликовано 2005
Оглавление:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”Полный текст
Электронный ресурс
eКнига