Suggested Topics within your search.
Search alternatives:
https implementation » states implementation, its implementation, cites implementation
implementation https » instrumentation https, implementation _
program space » programs space, programme space, program pacd
space https » state https
1
Cover Image
Published 2010
Table of Contents: “...Motivation -- Fundamentals of Agile Distributed Software Development -- Transition -- Implementing...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2006
Table of Contents: “... — Inferring User Goals from Observed Actions -- Programming iSpaces — A Tale of Two Paradigms....”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2005
Table of Contents: “... -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Table of Contents: “...Preface -- Chapter 1: Dynamic Systems -- Chapter 2: State Space Grids -- Chapter 3: GridWare...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
by Mercuri, Marc., Mercuri, Marc.
Published 2007
Table of Contents: “...A Lap Around CardSpace -- The Laws of Identity and the Identity Metasystem -- The Identity...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2006
Table of Contents: “... Decentralized and Flexible Tool Supporting Extreme Programming Software Development -- The PoEML Proposal...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Table of Contents: “... of Microwave Operational Rainfall Algorithms -- Space-Borne Radar Algorithms -- Rain Type Classification...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2005
Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2010
Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2006
Table of Contents: “...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2013
Table of Contents: “... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2007
Table of Contents: “... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
by Le, Nhu D., Le, Nhu D., Zidek, James V.
Published 2006
Table of Contents: “... -- Space-Time Modeling -- Covariances -- Spatial Prediction: Classical Approaches -- Bayesian Kriging...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2013
Table of Contents: “... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2005
Table of Contents: “...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2012
Table of Contents: “... -- MAS:Qualitative and Quantitative Reasoning -- State Space Reduction for Model Checking Agent Programs -- Part...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
by Simon, Axel., Simon, Axel.
Published 2008
Table of Contents: “... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
by Comninos, Peter., Comninos, Peter.
Published 2006
Table of Contents: “... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2007
Table of Contents: “... Through Animation and Graphics: An Extended Walk-Through -- Implementation Effort and Performance...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search