1
по Bradley, Aaron R., Bradley, Aaron R.
Опубликовано 2011
Предметы: ...Data structures (Computer science)....
Полный текст
Электронный ресурс eКнига
2
Оглавление: ... -- Structural Heterogeneous Meta-Programming -- Open PROMOL: A Meta-Language for Heterogeneous Meta-Programming...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2008
Оглавление: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2011
Предметы: ...Data structures (Computer science)....
Полный текст
Электронный ресурс eКнига
5
по Rauber, Thomas., Rauber, Thomas., Rünger, Gudula.
Опубликовано 2010
Оглавление: ...Parallel Computer Architecture -- Parallel Programming Models -- Performance Analysis of Parallel...
Полный текст
Электронный ресурс eКнига
6
по Rauber, Thomas., Rauber, Thomas., Rünger, Gudula.
Опубликовано 2013
Оглавление: ...Introduction -- Parallel Computer Architecture -- Parallel Programming Models -- Performance...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2013
Оглавление: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Полный текст
Электронный ресурс eКнига
8
по Shen, Alexander., Shen, Alexander.
Опубликовано 2010
Оглавление: ... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2006
Оглавление: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2010
Оглавление: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2008
Оглавление: ... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....
Полный текст
Электронный ресурс eКнига
12
Предметы: ...Computer programming....
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2005
Оглавление: ... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...
Полный текст
Электронный ресурс eКнига
14
по Lee, Kent D., Lee, Kent D.
Опубликовано 2014
Оглавление: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
Полный текст
Электронный ресурс eКнига
15
по Evans, Brian., Evans, Brian.
Опубликовано 2011
Предметы: ...Programming languages (Electronic computers)....
Полный текст
Электронный ресурс eКнига
16
по Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Опубликовано 2005
Оглавление: ... Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about...
Полный текст
Электронный ресурс eКнига
17
по Vanderbei, Robert J., Vanderbei, Robert J.
Опубликовано 2008
Оглавление: ... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...
Полный текст
Электронный ресурс eКнига
18
по Vanderbei, Robert J., Vanderbei, Robert J.
Опубликовано 2014
Оглавление: ... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...
Полный текст
Электронный ресурс eКнига
19
по Lee, Kent D., Lee, Kent D.
Опубликовано 2014
Предметы: ...Programming languages (Electronic computers)....
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2013
Оглавление: ...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...
Полный текст
Электронный ресурс eКнига