1
Veröffentlicht 2008
Inhaltsangabe: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2006
Inhaltsangabe: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Volltext
Elektronisch E-Book
3
Inhaltsangabe: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2013
Inhaltsangabe: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2013
Inhaltsangabe: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2010
Inhaltsangabe: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2008
Inhaltsangabe: ... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2014
Inhaltsangabe: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2005
Inhaltsangabe: ... Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2013
Inhaltsangabe: ... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...
Volltext
Elektronisch E-Book
12
von Townsend, RJ., Townsend, RJ.
Veröffentlicht 2010
Inhaltsangabe: ... to Drupal Functionality....
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2008
Inhaltsangabe: ...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2010
Inhaltsangabe: ... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2006
Inhaltsangabe: ... -- A Cache-Conscious Profitability Model for Empirical Tuning of Loop Fusion -- Optimizing Matrix...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2008
Inhaltsangabe: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2005
Inhaltsangabe: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2010
Inhaltsangabe: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Volltext
Elektronisch E-Book