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