1
Table of Contents: ... -- Programming in Java3D -- Advanced Topics....
View full text
Electronic eBook
2
Table of Contents: ... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional...
View full text
Electronic eBook
5
Table of Contents: ... -- The Blend 2 Integrated Development Environment -- C# and XAML -- Layout elements -- The MediaElement...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Have to be Categorical -- A Model-based Approach for the Integration of Configuration Fragments...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Concordance: A Framework for Managing Model Integrity -- An Integrated Facet-Based Library for Arbitrary...
View full text
Electronic eBook
9
Table of Contents: ...Part I: Introduction and Foundations: Introduction.- Foundations and Related Work -- Part II...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ...ProMAS–2011 -- Part I: Foundations of Agent Programming -- Languages -- Logical Foundations for a...
View full text
Electronic eBook
12
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...
View full text
Electronic eBook
15
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Systems -- Session-Based Distributed Programming in Java -- Session VIII -- ReCrash: Making Software...
View full text
Electronic eBook
17
by Clark, Dan., Clark, Dan.
Published 2013
Table of Contents: ...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...Certified Complexity (CerCo) -- On the Modular Integration of Abstract Semantics for WCET Analysis...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... for the Assignment Problem -- Integral Boundary Points of Convex Polyhedra -- Outline of an Algorithm for Integer...
View full text
Electronic eBook
20
Published 2011
Table of Contents: ... -- Closure and Consistency Rationalities in Logic-Based Argumentation -- Manifold Answer-Set Programs...
View full text
Electronic eBook