Importe total (1 artículo artículos):
Destino del pedido:
abstract computing machines (39 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (39)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (32)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (16)
- No impresión bajo demanda (34)
Idioma (1)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
ABSTRACT COMPUTING MACHINES. A LAMBDA CALCULUS PERSPECTIVE.
Librería: Any Amount of Books, London, Reino Unido
Miembro de asociación: ABA ILAB PBFA
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 35,61
Convertir monedaEUR 20,74 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carrito8vo. 384pp. Very good indeed. Publishers printed boards. Appears to be unread. Very good indeed.
-
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,36
Convertir monedaEUR 5,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Abstract Computing Machines
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 99,85
Convertir monedaEUR 5,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 90,35
Convertir monedaEUR 17,28 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 106,26
Convertir monedaEUR 9,89 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 404.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 99,84
Convertir monedaEUR 17,28 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 101,66
Convertir monedaEUR 17,19 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 102,51
Convertir monedaEUR 17,19 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 109,87
Convertir monedaEUR 10,20 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 404 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 104,48
Convertir monedaEUR 17,28 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642059384 ISBN 13: 9783642059384
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation.The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
-
Abstract Computing Machines
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 116,91
Convertir monedaEUR 6,88 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Publicado por Springer, Berlin, Springer Berlin Heidelberg, Springer, 2005
ISBN 10: 3540211462 ISBN 13: 9783540211464
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 112,94
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation.The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
-
Abstract Computing Machines
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 111,10
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 404.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,67
Convertir monedaEUR 17,28 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 125,77
Convertir monedaEUR 6,88 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 3642059384 ISBN 13: 9783642059384
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 128,38
Convertir monedaEUR 2,00 gastos de envío desde Irlanda a EspañaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611. . 2010. Softcover reprint of hardcover 1st ed. 2005. Paperback. . . . .
-
Abstract Computing Machines
Publicado por Springer Berlin Heidelberg, 2005
ISBN 10: 3540211462 ISBN 13: 9783540211464
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 116,52
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Emphasizes the design of full-fledged, fully normalizing Lambda-calculus machinery, as opposed to the just weakly normalizing machinesReceived a Dr. rer. nat. degree in physics from the Technical University Munich/Germany in 1968 worked in in.
-
Abstract Computing Machines
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642059384 ISBN 13: 9783642059384
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.
-
Abstract Computing Machines
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 141,91
Convertir monedaEUR 9,89 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 400.
-
Abstract Computing Machines
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
ISBN 10: 3540211462 ISBN 13: 9783540211464
Idioma: Inglés
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 148,24
Convertir monedaEUR 2,00 gastos de envío desde Irlanda a EspañaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 804. . 2004. Hardback. . . . .
-
Abstract Computing Machines
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 3642059384 ISBN 13: 9783642059384
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 160,92
Convertir monedaEUR 1,89 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 611. . 2010. Softcover reprint of hardcover 1st ed. 2005. Paperback. . . . . Books ship from the US and Ireland.
-
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 102,21
Convertir monedaEUR 64,49 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 103,54
Convertir monedaEUR 64,49 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Abstract Computing Machines (Paperback)
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642059384 ISBN 13: 9783642059384
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 103,99
Convertir monedaEUR 64,49 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The book emphasizes the design of full-fledged, fully normalizing lambda calculusmachinery, as opposed to the just weakly normalizing machines. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Abstract Computing Machines (Hardcover)
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2005
ISBN 10: 3540211462 ISBN 13: 9783540211464
Idioma: Inglés
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 104,86
Convertir monedaEUR 64,49 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation.The emphasis is on fully normalizing machines based on a full-fledged beta-reduction as an essential prerequisite for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative (von Neumann) machines that permit side-effecting operations on the runtime environment. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Abstract Computing Machines
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 144,80
Convertir monedaEUR 28,81 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
-
Abstract Computing Machines
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
ISBN 10: 3540211462 ISBN 13: 9783540211464
Idioma: Inglés
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 186,26
Convertir monedaEUR 1,89 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 384 pages, 89 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 804. . 2004. Hardback. . . . . Books ship from the US and Ireland.
-
Abstract Computing Machines : A Lambda Calculus Perspective
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 176,47
Convertir monedaEUR 17,19 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 183,97
Convertir monedaEUR 28,81 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
