1
Table of Contents: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
View full text
Electronic eBook
2
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...
View full text
Electronic eBook
6
Table of Contents: ... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or -- Cryptographic Primitives...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
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 2013
Table of Contents: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
View full text
Electronic eBook
15
Table of Contents: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... for Companion Matrices -- The Numerical Range of a Class of Self-adjoint Operator Functions -- A Perturbative...
View full text
Electronic eBook
17
Table of Contents: ...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook