Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
e programming » re programming, use programming, one programming
services e » services _, services user
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
e programming » re programming, use programming, one programming
services e » services _, services user
1
Published 2010
Table of Contents:
“... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”View full text
Electronic
eBook
2
Published 2012
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....”
View full text
View full text
Electronic
eBook
7
Published 2015
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... code generators for EMF -- Service-oriented combination of code generation frameworks....”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”View full text
Electronic
eBook
11
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Applying Cost-Sensitive Multiobjective Genetic Programming to Feature Extraction for Spam E-mail Filtering...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”View full text
Electronic
eBook
16
Published 2012
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
17
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
18
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
19
Published 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”View full text
Electronic
eBook