Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
developing computer » development computer, developing competent, developing complex
https developing » hits developing, steps developing, crops developing
program method » programs method, program mentor, programming method
computer https » computers https, computing https, computer arts
method https » methods https
developing computer » development computer, developing competent, developing complex
https developing » hits developing, steps developing, crops developing
program method » programs method, program mentor, programming method
computer https » computers https, computing https, computer arts
method https » methods https
1
Publicado em 2006
Sumário:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Sumário:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Assuntos:
“...Computer programming....”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2008
Sumário:
“... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2005
Sumário:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2012
Sumário:
“...Part I Computational Statistics -- Part II Statistical Computing -- Part III Statistical...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Sumário:
“...-infinite Domains -- Method of Lines for Parabolic Partial Differential Equations -- Method of Lines...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2008
Sumário:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2015
Sumário:
“... in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2014
Sumário:
“...Developments in Concurrent Kleene Algebra (Invited Talk) -- Endowing Concurrent Kleene Algebra...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2005
Sumário:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2007
Sumário:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Assuntos:
“...Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2011
Sumário:
“... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2014
Sumário:
“...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Sumário:
“... Programming -- Computation of Convex Hulls -- Voronoi Diagrams -- Delone Triangulations -- Algebraic...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... Development from ES Cells -- Directed Differentiation of Red Blood Cells from Human Embryonic Stem Cells...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Por Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicado em 2011
Sumário:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Publicado em 2011
Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Sumário:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico