Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming definitions » programming decisions, programming defining, reframing definitions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
definitions based » definition based, definitions basic, definitions used
programming definitions » programming decisions, programming defining, reframing definitions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
definitions based » definition based, definitions basic, definitions used
1
Published 2013
Table of Contents:
“... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”View full text
Electronic
eBook
6
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
7
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Toolbox QuPAT on Scilab -- Agent Based Evacuation Model with Car-Following Parameters by Means of Cellular...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Definition, Assurance, and Enforcement -- Ontology-Based Model Transformation -- Modeling Turnpike: A Model...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Toolbox for Multi-modal Context Recognition -- Memory Systems -- Dynamic Dictionary-Based Data Compression...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Computing; P.P. Hung, et al -- Study on Encryption of Wireless Network-Based Mobility Energy-Enterprise...”View full text
Electronic
eBook
13
Table of Contents:
“... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
View full text
View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison Computer Tool...”View full text
Electronic
eBook
15
Table of Contents:
“...Chapter 1. Working Definitions -- Chapter 2. Image Resolution vs. Habitat Selection Scale in a...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”View full text
Electronic
eBook
17
Table of Contents:
“... -- 8. Substitution, Mathematica rules -- 9. Pattern matching -- 10. Functions with multiple definitions...”
View full text
View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Invariant Analyzer Tool -- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs....”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... for Heterogeneous Context Aware Services -- Community Computing Model Supporting Community Situation Based Strict...”View full text
Electronic
eBook