Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming external » programming internal, programming internals, programming interval
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
external https » external help
using https » using http, nursing https, aging https
programming external » programming internal, programming internals, programming interval
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
external https » external help
using https » using http, nursing https, aging https
1
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
2
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
3
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
4
Published 2007
Table of Contents:
“... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
6
Table of Contents:
“... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“... of Discretization -- ANSYS® Preprocessor -- ANSYS® Solution And Postprocessing -- Finite Element Equations -- Use...”
View full text
View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
9
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
10
Table of Contents:
“... Strategies and Tools -- Optimizer Plan Stability -- Analytic Functions -- Materialized Views -- Partitioning...”
View full text
View full text
Electronic
eBook
11
Table of Contents:
“...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
View full text
View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“...Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...-Protected Hypervisor on the x86 Hardware Virtualized Architecture -- A DAA Scheme Using Batch Proof...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Keynote Papers -- Efficient Web Browsing with Perfect Anonymity Using Page Prefetching...”View full text
Electronic
eBook
18
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
19
Published 2010
Table of Contents:
“... Multiplication -- Sparse Recovery Using Sparse Random Matrices -- Optimal Succinctness for Range Minimum Queries...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Sorting and Filtering -- Analyzing Data Using Subtotals, Consolidations, and Tables -- Creating...”
View full text
View full text
Electronic
eBook