Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
developing computer » development computer, developing competent, developing complex
https developing » hits developing, steps developing, crops developing
programs method » program method, problems method, 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
programs method » program method, problems method, programming method
computer https » computers https, computing https, computer arts
method https » methods https
1
Pubblicazione 2006
Sommario:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”Testo
Elettronico
eBook
2
Sommario:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Testo
Testo
Elettronico
eBook
3
4
Pubblicazione 2008
Sommario:
“... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”Testo
Elettronico
eBook
5
Pubblicazione 2012
Sommario:
“...Part I Computational Statistics -- Part II Statistical Computing -- Part III Statistical...”Testo
Elettronico
eBook
6
Pubblicazione 2015
Sommario:
“... in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches...”Testo
Elettronico
eBook
7
Pubblicazione 2014
Sommario:
“...Developments in Concurrent Kleene Algebra (Invited Talk) -- Endowing Concurrent Kleene Algebra...”Testo
Elettronico
eBook
8
Pubblicazione 2005
Sommario:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”Testo
Elettronico
eBook
9
Sommario:
“...-infinite Domains -- Method of Lines for Parabolic Partial Differential Equations -- Method of Lines...”
Testo
Testo
Elettronico
eBook
10
Pubblicazione 2008
Sommario:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”Testo
Elettronico
eBook
11
Pubblicazione 2005
Sommario:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”Testo
Elettronico
eBook
12
Pubblicazione 2007
Sommario:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Testo
Elettronico
eBook
13
Soggetti:
“...Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013...”
Testo
Testo
Elettronico
eBook
14
Pubblicazione 2011
Sommario:
“... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...”Testo
Elettronico
eBook
15
Pubblicazione 2014
Sommario:
“...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...”Testo
Elettronico
eBook
16
Sommario:
“... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...”
Testo
Testo
Elettronico
eBook
17
Sommario:
“... Programming -- Computation of Convex Hulls -- Voronoi Diagrams -- Delone Triangulations -- Algebraic...”
Testo
Testo
Elettronico
eBook
18
Pubblicazione 2010
Sommario:
“... Development from ES Cells -- Directed Differentiation of Red Blood Cells from Human Embryonic Stem Cells...”Testo
Elettronico
eBook
19
di Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Pubblicazione 2011
Sommario:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Pubblicazione 2011
Testo
Elettronico
eBook
20
Pubblicazione 2008
Sommario:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”Testo
Elettronico
eBook