1
Published 2008
Table of Contents: ... Properties about Lists Using Containers -- Rewriting -- Termination of Narrowing in Left-Linear Constructor...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
3
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
4
by Horton, Ivor., Horton, Ivor.
Published 2015
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...
View full text
Electronic eBook
9
Subjects: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
View full text
Electronic eBook
10
Table of Contents: ...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...
View full text
Electronic eBook
12
by Lee, Kent D., Lee, Kent D.
Published 2011
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
13
Table of Contents: ... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
View full text
Electronic eBook
16
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
17
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ... or Heteroclinic Loop -- Finding More Limit Cycles Using Melnikov Functions -- Limit Cycle Bifurcations...
View full text
Electronic eBook
18
Table of Contents: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... as Requirements -- What Do Practitioners Vary in Using Scrum? -- Key Challenges in Early-Stage Software Startups...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...
View full text
Electronic eBook