1
Veröffentlicht 2005
Inhaltsangabe: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Volltext
Elektronisch E-Book
3
Inhaltsangabe: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2008
Inhaltsangabe: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2014
Inhaltsangabe: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2014
Inhaltsangabe: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ... -- Towards Building Knowledge Centres on the World Wide Web -- Navigation Modelling from a User Services...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2007
Inhaltsangabe: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2010
Inhaltsangabe: ... Environments: A Cross-Cultural Study Analyzing the Willingness of Users to Share Context Information...
Volltext
Elektronisch E-Book