Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs containing » programs maintaining, programs combining, programs concerning
function function » function functional, functions functional, function dysfunction
containing https » containing herpes, containing crops, containing his
https function » its function, sites function, ups function
function https » functions https, fiction https
programs containing » programs maintaining, programs combining, programs concerning
function function » function functional, functions functional, function dysfunction
containing https » containing herpes, containing crops, containing his
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”View full text
Electronic
eBook
5
Subjects:
“...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...”
View full text
View full text
Electronic
eBook
7
Subjects:
“...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...”
View full text
View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...”View full text
Electronic
eBook
10
Subjects:
“...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”View full text
Electronic
eBook
12
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”View full text
Electronic
eBook
15
Table of Contents:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
View full text
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Avoiding Simplicity Is Complex -- Higher-Order Containers -- On the Completeness of Quantum...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook