Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
structures structures » structures structural
program functionality » protein functionality, programs functional, supra functionality
functionality setting » functionality testing, functionality securing, functional setting
structures program » structures programs, structured program, structured programs
setting https » being https, writing https, feeding https
structures structures » structures structural
program functionality » protein functionality, programs functional, supra functionality
functionality setting » functionality testing, functionality securing, functional setting
structures program » structures programs, structured program, structured programs
setting https » being https, writing https, feeding https
1
Published 2007
Table of Contents:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Particular yield functions -- Mohr-Coulomb modified function -- Drucker-Prager Modified function -- Isotropic...”
View full text
View full text
Electronic
eBook
7
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
12
Subjects:
“...Data Structures and Information Theory. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“.... Miller) -- Construction of o-Minimal Structures from Quasianalytic Classes (J.-P. Rolin) -- Course on Non...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... and Rules -- Semi-structured Decision Rules in Object-Oriented Rough Set Models for Kansei Engineering...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”View full text
Electronic
eBook