Cargando…

Higher-order computability

Detalles Bibliográficos
Autores principales:	Longley, John, Normann, Dag
Lenguaje:	eng
Publicado:	Springer 2015
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2123786

Ejemplares similares

Higher-order Perl: transforming programs with programs
por: Dominus, Mark Jason
Publicado: (2005)

Higher Order Basis Based Integral Equation Solver (HOBBIES)
por: Zhang, Yu, et al.
Publicado: (2012)

Limit order books
por: Abergel, Frédéric, et al.
Publicado: (2016)

Machine learning for model order reduction
por: Mohamed, Khaled Salah
Publicado: (2018)

Ordering disorder: grid principles for Web design
por: Vinh, Khoi
Publicado: (2011)

Microprocessor based systems for the higher technician
por: Vears, RE
Publicado: (2013)

Theorem proving with first-order predicate logic, 3
por: Humpert, Benedikt
Publicado: (1987)

Model order reduction: theory, research aspects and applications
por: Schilders, Wilhelmus H A, et al.
Publicado: (2008)

Proceedings of the NATO Advanced Study Institute on Algorithms and Order
por: Rival, Ivan
Publicado: (1988)

REMOTE - Computational determinants of conscious awareness: mental strength, mental contents and higher-order state spaces
por: Fleming, Stephen
Publicado: (2022)

Explorations in computing : an introduction to computer science and Python programming
por: Conery, John S
Publicado: (2015)

Color and the computer
por: Durrett, H John
Publicado: (1987)

Higher-order chromatin domains link eQTLs with the expression of far-away genes
por: Duggal, Geet, et al.
Publicado: (2014)

A multilevel unsymmetric matrix ordering algorithm for parallel process simulation
por: Hu, Y F, et al.
Publicado: (1999)

On search performance for conjunctive queries in compressed, fully transposed ordered files
por: Svensson, P
Publicado: (1979)

LHC Computing Workshop
por: Apostolakis, John
Publicado: (1999)

Construction of periodic solutions of nonlinear wave equations in higher dimension
por: Bourgain, J
Publicado: (1995)

Computer science illuminated
por: Dale, Nell, et al.
Publicado: (2016)

The use of computers at CERN
por: Bell, John Stewart, et al.
Publicado: (1969)

Computer and information security handbook
por: Vacca, John R, et al.
Publicado: (2012)

Meeting on Neural Computing
por: Mannion, C L T, et al.
Publicado: (1989)

Conference on Statistical Computation
por: Milton, Roy C, et al.
Publicado: (1969)

The beginning of heaven and earth has no name: seven days with second-order cybernetics
por: von Foerster, Heinz, et al.
Publicado: (2013)

Conference on Neural Networks for Computing
por: Denker, John S
Publicado: (1986)

Computer and information security handbook
por: Vacca, John
Publicado: (2009)

The end of error: unum computing
por: Gustafson, John L
Publicado: (2015)

Computer and information security handbook
por: Vacca, John R
Publicado: (2017)

Computer interfacing and on-line operation
por: Cluley, John Charles
Publicado: (1975)

BCS glossary of computing
por: Burdett, Arnold, et al.
Publicado: (2016)

Introduction to computer graphics
por: Foley, James D, et al.
Publicado: (1994)

Preparing for HL-LHC: Increasing the LHCb software publication rate to CVMFS by an order of magnitude
por: Bocchi, Enrico, et al.
Publicado: (2021)

Introduction to the theory of neural computation
por: Hertz, John, et al.
Publicado: (1991)

Fundamentals of dependable computing for software engineers
por: Knight, John
Publicado: (2012)

Toward information justice: technology, politics, and policy for data in higher education administration
por: Johnson, Jeffrey Alan
Publicado: (2018)

Computers and society : computing for good
por: Kaczmarczyk, Lisa C
Publicado: (2011)

From computing to computational thinking
por: Wang, Paul S
Publicado: (2016)

Quantum Computing for Computer Architects
por: Metodi, Tzvetan
Publicado: (2011)

Quantum computing for computer scientists
por: Yanofsky, Noson S, et al.
Publicado: (2008)

Cloud computing security: foundations and challenges
por: Vacca, John R
Publicado: (2016)

Design of arithmetic units for digital computers
por: Gosling, John B
Publicado: (1980)

Cannot write session to /tmp/vufind_sessions/sess_9q54n4kt3f6rf15o5qu208uo2n