Rekommenderade teman
Rekommenderade teman
Menade du:
computation programming » communication programming, computation programmatic, computing programming
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
computation programming » communication programming, computation programmatic, computing programming
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning basic » reasoning based, reasoning case, reasoning ais
basic text » basic texts
1
Publicerad 2005
Innehållsförteckning:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2010
Innehållsförteckning:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2008
Innehållsförteckning:
“... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2006
Innehållsförteckning:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2006
Innehållsförteckning:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2005
Innehållsförteckning:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2006
Innehållsförteckning:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Hämta fulltext
Elektronisk
E-bok
8
9
Publicerad 2006
Innehållsförteckning:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”Hämta fulltext
Elektronisk
E-bok
10
11
Publicerad 2007
Innehållsförteckning:
“...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2013
Innehållsförteckning:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2005
Innehållsförteckning:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”Hämta fulltext
Elektronisk
E-bok
14
Innehållsförteckning:
“... -- A Layered Approach -- An Open-Source Environment with SystemVerilog -- Teal Basics -- Truss: A...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2006
Innehållsförteckning:
“... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”Hämta fulltext
Elektronisk
E-bok
16
17
Publicerad 2008
Innehållsförteckning:
“...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”Hämta fulltext
Elektronisk
E-bok
18
Innehållsförteckning:
“...Introduction -- Reasons for Selecting the Examples -- Refinement Method -- Code Production...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2010
Innehållsförteckning:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2014
Innehållsförteckning:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”Hämta fulltext
Elektronisk
E-bok