1
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
2
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Symmetry Enhanced Adaboost -- Object Category Classification Using Occluding Contours -- Visualization I...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Progress Tracking Process from Point Cloud for Industrial Plants Construction -- An Integrated Approach...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...
View full text
Electronic eBook
7
by Grout, Ian A., Grout, Ian A.
Published 2006
Table of Contents: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
View full text
Electronic eBook
8
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
9
Table of Contents: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
View full text
Electronic eBook
11
Table of Contents: ...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook
13
Table of Contents: ... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...
View full text
Electronic eBook
16
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
17
Published 2008
Table of Contents: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
View full text
Electronic eBook
18
Table of Contents: .... Numerical differentiation and integration -- 5. Linear systems -- 6. Eigenvalues and eigenvectors -- 7...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform -- A Visual Programming Approach...
View full text
Electronic eBook
20
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook