1
Published 2006
Table of Contents: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...-Programming in a Mature Agile Team -- Conceptual Models of Agility -- Just Enough Structure at the Edge...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Proofs for Logic Program Transformations -- Core TuLiP Logic Programming for Trust Management -- Demand...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...
View full text
Electronic eBook
10
Table of Contents: ... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...
View full text
Electronic eBook
11
Table of Contents: ...Simple Calculations with MATLAB -- Writing Scripts and Functions -- Loops and Conditional...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... of Reordering Buffer Management with Non-uniform Costs -- Serving in the Dark Should Be Done Non-uniformly...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ...: Rethinking the Lean Concept of ‘Waste’ in Modern Software Development -- Examining the Structure of Lean...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
View full text
Electronic eBook
16
Table of Contents: ... and Strings -- 7. Working with Functions -- 8. Working with Arrays -- 9. Working with Structures -- A...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Management -- THESEUS: A Successful First Step. -Part II – Core Technologies -- Core Technologies...
View full text
Electronic eBook
18
Subjects: ...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...
View full text
Electronic eBook
19
Subjects: ...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...
View full text
Electronic eBook
20
Table of Contents: ... and The Environment -- Memory Management -- Control Structure -- Control Abstraction -- Structuring Data -- Data...
View full text
Electronic eBook