Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
constructive methods » construction methods, constructivist methods, construction method
methods programming » methods programmed, networks programming, meta programming
programming special » programming social, programming serial, programming facial
special function » special functions, special functional, spectral function
constructive methods » construction methods, constructivist methods, construction method
methods programming » methods programmed, networks programming, meta programming
programming special » programming social, programming serial, programming facial
special function » special functions, special functional, spectral function
1
Publicado em 2014
Sumário:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Sumário:
“... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2008
Sumário:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Sumário:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2008
Sumário:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2010
Sumário:
“...-Style Points-To Analysis by Method Summarization and Cycle-Elimination -- A Formal Analysis of the Web...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
por Ismail, Fudziah
Publicado em 2016
“... in numerical methods is a critically important part of the study of numerical analysis. Hence, we will see...”Publicado em 2016
Obter o texto integral
Inaugural Lecture
8
Publicado em 2008
Sumário:
“... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2008
Sumário:
“... Dispersion: DEPOL 04 & 05 -- Dispersant Research in a Specialized Wave Tank: Mimicking the Mixing Energy...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2008
Sumário:
“... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2005
Sumário:
“... with GCS -- A Genetic Approach to Data Dimensionality Reduction Using a Special Initial Population...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2002
Sumário:
“... -- PCR Method for Generating Multiple Mutations at Adjacent Sites -- A Fast Polymerase Chain Reaction...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2010
Sumário:
“... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2010
Sumário:
“... Environment and its Comparison -- Ubiquitous Data Management in a Personal Information Environment...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2010
Sumário:
“...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2007
Sumário:
“... Service Systems -- A Knowledge-Based Model Representation and On-Line Solution Method for Dynamic Vehicle...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2008
Sumário:
“... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
por Azizan, Che’ Rozaniza, Roslan, Samsilah, Abdullah, Maria Chong, Asimiran, Soaib, Zaremohzzabieh, Zeinab, Ahrari, Seyedali
Publicado em 2021
“... the Special Skills Certificate program; (3) Results: Results revealed that the two constructs of the person...”Publicado em 2021
Obter o texto integral
Atigo
19
Publicado em 2014
Sumário:
“... -- Design and Construction of An Image-Guide Procedure Room -- The Hybrid Neurovascular Operating Room -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2010
Sumário:
“... Decision Support Software in Health Insurance Company -- A new Artificial Vision Method for Bad Atmospheric...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
- 1
- 2
- 3
- Seguinte »
- [3]