1
Published 2007
Table of Contents: ... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... in the Presence of Memory Faults -- Reliable and Efficient Computational Geometry Via Controlled Perturbation...
View full text
Electronic eBook
3
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
4
Table of Contents: ... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Programming Problems -- Probabilistic Methods in Identification and Control -- A Learning Theory Approach...
View full text
Electronic eBook
7
8
Published 2013
Table of Contents: ... BA Program -- Comparing Two Methods of Sound Spatialization: Vector-Based Amplitude Panning vs...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... of Rewrite Systems for Polytime Functions -- On the Controller Synthesis for Finite-State Markov Decision...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...-Oriented Programming -- Comparing White-Box, Black-Box, and Glass-Box Composition of Aspect Mechanisms...
View full text
Electronic eBook
13
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...A Comprehensive Movement Compatibility Study for Hong Kong Chinese -- A Study of Comparative Design...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...-Database Based Meta-CASE System and its Query Subsystem -- An Intelligent Control System Based on Non...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...
View full text
Electronic eBook
18
Table of Contents: ... -- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use...
View full text
Electronic eBook
19
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
20
Table of Contents: ... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...
View full text
Electronic eBook