1
Table of Contents: ...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Fusion for Context Awareness -- Dynamic Computation and Context Effects in the Hybrid Architecture AKIRA...
View full text
Electronic eBook
3
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... for Alternating Parity Automata and Parity Games -- Equivalence of Functions Represented by Simple Context-Free...
View full text
Electronic eBook
6
Table of Contents: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
View full text
Electronic eBook
7
Table of Contents: ... -- Adding Cut-and-Paste Functionality -- Adding Drag-and-Drop Functionality -- Printing -- Introducing Java...
View full text
Electronic eBook
8
by Albert, Jim., Albert, Jim.
Published 2007
Table of Contents: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... of Structure in Problem Solving by Computer -- Lessons Learned Using Genetic Programming in a Stock Picking...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
View full text
Electronic eBook
19
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
View full text
Electronic eBook