Search Results - interactions expression programming programming constructs https

Search alternatives:
interactions expression » interaction expression , integration expression , interaction expressive
programming programming » programming programmed , programming program
expression programming » expression profiling
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
View full text

Electronic eBook

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text

Electronic eBook

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Published 2007

Table of Contents: “... of Interaction Systems -- On the Expressive Power of Live Sequence Charts -- Refinement-Based Verification...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Published 2006

Table of Contents: “... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...”
View full text

Electronic eBook

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

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

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Published 2014

Table of Contents: “... Difficulty Level of Programming Code with Eye-Tracking -- Expressing Observation Direction through Face...”
View full text

Electronic eBook

Gene Mapping, Discovery, and Expression Methods and Protocols /

Published 2006

Table of Contents: “... of Genes -- Analysis of Allele-Specific Gene Expression -- Construction of microRNA-Containing Vectors...”
View full text

Electronic eBook

Categories for Software Engineering

by Fiadeiro, Jose Luiz., Fiadeiro, Jose Luiz.
Published 2005

Table of Contents: “...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
View full text

Electronic eBook

Software Process Modeling

Published 2005

Table of Contents: “...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”
View full text

Electronic eBook

Large-Scale Knowledge Resources. Construction and Application Construction and Application - Third...

Published 2008

Table of Contents: “... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

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

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”
View full text

Electronic eBook

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions...”
View full text

Electronic eBook

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /

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

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
View full text

Electronic eBook

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”
View full text

Electronic eBook

Expert F#

by Cisternino, Antonio., Cisternino, Antonio., Granicz, Adam., Syme, Don.
Published 2007

Table of Contents: “...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
View full text

Electronic eBook

Narrow Search