Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program description » problem description, process description, profile description
function functional » functions functional, fractional functional, nutrition functional
description https » description atoms, description mtt, description graphs
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
program description » problem description, process description, profile description
function functional » functions functional, fractional functional, nutrition functional
description https » description atoms, description mtt, description graphs
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
1
Publicat 2010
Taula de continguts:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obtenir text complet
Electrònic
eBook
2
Taula de continguts:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“...Modeling of the Heart - Anatomy Extraction and Description -- Multi-surface Cardiac Modelling...”Obtenir text complet
Electrònic
eBook
5
Publicat 2012
Taula de continguts:
“... Functionality and Behavior -- Service Levels, Security, and Trust.-Modeling Foundations -- Representing USDL...”Obtenir text complet
Electrònic
eBook
6
“... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...”
Article
7
Publicat 2012
Matèries:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obtenir text complet
Electrònic
eBook
8
Publicat 2011
Matèries:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obtenir text complet
Electrònic
eBook
9
Publicat 2014
Taula de continguts:
“... measures -- Trade-offs between computational models and modes of operation -- Succinctness of description...”Obtenir text complet
Electrònic
eBook
10
Publicat 2015
Taula de continguts:
“...Invited Talks -- Regular Functions -- Unambiguity in Automata Theory -- Contributed Papers...”Obtenir text complet
Electrònic
eBook
11
Publicat 2013
Matèries:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obtenir text complet
Electrònic
eBook
12
“... mosque's function and the current perception of the mosque programs. The paper adopts the qualitative...”
Article
13
Publicat 2014
Taula de continguts:
“... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...”Obtenir text complet
Electrònic
eBook
14
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
17
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
18
Taula de continguts:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
19
Taula de continguts:
“... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”Obtenir text complet
Electrònic
eBook