Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersection function » intersection fusion, interactions functions, interflation functions
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
function program » functional program, functions programs, functional programs
using https » using http, nursing https, aging https
intersection function » intersection fusion, interactions functions, interflation functions
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
function program » functional program, functions programs, functional programs
using https » using http, nursing https, aging https
1
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers -- Using Intersection Types...”View full text
Electronic
eBook
3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”View full text
Electronic
eBook
5
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
6
Published 2007
Table of Contents:
“... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Invited Talk 1 -- Recursive Towers of Function Fields over Finite Fields -- Efficient Finite Field...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Multiplication -- Sparse Recovery Using Sparse Random Matrices -- Optimal Succinctness for Range Minimum Queries...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... of Preemption in Scheduling -- An Improved Analysis for a Greedy Remote-Clique Algorithm Using Factor-Revealing...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Using Hybrid Components -- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions -- A Control...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Functions and Read-Once Functions -- Subshifts, MSO Logic, and Collapsing Hierarchies -- Fast...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Element Model for Epidermal Wound Healing -- Predicting Binding Sites of Hepatitis C Virus Complexes Using...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”View full text
Electronic
eBook
19
Table of Contents:
“... Principles -- Pressure Vessel Intersections -- Stress-Concentration in the Artery I -- Stress-Concentration...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”View full text
Electronic
eBook