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