Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
foundations programming » equations programming, foundations program, foundation programme
functions programming » functional programming, functions programmed, actions programming
design based » design case
based citrus » based virus, based oestrus, cashew citrus
foundations programming » equations programming, foundations program, foundation programme
functions programming » functional programming, functions programmed, actions programming
design based » design case
based citrus » based virus, based oestrus, cashew citrus
1
Опубликовано 2010
Оглавление:
“... to SAT-Based Approaches for Bit-Vectors -- Satisfiability Modulo the Theory of Costs: Foundations...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... -- Signature Schemes -- Practical Strong Designated Verifier Signature Schemes Based on Double Discrete...”Полный текст
Электронный ресурс
eКнига