1
Publicado em 2015
Sumário: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Abdullah, Adam Abdelkarim
Publicado em 2000
... be collected before and after the construction of a project, to make it available for the planning and design...
Obter o texto integral
Thesis
3
Por Abdullah, Adam Abdelkarim
Publicado em 2000
Assuntos: ...Construction industry - Management...
Obter o texto integral
Thesis
4
Publicado em 2012
Sumário: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... Dispute -- Negotiating Construction Dispute -- Mediation as a Form of Assisted Negotiation....
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Sumário: ... Models -- Applying Markowitz’s Critical Line Algorithm -- Factor Models in Portfolio and Asset Pricing...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... and Its Application -- Interpretation of the Preferences of Automotive Customers Applied to Air...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Por Foster, Elvis., Foster, Elvis.
Publicado em 2014
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2006
Sumário: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Sumário: ...Methods for Finding Geometric Extrema -- Selected Types of Geometric Extremum Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... -- Capturing the Structures in Association Knowledge: Application of Network Analyses to Large-Scale Databases...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Por Horvath, Laszlo.
Publicado em 2004
Sumário: ...1. The magic world of virtual engineering -- 2. Activities in virtual engineering -- 3. Computer...
Livro
13
Publicado em 2005
Sumário: ... Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Sumário: ... of Nonlocal Continua -- Meshless Analysis of Plasticity -- Appendix A Vector and Tensor -- Appendix B...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Sumário: ... -- Applications of Non-Linear Computational Geometry -- Algebraic Structures -- Separation Theorems -- Algorithms...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Por Woodward, M.,
Publicado em 2014
Assuntos: ...Epidemiology Statistical methods....
Cover image
Livro
17
Publicado em 2008
Sumário: ... -- Additive Regression Applied to a Large-Scale Collaborative Filtering Problem -- A Novel Recommending...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... Adaptation -- An Abstract Argumentation Framework for Supporting Agreements in Agent Societies -- Reaching a...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2008
Sumário: ... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Sumário: ... -- Advanced Topics -- Functor-Based Constructions -- Adjunctions -- Applications -- CommUnity -- Architectural...
Obter o texto integral
Recurso Electrónico livro electrónico