1
Published 2005
Table of Contents: ... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...
View full text
Electronic eBook
2
by Brown, Charles., Brown, Charles.
Published 2008
Table of Contents: ... -- Case Study: Part 1 -- Case Study: Part 2 -- Flex and Data -- Printing -- Charting -- Adobe Integrated...
View full text
Electronic eBook
3
by Wobeser, Gary A., Wobeser, Gary A.
Published 2007
Table of Contents: ... human activities -- Emergency and integrated management programs -- Assessing the effectiveness of a...
View full text
Electronic eBook
4
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
View full text
Electronic eBook
9
Table of Contents: ...The History and Scope of Insect Behavior -- Programming and Integrating Behavior -- Spatial...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Invited Papers -- Invariant Based Programming -- On the Integration of UML and Petri Nets...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Construction Project Histories for Estimating and Defect Detection -- Case Studies of Intelligent Context-Aware...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Itemsets and Rare Association Rules -- Background Knowledge Integration in Clustering Using Purity Indexes...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... with ICTs -- Chapter 5 -- Applying TPACK-P to a teacher education program -- Part III The Integrative Model...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...-Based System for Applying Environmental Management Plan (EMP) in the Malaysian Construction Industry...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... for Visual Tracking -- Interactive Knowledge Integration in 3D Cloth Animation with Intelligent Learning...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Agents -- Integration of CityGML and Collada for High-Quality Geographic Data Visualization on the PC...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Agents -- Using Semantic Causality Graphs to Validate MAS Models -- A Multiagent Framework to Animate...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...: Multidimensional Scaling vs. Semidefinite Programming Approach -- On the Complexity of the Greedy Construction...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Preference Based Learning Community Construction and Service Support -- Developing an Online History...
View full text
Electronic eBook