1
Gepubliceerd in 2005
Inhoudsopgave: ... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2015
Inhoudsopgave: ... microchannel with a hyperbolic contraction: an automatic method, by B. Taboada, F. C. Monteiro, R. Lima -- A 3D...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... Verification -- Neural Network Visualization Techniques -- Rule Extraction as a Formal Method -- Automated Test...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ... -- The Generation of Patient-Specific Heart Models for Diagnosis and Interventions -- Methods and Infrastructure...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2010
Inhoudsopgave: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2005
Inhoudsopgave: ...: A New Method for Fitting Mesh Model to Given Object Surface -- Image-Based Deformation of Objects...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2012
Inhoudsopgave: ... Bayesian Network Structure -- The Mix-Matrix Method in the Problem of Binary Quadratic Optimization -- A...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2005
Inhoudsopgave: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2011
Inhoudsopgave: ... -- A Petri Net-based Software Process Model for Developing Process-Oriented Information Systems...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2008
Inhoudsopgave: ... Distribution in Peering CDNs -- Business Process Technology -- Process View Derivation and Composition in a...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2005
Inhoudsopgave: ... -- Conversation Quantization for Conversational Knowledge Process -- Wrapper Generation for Automatic Data...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2006
Inhoudsopgave: ... -- Business Process Requirements, Modeling Technique and Standard: how to Identify Interoperability Gaps on a...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2006
Inhoudsopgave: ...Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2007
Inhoudsopgave: ...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2007
Inhoudsopgave: ...-Based Process Chains – A Graph Based Approach -- An Application Of Iso-Gum In The Method For Estimating...
Volledige tekst
Elektronisch E-boek
17
door Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Gepubliceerd in 2005
Inhoudsopgave: ...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2013
Inhoudsopgave: ... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2007
Inhoudsopgave: ... Contract Model to Organize Behavioral Specifications -- Improved Processing of Textual Use Cases: Deriving...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2008
Inhoudsopgave: ... Architecture into the Semantic Web -- RDFS Reasoning and Query Answering on Top of DHTs -- An Interface-Based...
Volledige tekst
Elektronisch E-boek