Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program description » problem description, process description, profile description
function computing » education computing, generation computing
description https » description atoms, description mtt, description graphs
https function » its function, sites function, ups function
program description » problem description, process description, profile description
function computing » education computing, generation computing
description https » description atoms, description mtt, description graphs
https function » its function, sites function, ups function
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... Functionality and Behavior -- Service Levels, Security, and Trust.-Modeling Foundations -- Representing USDL...”View full text
Electronic
eBook
4
Published 2012
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... measures -- Trade-offs between computational models and modes of operation -- Succinctness of description...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“...Invited Talks -- Regular Functions -- Unambiguity in Automata Theory -- Contributed Papers...”View full text
Electronic
eBook
7
Published 2013
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
8
Published 2011
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
9
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
12
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Modeling of the Heart - Anatomy Extraction and Description -- Multi-surface Cardiac Modelling...”View full text
Electronic
eBook
19
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook