1
Được phát hành 2007
Mục lục: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
lấy văn bản
Điện tử eBook
2
Được phát hành 2005
Mục lục: ...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...
lấy văn bản
Điện tử eBook
3
Được phát hành 2014
Mục lục: ... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...
lấy văn bản
Điện tử eBook
4
Được phát hành 2008
Mục lục: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
lấy văn bản
Điện tử eBook
5
Bằng Majkić, Zoran., Majkić, Zoran.
Được phát hành 2014
Những chủ đề: ...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...
lấy văn bản
Điện tử eBook
6
Bằng Hooker, John N., Hooker, John N.
Được phát hành 2007
Mục lục: ...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...
lấy văn bản
Điện tử eBook
7
Được phát hành 2006
Mục lục: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
lấy văn bản
Điện tử eBook
8
Bằng Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Được phát hành 2005
Những chủ đề: ...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...
lấy văn bản
Điện tử eBook
9
Bằng Beer, Gernot., Beer, Gernot., Smith, Ian., Duenser, Christian.
Được phát hành 2008
Mục lục: ... and Fundamental Solutions -- Boundary Integral Equations -- Boundary Element Methods — Numerical Implementation...
lấy văn bản
Điện tử eBook
10
Được phát hành 2007
Mục lục: ... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...
lấy văn bản
Điện tử eBook
11
Được phát hành 2005
Mục lục: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
lấy văn bản
Điện tử eBook
12
Được phát hành 2006
Mục lục: ...Foundation and Rationale for Agile Methods -- A Distributed Cognition Account of Mature XP Teams...
lấy văn bản
Điện tử eBook
13
Được phát hành 2005
Mục lục: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
lấy văn bản
Điện tử eBook
14
Bằng Otto, Steve., Otto, Steve., Denier, James P.
Được phát hành 2005
Mục lục: ... Statements -- Root Finding -- Interpolation and Extrapolation -- Matrices -- Numerical Integration -- Solving...
lấy văn bản
Điện tử eBook
15
Được phát hành 2008
Mục lục: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
lấy văn bản
Điện tử eBook
16
Được phát hành 2014
Mục lục: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
lấy văn bản
Điện tử eBook
17
Được phát hành 2010
Mục lục: ... Language Processing -- An Open-Source Computational Grammar for Romanian -- Chinese Event Descriptive...
lấy văn bản
Điện tử eBook
18
Được phát hành 2006
Mục lục: ... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...
lấy văn bản
Điện tử eBook
19
Được phát hành 2006
Mục lục: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
lấy văn bản
Điện tử eBook
20
Được phát hành 2005
Mục lục: ... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...
lấy văn bản
Điện tử eBook