1
Table of Contents: ... Lifecycle -- A Model-Driven View to Meta-Program Development Process -- Cognitive Insights into Feature...
View full text
Electronic eBook
2
by Shen, Alexander., Shen, Alexander.
Published 2010
Table of Contents: ... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...
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
Electronic eBook
6
Subjects: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
View full text
Electronic eBook
7
by Egges, Arjan., Egges, Arjan.
Published 2015
Subjects: ...Game Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29040...
View full text
Electronic eBook
8
by Wang, Wanying., Wang, Wanying.
Published 2014
Table of Contents: ... program: Background and contextual factors -- Chapter 6 Findings—Major conflicts, its process and sources...
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
Electronic eBook
10
by Kiely, R., Kiely, R., Rea-Dickins, P.
Published 2005
Subjects: ...Language Education. https://scigraph.springernature.com/ontologies/product-market-codes/O23000...
View full text
Electronic eBook
11
Table of Contents: .... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...
View full text
Electronic eBook
12
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
13
Subjects: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
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
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