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