Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programmed » processing programmed
developing programming » development programming, developing programmed, developing programmable
programmed constructs » programming constructs, programme contract, programmed instructions
models developing » skills developing
constructs https » construction https, constructs loops, constructs arti
programming programmed » processing programmed
developing programming » development programming, developing programmed, developing programmable
programmed constructs » programming constructs, programme contract, programmed instructions
models developing » skills developing
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”View full text
Electronic
eBook
2
Table of Contents:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
View full text
View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“...The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...-programming over Membranes -- Modelling Dynamically Organised Colonies of Bio-entities -- P Systems: Some...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Register Allocation -- Program Analysis -- Program Refactoring, Program Synthesis, and Model-Driven...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
10
Table of Contents:
“...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Source Software Development Process Modeling -- Software Dependability Applications in Process Modeling...”View full text
Electronic
eBook
13
Table of Contents:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text
View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”View full text
Electronic
eBook
16
Subjects:
“...Entrepreneurship. https://scigraph.springernature.com/ontologies/product-market-codes/514000...”
View full text
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”View full text
Electronic
eBook
19
Table of Contents:
“... -- Programming Units: Processes -- Extended Constructs -- Design in P: First Steps -- Formal properties of SIGNAL...”
View full text
View full text
Electronic
eBook
20
Published 2011
Table of Contents:
“...A Model-Driven Framework for Aspect Weaver Construction -- A System of Patterns for Reusable Aspect...”View full text
Electronic
eBook