Importe total (1 artículo artículos):
Destino del pedido:
jan klop (25 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (25)
- 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 (16)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (4)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (2)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- 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 (12)
- No impresión bajo demanda (19)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Concur 90: Theories of Concurrency Unification and Extension, Amsterdam, the Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 5,72
Envío por EUR 6,01
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Concur 90. Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science. 458
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 10,53
Envío por EUR 3,87
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 18 (weekend sale item)* 536 pp., softcover, ex library, but text and binding still clean, bright, and tight . - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
CONCUR '90: Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, Aug. 27-30, 1990, Proceedings (Lecture Notes in Computer Science 458)
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, 1990
ISBN 10: 0387530487 ISBN 13: 9780387530482
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 7,92
Envío por EUR 14,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 458; Ex-Library. Previous owner's stickers on the front cover. Ink stamps and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and leading corners. Sound, clean book with tight binding. ADG. Ex-Library.
-
Concur '90 : Theories of Concurrency - Unification and Extension
Idioma: Inglés
Publicado por Springer Berlin / Heidelberg, 1990
ISBN 10: 3540530487 ISBN 13: 9783540530480
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 46,08
Envío por EUR 5,73
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Concur '90 : Theories of Concurrency: Unification and Extension
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 57,91
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension (Lecture Notes in Computer Science, 458)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 60,26
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension (Lecture Notes in Computer Science, 458)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,56
Envío por EUR 13,74
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
CONCUR '90 : Theories of Concurrency: Unification and Extension
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,76
Envío por EUR 17,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Concur '90 : Theories of Concurrency: Unification and Extension
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,54
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Concur '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension (Paperback or Softback)
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 84,37
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Concur '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension. Book.
-
CONCUR '90: Theories of Concurrency: Unification and Extension : Theories of Concurrency: Unification and Extension
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 64,13
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.
-
CONCUR '90: Theories of Concurrency: Unification and Extension | Theories of Concurrency: Unification and Extension
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. CONCUR '90: Theories of Concurrency: Unification and Extension | Theories of Concurrency: Unification and Extension | Joseph C. M. Baeten (u. a.) | Taschenbuch | x | Englisch | 1990 | Springer | EAN 9783540530480 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Concur '90 : Theories of Concurrency: Unification and Extension
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 128,72
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
CONCUR *90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension (Lecture Notes in Computer Science, 458)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 119,28
Envío por EUR 28,67
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Concur '90 : Theories of Concurrency: Unification and Extension
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 150,01
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Dirk van Dalen Festschrift
Publicado por Department of Philosphy - Utrecht University, Utrecht, 1993
Librería: Bij tij en ontij ..., Kloosterburen, NL, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 37,50
Envío por EUR 28,50
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback, 24 x 17 cm, 229 pp. Cond.: goed / good. ISBN: 9039303355. Quaestiones Infinitae 5.
-
Term Rewriting Systems
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 373,67
Envío por EUR 22,93
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 680 pages. 9.50x6.25x1.75 inches. In Stock.
-
Term Rewriting Systems
Idioma: Inglés
Publicado por Cambridge University Press, 2003
ISBN 10: 0521391156 ISBN 13: 9780521391153
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 331,32
Envío por EUR 72,48
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.
-
Dirk van Dalen Festschrift
Publicado por Universiteit Utrecht Department of Philosophy
ISBN 10: 9039303355 ISBN 13: 9789039303351
Librería: Antiquariaat Looijestijn, Rotterdam, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 175,00
Envío por EUR 25,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito1993, viii, 229 pp., paperback, lichte sporen van gebruik.
-
CONCUR '90: Theories of Concurrency: Unification and Extension
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1990, 1990
ISBN 10: 3540530487 ISBN 13: 9783540530480
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems. 552 pp. Englisch.
-
CONCUR 90
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1990
ISBN 10: 3540530487 ISBN 13: 9783540530480
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Amsterdam, The Netherlands, August 27-30, 1990. ProceedingsThis volume gives the proceedings of the conference CONCUR 90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and .
-
CONCUR '90: Theories of Concurrency: Unification and Extension
Idioma: Inglés
Publicado por Springer, Springer Aug 1990, 1990
ISBN 10: 3540530487 ISBN 13: 9783540530480
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -These proceedings of CONCUR '90 describe the state of the art in the theory of communicating concurrent (or distributed) systems. CONCUR '90 is the first international conference organized by ESPRIT Basic Research Action 3006 (CONCUR).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 552 pp. Englisch.
-
Term Rewriting Systems
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 280,94
Envío por EUR 22,93
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 680 pages. 9.50x6.25x1.75 inches. In Stock. This item is printed on demand.
-
Term Rewriting Systems (Hardcover)
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2003
ISBN 10: 0521391156 ISBN 13: 9780521391153
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 267,49
Envío por EUR 42,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appears here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations. Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for the rest of the work. First-order and higher-order theories are presented, with much of the latter material appearing for the first time in book form. Subjects treated include orthogonality, termination, lambda calculus and term graph rewriting. There is also a chapter detailing the required mathematical background. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Term Rewriting Systems
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521391156 ISBN 13: 9780521391153
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 265,67
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on .
