Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing programmed » development programmes, development programme, developing grammar
program construction » programmed instruction
developing programs » development programs, development program, development programmes
construction https » instruction https, conservation https, construction history
developing programmed » development programmes, development programme, developing grammar
program construction » programmed instruction
developing programs » development programs, development program, development programmes
construction https » instruction https, conservation https, construction history
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 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”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
Published 2005
Table of Contents:
“...-programming over Membranes -- Modelling Dynamically Organised Colonies of Bio-entities -- P Systems: Some...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language...”View full text
Electronic
eBook
8
Table of Contents:
“...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
View full text
View full text
Electronic
eBook
9
Subjects:
“...Entrepreneurship. https://scigraph.springernature.com/ontologies/product-market-codes/514000...”
View full text
View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
13
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
14
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
15
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
16
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
17
Table of Contents:
“... with JOAL -- The P5 Glove -- JOGL -- Two JOGL Programming Frameworks -- Touring the World -- Loading Models....”
View full text
View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Development -- Modelling and Proof Analysis of Interrupt Driven Scheduling -- Refinement of Statemachines...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Register Allocation -- Program Analysis -- Program Refactoring, Program Synthesis, and Model-Driven...”View full text
Electronic
eBook
20
Table of Contents:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text
View full text
Electronic
eBook