1
Gepubliceerd in 2010
Inhoudsopgave: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2015
Inhoudsopgave: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2005
Inhoudsopgave: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2006
Inhoudsopgave: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Volledige tekst
Elektronisch E-boek
5
door Raynal, Michel., Raynal, Michel.
Gepubliceerd in 2013
Inhoudsopgave: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
Volledige tekst
Elektronisch E-boek
6
door Brainerd, Walter S., Brainerd, Walter S.
Gepubliceerd in 2015
Inhoudsopgave: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2010
Inhoudsopgave: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2010
Inhoudsopgave: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2013
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2006
Inhoudsopgave: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2006
Inhoudsopgave: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Volledige tekst
Elektronisch E-boek
12
door Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Gepubliceerd in 2008
Inhoudsopgave: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2005
Inhoudsopgave: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Volledige tekst
Elektronisch E-boek
14
Inhoudsopgave: ... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2010
Inhoudsopgave: ... of Information System Services Between Germany and the USA -- Finite Mixture Partial Least Squares Analysis...
Volledige tekst
Elektronisch E-boek
16
Inhoudsopgave: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2006
Inhoudsopgave: ... -- Intelligent Grids -- Programming and Process -- A Grid Software Process -- Grid Programming with Java, RMI...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2008
Inhoudsopgave: ... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2014
Inhoudsopgave: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2012
Inhoudsopgave: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Volledige tekst
Elektronisch E-boek