Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
1
Published 2015
Table of Contents:
“...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...”View full text
Electronic
eBook
2
Published 2012
Subjects:
“...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
8
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
9
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Type System Improves a Foundational Program Verifier -- Computational Verification of Network Programs...”View full text
Electronic
eBook
14
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
View full text
View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... for Communication-Safe Component Systems.- Constructive Collisions.- Let’s Get Physical: Computer Science Meets...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook
18
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
19
Published 2014
Table of Contents:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”View full text
Electronic
eBook