Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program developing » programs developing, programme developing, programmes developing
developing context » development context, developing concepts, developing countrie
programming code » programming core, programming model, programming case
context https » context helps, concepts https, control https
code program » coe program, core program, cone program
program developing » programs developing, programme developing, programmes developing
developing context » development context, developing concepts, developing countrie
programming code » programming core, programming model, programming case
context https » context helps, concepts https, control https
code program » coe program, core program, cone program
1
Table of Contents:
“... Lifecycle -- A Model-Driven View to Meta-Program Development Process -- Cognitive Insights into Feature...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
View full text
View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”View full text
Electronic
eBook
5
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
6
Subjects:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text
View full text
Electronic
eBook
7
Subjects:
“...Game Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29040...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... program: Background and contextual factors -- Chapter 6 Findings—Major conflicts, its process and sources...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... -- Sequential Code Flow -- Parallel Code Flow -- Extensions for Software Defined Radio -- Multi-application Flow...”
View full text
View full text
Electronic
eBook
10
Subjects:
“...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...”
View full text
View full text
Electronic
eBook
11
by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011
Table of Contents:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Published 2011
View full text
Electronic
eBook
12
Subjects:
“...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text
View full text
Electronic
eBook
13
Subjects:
“...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...”View full text
Electronic
eBook
15
Table of Contents:
“...Preface -- 1 An Introduction to the Econometrics of Program Evaluation -- 2 Methods Based...”
View full text
View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... -- Efficient Markov Chain Model of Machine Code Program Execution and Halting -- A Re-Examination of a Real...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Developments in WCET Analysis -- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming -- Two-Way Traceability...”View full text
Electronic
eBook



