Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
programs action » programme action, programs fiction, programs active
action https » fiction https, reactions https, function https
based https » based http
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
programs action » programme action, programs fiction, programs active
action https » fiction https, reactions https, function https
based https » based http
1
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“...Introduction; Robert Trypuz -- PART I -- 1. "Krister Segerberg’s Philosophy of Action"; Richmond...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Exploring the UI Components -- Building Component-Based Applications -- Exploiting the Architecture...”
View full text
View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
14
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics...”View full text
Electronic
eBook
16
by Chang, Hyeong Soo., Chang, Hyeong Soo., Fu, Michael C., Hu, Jiaqiao., Marcus, Steven I.
Published 2007
Table of Contents:
“...Markov Decision Processes -- Multi-stage Adaptive Sampling Algorithms -- Population-based...”Published 2007
View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”View full text
Electronic
eBook
18
Table of Contents:
“...Prologue: Some Groups and their Actions -- Basic Algebraic Concepts for Group Representations...”
View full text
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”View full text
Electronic
eBook