Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive expression » interaction expression, integration expression, interaction expressive
expression programming » expression profiling
programming programmed » processing programmed
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
interactive expression » interaction expression, integration expression, interaction expressive
expression programming » expression profiling
programming programmed » processing programmed
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
2
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... of Interaction Systems -- On the Expressive Power of Live Sequence Charts -- Refinement-Based Verification...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Difficulty Level of Programming Code with Eye-Tracking -- Expressing Observation Direction through Face...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... of Genes -- Analysis of Allele-Specific Gene Expression -- Construction of microRNA-Containing Vectors...”View full text
Electronic
eBook
8
Table of Contents:
“...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”View full text
Electronic
eBook