Suggested Topics within your search.
Search alternatives:
program generation » program execution
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
generation https » degeneration https, generation hts, generation helps
using https » using http, nursing https, aging https
1
Cover Image
Published 2010
Table of Contents: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2012
Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Table of Contents: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2006
Table of Contents: “...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”
View full text
Electronic eBook
Save to List
Saved in:
5
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:
6
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:
7
Cover Image
Published 2010
Table of Contents: “... -- Generation of Functional Insulin-Producing Cells from Human Embryonic Stem Cells In Vitro -- Mesoderm Cell...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
by Horton, Ivor., Horton, Ivor.
Published 2015
Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: “...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2005
Table of Contents: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2012
Table of Contents: “... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
Published 2006
Table of Contents: “... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”
View full text
Electronic eBook
Save to List
Saved in:
13
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:
14
Cover Image
Published 2014
Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2010
Table of Contents: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2014
Table of Contents: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2006
Table of Contents: “... Via Periodic Optimization and Linear Programming: The Case of Sigmoidal Utility Function -- TCP Versus...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Table of Contents: “... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2010
Table of Contents: “...! -- Using Haptic-Based Trajectory Following in 3D Space to Distinguish between Men and Women -- Hand-Held...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2006
Table of Contents: “...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search