Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
development computer » development chapter, development center
program development » product development
program structured » programs structured, program structure, program structures
structured program » structured problem, structured programming, structured problems
computer https » computers https, computing https, computer arts
development computer » development chapter, development center
program development » product development
program structured » programs structured, program structure, program structures
structured program » structured problem, structured programming, structured problems
computer https » computers https, computing https, computer arts
1
Table of Contents:
“... -- Structural Heterogeneous Meta-Programming -- Open PROMOL: A Meta-Language for Heterogeneous Meta-Programming...”
View full text
View full text
Electronic
eBook
2
3
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
4
Table of Contents:
“...Parallel Computer Architecture -- Parallel Programming Models -- Performance Analysis of Parallel...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Introduction -- Parallel Computer Architecture -- Parallel Programming Models -- Performance...”
View full text
View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
7
Published 2011
Subjects:
“...Data structures (Computer science)....”View full text
Electronic
eBook
8
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
View full text
View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
11
12
Published 2008
Table of Contents:
“... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”View full text
Electronic
eBook
14
Table of Contents:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
View full text
View full text
Electronic
eBook
15
16
Table of Contents:
“... Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...”
View full text
View full text
Electronic
eBook
19
20