1
Publicado em 2005
Sumário: ...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2014
Sumário: ... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
por Majkić, Zoran., Majkić, Zoran.
Publicado em 2014
Assuntos: ...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
por Hooker, John N., Hooker, John N.
Publicado em 2007
Sumário: ...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2006
Sumário: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2008
Sumário: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Sumário: ... and Fundamental Solutions -- Boundary Integral Equations -- Boundary Element Methods — Numerical Implementation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2005
Sumário: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2007
Sumário: ... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2006
Sumário: ...Foundation and Rationale for Agile Methods -- A Distributed Cognition Account of Mature XP Teams...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2005
Sumário: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Assuntos: ...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
por Otto, Steve., Otto, Steve., Denier, James P.
Publicado em 2005
Sumário: ... Statements -- Root Finding -- Interpolation and Extrapolation -- Matrices -- Numerical Integration -- Solving...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2008
Sumário: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2014
Sumário: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2010
Sumário: ... Language Processing -- An Open-Source Computational Grammar for Romanian -- Chinese Event Descriptive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2006
Sumário: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2006
Sumário: ... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2005
Sumário: ... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...
Obter o texto integral
Recurso Eletrônico livro eletrônico