1
by Barker, Jacquie., Barker, Jacquie.
Published 2005
Table of Contents: ...The ABCs of Objects -- Abstraction and Modeling -- Some Java Basics -- Objects and Classes...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ...-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
View full text
Electronic eBook
6
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Framework for Composing Distributed Real-Time Embedded Systems with Real-Time Java -- Mobile and Ubiquitous...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study -- A Framework for Information...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...
View full text
Electronic eBook