Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
generation computing » generation computer, generation computers, education computing
computing program » comparing programs, computing progress, computer program
program https » programs https, program has, program help
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
generation computing » generation computer, generation computers, education computing
computing program » comparing programs, computing progress, computer program
program https » programs https, program has, program help
1
Publicado 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Ligazón do recurso
Electrónico
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2005
Table of Contents:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Programs -- Space-Time Diagram Generation for Profiling Multi Agent Systems -- Infrastructure for Forensic...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2006
Table of Contents:
“...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”Ligazón do recurso
Electrónico
eBook
9
Generative and Transformational Techniques in Software Engineering IV International Summer School...
Publicado 2013
Table of Contents:
“...Compilation of Legacy Languages in the 21st Century -- Variation Programming with the Choice...”Ligazón do recurso
Electrónico
eBook
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2013
Table of Contents:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2007
Table of Contents:
“... Programming to Generating Detailed Operations Schedules for Steel Manufacturing -- An Efficient Model...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“..., Logic, and Computability -- VC Dimension Bounds for Analytic Algebraic Computations -- Resource Bounded...”Ligazón do recurso
Electrónico
eBook
20
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Publicado 2010
Table of Contents:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Ligazón do recurso
Electrónico
eBook