Abstract Computing Machines. Werner Kluge. 9783540211464 Podibooks

Búsqueda avanzada

Inicio > > Ciencias de la computación > Abstract Computing Machines

Abstract Computing Machines

Editorial:: Springer Nature B.V.
Año de edición:: 2005
Materia: Ciencias de la computación
ISBN:: 9783540211464

Selecciona una librería:

Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)

¡Pregúntanos!

Sinopsis

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Artículos relacionados

Skills for Managing Rapidly Changing IT Projects

Fabrizio Fioravanti

...
Design and Usability of Digital Libraries

Schubert Foo / Yin-Leng Theng

...
Intelligent Information Technologies and Applications

Vijayan Sugumaran

...
Mobile Technology Consumption

Whether used for communication, entertainment, socio-economic growth, crowd-sourcing social and political events, monitoring vital signs in patients, helping to drive vehicles, or delivering education, mobile technology has been transformed from a mode to a medium. Mobile Technology Consumption: Opportunities and Challenges explores essential questions related to the cost, bene...
Creating Personal, Social, and Urban Awareness through Pervasive Computing

Guo

The recent emergence and prevalence of social network applications, sensor equipped mobile devices, and the availability of large amounts of geo-referenced data have enabled the analysis of new context dimensions that involve individual, social, and urban context. Creating Personal, Social, and Urban Awareness through Pervasive Computing provides an overview of the theories, te...
Fostering 21st Century Digital Literacy and Technical Competency

Antonio Cartelli

The 21st century has seen an expansion in digital technology and the ways in which it affects everyday life. These technologies have become essential in the growth of social communication and mass media. Fostering 21st Century Digital Literacy and Technical Competency offers the latest in research on the technological advances on computer proficiency in the educational system a...

Otros libros del autor

Abstract Computing Machines

Werner Kluge

Algorithms and Programs.- An Algorithmic Language.- The ?-Calculus.- The se(m)cd Machine and Others.- Toward Full-Fledged ?-Calculus Machines.- Interpreted Head-Order Graph Reduction.- The B-Machine.- The G-Machine.- The ?-red Machinery.- Pattern Matching.- Another Functional Abstract Machine.- Imperative Abstract Machines.- Real Computing Machines. ...

Disponible

132,18 €
Implementation of Functional Languages

Werner Kluge

This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional Languages, held in Bad Godesberg, Germany, in September 1996.The 15 thoroughly revised full papers presented were selected after a second round of reviewing from the 26 contributions accepted for presen...

Disponible

66,23 €