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