Suggested Topics within your search.
Search alternatives:
program implications » program implicatios, program applications, programs applications
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
implications https » complications https, applications https, implications held
using https » using http, nursing https, aging https
1
Cover Image
Published 2008
Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2010
Table of Contents: “... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2006
Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: “... or Heteroclinic Loop -- Finding More Limit Cycles Using Melnikov Functions -- Limit Cycle Bifurcations...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2014
Table of Contents: “...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
by Ruggiero, John., Ruggiero, John.
Published 2011
Subjects: “...Economic Policy. https://scigraph.springernature.com/ontologies/product-market-codes/W34010...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2007
Table of Contents: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Published 2007
Table of Contents: “... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2010
Table of Contents: “...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2014
Table of Contents: “...Introduction -- PART I: Limits to Resource Use -- 1. The Limits of Resource Use and their Economic...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
by Daggett, Mark E., Daggett, Mark E.
Published 2013
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2012
Table of Contents: “... of Linear Hybrid Automata -- Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
Published 2010
Table of Contents: “... Aggregation Functions and Their Derived S-Implications -- Aggregation Functions with Stronger Types...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2010
Table of Contents: “... Emissions -- Coping with Uncertainty in Temporal Gene Expressions Using Symbolic Representations -- Olive...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2010
Table of Contents: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2008
Table of Contents: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
by Lover, Robert., Lover, Robert.
Published 2008
Table of Contents: “... Functional Properties of Program Designs -- Quantified Forms -- Logical Equivalence -- Logical Implication...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2008
Table of Contents: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Subjects: “...Building Types and Functions. https://scigraph.springernature.com/ontologies/product-market-codes/K...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2008
Table of Contents: “... Recognition -- Object Detection Using Neural Networks and Genetic Programming -- Direct 3D Metric...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search