Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
sequencing program » sequencing problem, sequential program, sequential programs
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
functionality using » functionality business, functionality design, functioning using
sequencing program » sequencing problem, sequential program, sequential programs
using https » using http, nursing https, aging https
1
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
4
Table of Contents:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
View full text
View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... by SLIC or Sequence and Ligation Independent Cloning -- Quick and Clean Cloning -- Hierarchical Ligation...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“....-Numerical Integration Using Sequences Generating Permutations.-XII Table of Contents.-Optimization...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- An Occurrence Based Approach to Mine Emerging Sequences -- Mining Closed Itemsets in Data Stream Using Formal...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... in the Calculus of Constructions -- Longest Sorted Sequence Algorithm for Parallel Text Alignment -- Information...”View full text
Electronic
eBook