1
Gepubliceerd in 2008
Inhoudsopgave: ...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2006
Inhoudsopgave: ... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2006
Inhoudsopgave: ... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2005
Inhoudsopgave: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2005
Inhoudsopgave: ... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...
Volledige tekst
Elektronisch E-boek