Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
computer programming » computer program, computer programs
operators computer » generators computer, operators computing, operators chapter
constructs https » construction https, constructs loops, constructs arti
1
Cover Image
Published 2006
Table of Contents: “... with Operators for Enabledness and Termination -- Constructing Rewrite-Based Decision Procedures for Embeddings...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2008
Table of Contents: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2010
Table of Contents: “... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2013
Table of Contents: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2014
Table of Contents: “... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2010
Table of Contents: “...Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2006
Table of Contents: “... -- CSP Is a Retract of CCS -- A Design-Based Model of Reversible Computation -- An Operational Semantics...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
by Hunt, John., Hunt, John.
Published 2006
Table of Contents: “... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2008
Table of Contents: “... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2006
Table of Contents: “...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2008
Table of Contents: “... of Hardware Using Genetic Programming -- Population Parallel GP on the G80 GPU -- Operator Equalisation...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2015
Table of Contents: “...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2006
Table of Contents: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2008
Table of Contents: “... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2008
Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2007
Table of Contents: “... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2006
Table of Contents: “... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2010
Table of Contents: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2010
Table of Contents: “...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search