1
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
4
Published 2014
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
5
Table of Contents: ...The mind and the explanation of behavior -- An introduction to behavior for neuroscientists...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...
View full text
Electronic eBook
7
Published 2011
Table of Contents: ...? -- Keys to a Sharp Mind: Results of a model program designed by retirees in an independent living...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- The Genesis of Mathematical Objects, Following Weyl and Brouwer -- Randomness, Determinism and Programs...
View full text
Electronic eBook
9
by Carsetti, A., Carsetti, A.
Published 2013
Subjects: ...Philosophy of Mind. https://scigraph.springernature.com/ontologies/product-market-codes/E31000...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...
View full text
Electronic eBook
11
Table of Contents: ... with Variables -- Using Functions -- Understanding Web Basics -- Creating and Using Forms -- Working with Markup...
View full text
Electronic eBook
12
by Powers, David., Powers, David.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
by Powers, David., Powers, David.
Published 2010
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
14
by Powers, David., Powers, David.
Published 2007
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
15
by Fischer, Robert., Fischer, Robert.
Published 2015
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...
View full text
Electronic eBook
17
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
by Takezawa, Kunio., Takezawa, Kunio.
Published 2014
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
View full text
Electronic eBook
20
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook