1
Published 2006
Table of Contents: ... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...
View full text
Electronic eBook
2
Table of Contents: ...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... -- The Functional Analysis of Biological Macromolecules -- The Structure-Based Drug Design....
View full text
Electronic eBook
4
by Oller, Sergio., Oller, Sergio.
Published 2014
Table of Contents: ... of the Deformable Bodies -- Basic definitions of tensors describing the kinematics of a point in the space -- Strain...
View full text
Electronic eBook
5
Table of Contents: ...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...
View full text
Electronic eBook
6
by Evans, Brian., Evans, Brian.
Published 2011
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
7
Table of Contents: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
View full text
Electronic eBook
8
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
9
by Lee, Kent D., Lee, Kent D.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Table of Contents: ... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
12
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
Table of Contents: ...? -- What is Structured Data? -- Basic Data Types -- Basic Organization of Data: Containers -- Accessing...
View full text
Electronic eBook
14
by Wise, Cheryl D., Wise, Cheryl D.
Published 2007
Table of Contents: ... -- Using Semantic, Structured HTML to Create Web Pages -- Essential CSS: What You Need to Know -- Using...
View full text
Electronic eBook
15
by Clark, Dan., Clark, Dan.
Published 2006
Table of Contents: ... Interaction -- Designing OOP Solutions: A Case Study -- Object-Oriented Programming with Visual Basic...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ...Preface -- Blowings-up of Vector Fields (F. Cano) -- Basics of o-Minimality and Hardy Fields (C...
View full text
Electronic eBook
18
Table of Contents: ...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...
View full text
Electronic eBook
19
Table of Contents: ...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...
View full text
Electronic eBook
20
by Kluge, Werner., Kluge, Werner.
Published 2005
Table of Contents: ...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...
View full text
Electronic eBook