1
Published 2007
Table of Contents: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
View full text
Electronic eBook
5
by Cooke, D. John., Cooke, D. John.
Published 2005
Table of Contents: ...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
View full text
Electronic eBook
7
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...
View full text
Electronic eBook
11
Table of Contents: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
View full text
Electronic eBook
12
Table of Contents: ...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...
View full text
Electronic eBook
13
Table of Contents: ...Interactive Flash -- Making Plans -- Movies that Remember -- Movies that Decide for Themselves...
View full text
Electronic eBook
14
by Meyer, Jeanine., Meyer, Jeanine.
Published 2010
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
15
Table of Contents: ... Basic 2005 Applications -- Visual Basic 2005 Language Fundamentals -- VB 2005 Programming Constructs...
View full text
Electronic eBook
16
by Brown, Charles., Brown, Charles.
Published 2008
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
17
Table of Contents: ...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...
View full text
Electronic eBook
18
by Dooley, John., Dooley, John.
Published 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
19
Table of Contents: ...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...
View full text
Electronic eBook