1
Publicado 2013
Tabla de Contenidos: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Enlace del recurso
Electrónico eBook
2
Tabla de Contenidos: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Enlace del recurso
Electrónico eBook
3
Publicado 2013
Tabla de Contenidos: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Enlace del recurso
Electrónico eBook
4
por Bradley, Aaron R., Bradley, Aaron R.
Publicado 2011
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
5
Publicado 2008
Tabla de Contenidos: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Enlace del recurso
Electrónico eBook
6
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
7
por Hunt, John., Hunt, John.
Publicado 2014
Tabla de Contenidos: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Enlace del recurso
Electrónico eBook
8
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
9
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
10
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Enlace del recurso
Electrónico eBook
12
Publicado 2010
Tabla de Contenidos: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Enlace del recurso
Electrónico eBook
13
Publicado 2008
Tabla de Contenidos: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
Enlace del recurso
Electrónico eBook
14
por Hermes, Dan., Hermes, Dan.
Publicado 2015
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
15
Publicado 2013
Tabla de Contenidos: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
Enlace del recurso
Electrónico eBook
16
por Lee, Kent D., Lee, Kent D.
Publicado 2014
Tabla de Contenidos: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Enlace del recurso
Electrónico eBook
17
por Rinehart, Martin., Rinehart, Martin.
Publicado 2015
Tabla de Contenidos: ...1. Objects -- 2. JavaScript Objects -- 3. Object Programming -- 4. Inheritance -- 5. JavaScript...
Enlace del recurso
Electrónico eBook
18
por Evans, Brian., Evans, Brian.
Publicado 2011
Materias: ...Programming languages (Electronic computers)....
Enlace del recurso
Electrónico eBook
19
por Kerfs, Jeremy., Kerfs, Jeremy.
Publicado 2011
Materias: ...Computer games—Programming....
Enlace del recurso
Electrónico eBook
20
Tabla de Contenidos: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
Enlace del recurso
Electrónico eBook