Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
functions compositional » function composition, functions computational, functionally compositional
functions composition » function composition, functional composition, function decomposition
using theory » nursing theory, queuing theory, testing theory
functions compositional » function composition, functions computational, functionally compositional
functions composition » function composition, functional composition, function decomposition
using theory » nursing theory, queuing theory, testing theory
1
Publicado em 2008
Sumário:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Publicado em 2013
Sumário:
“... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... of Nondeterministic Automata Using Factorization Forests -- On the Complexity of Searching in Trees: Average-Case...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2005
Sumário:
“... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“... Communication Networks Using Evolutionary Algorithm -- A New GA – Based and Graph Theory Supported Distribution...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2007
Sumário:
“... and Their Reachable State Spaces -- Specification -- Precise Specification of Use Case Scenarios -- Joint Structural...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2008
Sumário:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2007
Sumário:
“...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2010
Sumário:
“... Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2010
Sumário:
“... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Sumário:
“... Functional Control -- 3.4 Case Study: A Water Heater -- 3.5 Exercises -- 4 Generalized Predictive Control...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2005
Sumário:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... Encryption over the Integers -- Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2006
Sumário:
“...Cryptanalysis -- Security Analysis of the Strong Diffie-Hellman Problem -- Cryptography in Theory...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“... -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2007
Sumário:
“... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]