Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
programs based » programs case, programming based
based program » based programming
using https » using http, nursing https, aging https
program functioning » program functionality, programs functional, project functioning
functioning using » function using, functions using, functioning among
programs based » programs case, programming based
based program » based programming
using https » using http, nursing https, aging https
1
Publicat 2008
Taula de continguts:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“.... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“... -- On the Limiting Distribution of Program Sizes in Tree-Based Genetic Programming -- Predicting Prime Numbers Using...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Obtenir text complet
Electrònic
eBook
12
Publicat 2006
Taula de continguts:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
14
Publicat 2007
Taula de continguts:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”Obtenir text complet
Electrònic
eBook
17
Taula de continguts:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Obtenir text complet
Electrònic
eBook
19
Publicat 2006
Taula de continguts:
“... Compiler from ?-Protocol to 2-Move Deniable Zero-Knowledge -- New Extensions of Pairing-Based Signatures...”Obtenir text complet
Electrònic
eBook
20
Publicat 2012
Taula de continguts:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Obtenir text complet
Electrònic
eBook