1
por Comninos, Peter., Comninos, Peter.
Publicado 2006
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
2
Publicado 2012
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
3
Publicado 2014
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
4
Publicado 2015
Tabla de Contenidos: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Enlace del recurso
Electrónico eBook
5
Publicado 2013
Tabla de Contenidos: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Enlace del recurso
Electrónico eBook
6
por Zhang, Yue., Zhang, Yue.
Publicado 2015
Tabla de Contenidos: ...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...
Enlace del recurso
Electrónico eBook
7
Publicado 2008
Tabla de Contenidos: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Enlace del recurso
Electrónico eBook
8
Publicado 2006
Tabla de Contenidos: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Enlace del recurso
Electrónico eBook
9
Publicado 2011
Materias: ...Programming languages (Electronic computers)....
Enlace del recurso
Electrónico eBook
10
Publicado 2013
Tabla de Contenidos: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Enlace del recurso
Electrónico eBook
11
Publicado 2010
Tabla de Contenidos: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Enlace del recurso
Electrónico eBook
12
Publicado 2014
Materias: ...Programming languages (Electronic computers)....
Enlace del recurso
Electrónico eBook
13
Publicado 2012
Materias: ...Programming languages (Electronic computers)....
Enlace del recurso
Electrónico eBook
14
Publicado 2005
Tabla de Contenidos: ... Functional Programs....
Enlace del recurso
Electrónico eBook
15
Tabla de Contenidos: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Enlace del recurso
Electrónico eBook
16
Publicado 2007
Tabla de Contenidos: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Enlace del recurso
Electrónico eBook
17
Publicado 2010
Tabla de Contenidos: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Enlace del recurso
Electrónico eBook
18
Publicado 2006
Tabla de Contenidos: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Enlace del recurso
Electrónico eBook
19
Materias: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
Enlace del recurso
Electrónico eBook
20
por Addis, Tom., Addis, Tom., Addis, Jan.
Publicado 2010
Tabla de Contenidos: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Enlace del recurso
Electrónico eBook