Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
exploring programming » evaluating programming, planning programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
space exploring » space exploration
exploring programming » evaluating programming, planning programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
space exploring » space exploration
1
Published 2008
Table of Contents:
“... Bounds -- Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity -- Constructing Efficient...”View full text
Electronic
eBook
2
Table of Contents:
“...The First Chinese Space Station -- Medieval Rockets to First Satellites -- The Program -- Expanding...”
View full text
View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... On-the-Fly State Space Exploration Using GPUs -- Forward Reachability Computation for Autonomous Max-Plus...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...-Based State Space Exploration -- On Sampling Abstraction of Continuous Time Logic with Durations...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”View full text
Electronic
eBook
8
Table of Contents:
“...: Origins of an Urban Teacher Residency -- Constructing and Negotiating a Residency Admissions Program...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Outstanding Problems in Particle Astrophysics -- Constructing the Cosmos, from Sunboats...”View full text
Electronic
eBook
11
Table of Contents:
“...A Space of Their Own -- The Archaeology of Institutions -- The Archaeology of Lunatic Asylums...”
View full text
View full text
Electronic
eBook
12
Published 2011
Table of Contents:
“... the Teaching Spaces of Higher Education -- Cheryl C. Smith -- The Book Structure: An Overview...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Construction with Best Effort Transactional Hardware -- Window-Based Greedy Contention Management...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... with Simple Robots -- Stability of Networks in Stretchable Graphs -- Space Complexity of Self-stabilizing...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Asynchronous Deterministic Rendezvous in Bounded Terrains -- Space-Optimal Rendezvous of Mobile Agents...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Operator Set in Possibility Construction Space -- The Comparison and Analysis of GP, GEP and GEP_EDA...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Protein Folding Kinetics Via Temporal Logic Model Checking -- Efficient Algorithms to Explore Conformation...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”View full text
Electronic
eBook