Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality general » functionalities general, functionality centered, functioning general
processing tutorial » processing tutorials, processes tutorial, processing materials
tutorial program » tutorial programs
https » http
program functionality » protein functionality, programs functional, supra functionality
functionality general » functionalities general, functionality centered, functioning general
processing tutorial » processing tutorials, processes tutorial, processing materials
tutorial program » tutorial programs
https » http
1
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
2
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... of Retimed Software Loops under Timing and Resource Constraints -- Identification and Removal of Program...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”View full text
Electronic
eBook
15
Published 2011
Table of Contents:
“... Geometric Algebra -- Part III: Image Processing -- Quaternion Atomic Function for Image Processing -- Color...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... more suitable cost function -- AN LMI OPTIMIZATION APPROACH FOR GUARANTEED COST CONTROL OF SYSTEMS...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Algorithms for Inference, Analysis and Control of Boolean Networks -- Tutorial on Model Checking...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops...”View full text
Electronic
eBook