Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functional function » functionals function, functional functions, function function
basic functional » based functional, basic functions, basic function
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
proof basic » proofs basic, proof based
functional function » functionals function, functional functions, function function
basic functional » based functional, basic functions, basic function
parallel proof » parallel prolog, parallel probe, parallel bloom
function https » functions https, fiction https
proof basic » proofs basic, proof based
1
Published 2012
Table of Contents:
“...Part I Theory and Experiment - Why We Need TDDFT -- Part II Basic Theory -- PartIII Advanced...”View full text
Electronic
eBook
2
Table of Contents:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
View full text
View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Symbols -- A New Proof of an Ellis-Gohberg Theorem on Orthogonal Matrix Functions Related to the Nehari...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
View full text
View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Parallel Computing Models for GPU Computing -- Membrane Computing: Basics and Frontiers -- A Panorama...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
10
by Specht, Edward John., Specht, Edward John., Jones, Harold Trainer., Calkins, Keith G., Rhoads, Donald H.
Published 2015
Table of Contents:
“...Preface -- Preliminaries and Incidence Geometry (I) -- Affine Geometry: Incidence with Parallelism...”Published 2015
View full text
Electronic
eBook