Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming external » programming internal, programming internals, programming interval
function computing » education computing, generation computing
external https » external help
https function » its function, sites function, ups function
programming external » programming internal, programming internals, programming interval
function computing » education computing, generation computing
external https » external help
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”View full text
Electronic
eBook
8
Table of Contents:
“...Hello, World! Your First Shell Program -- Input, Output, and Throughput -- Looping and Branching...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”View full text
Electronic
eBook
12
Table of Contents:
“...Getting Started with Python Scripting -- Basic Python -- Numerical Computing in Python -- Combining...”
View full text
View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”View full text
Electronic
eBook
19
by Berger, Theodore W., Berger, Theodore W., Chapin, John K., Gerhardt, Greg A., McFarland, Dennis J., Principe, Jose C., Soussou, Walid V., Taylor, Dawn M., Tresco, Patrick A.
Published 2008
Table of Contents:
“... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...”Published 2008
View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Invited Talks -- The Complexity of Querying External Memory and Streaming Data -- The Smoothed...”View full text
Electronic
eBook