Importe total (1 artículo artículos):
Destino del pedido:
kirchner helene (112 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (112)
- 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 (93)
- Como nuevo, Excelente o Muy bueno (10)
- Bueno o Aceptable (9)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
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 (54)
- No impresión bajo demanda (84)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Link?ping, Sweden, April 22-24, 1996. 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 4,93
Envío por EUR 5,90
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.
-
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence 1421)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,92
Envío por EUR 3,80
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, Feb. 2 (SALE item)* 443 pp., Paperback, ex library, else text clean and binding 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.
-
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-Les-Bains, Reunion Island, France, September 9-13, 2002 Proceedings
Idioma: Inglés
Publicado por Springer Verlag, New York, 2002
ISBN 10: 3540441441 ISBN 13: 9783540441441
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,29
Envío por EUR 4,64
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series:Lecture Notes in Computer Science ;2422. [xi, 501 p. : ill. ; 24 cm].
-
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September . (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,30
Envío por EUR 5,90
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.
-
Automated Deduction - CADE-15
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 28,30
Envío por EUR 7,50
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 464 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Automated Deduction - CADE-15
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 32,79
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 464.
-
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 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 33,97
Envío por EUR 5,90
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 0387531629 Ex-library paperback in very nice condition with the usual markings and attachments.
-
Automated Deduction - CADE-15
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 29,69
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 464.
-
REWRITING, COMPUTATION AND PROOF
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,28
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 38,31
Envío por EUR 5,90
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.
-
Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September . (Lecture Notes in Computer Science, 2422)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 41,57
Envío por EUR 3,58
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: new.
-
Rewriting, Computation and Proof
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 41,99
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 294.
-
Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. 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 40,76
Envío por EUR 5,90
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. Except for library markings, interior clean and unmarked. Tight binding.
-
Rewriting, Computation and Proof
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 39,40
Envío por EUR 7,50
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 294 Illus.
-
Automated Deduction Cade-15 - 15th International Conference On Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 47,36
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Automated Deduction Cade-15 - 15th International Conference On Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 47,36
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 48,99
Gastos de envío gratis
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Automated Deduction, Cade-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,41
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science, 1421)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 54,71
Gastos de envío gratis
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Trees in Algebra and Programming - CAAP '96 (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10: 3540610642 ISBN 13: 9783540610649
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,14
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linkoeping, Sweden, in April 1996.The 21 full revised papers presented were selected from 44 submissions; also included are invited papers by Samson Abramsky and Frank Pfenning. In keeping with the tradition of the CAAP conferences, this volume covers algebraic, logical, and combinatorial properties of discrete structures and their application to computer science, in particular to the theory of computation and to programming theory. This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linkoeping, Sweden, in April 1996.The 21 full revised papers presented were selected from 44 submissions; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Trees in Algebra and Programming- Caap'96 : 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,86
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Algebraic and Logic Programming : Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,87
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Algebraic and Logic Programming (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1990
ISBN 10: 3540531629 ISBN 13: 9783540531623
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,18
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990. This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Rewriting Computation And Proof : Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,89
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
-
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science, 4600)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,73
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Trees in Algebra and Programming - CAAP '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings (Lecture Notes in Computer Science, 1059)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,73
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Lecture Notes in Computer Science, 463)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,73
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Algebraic and Logic Programming (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1992
ISBN 10: 354055873X ISBN 13: 9783540558736
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,56
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held in Pisa, Italy, September 2-4, 1992. Like the twoprevious conferences in Germany in 1988 and France in 1990,the third conference aims at strengthening the connectionsbetweenalgebraic techniques and logic programming. On theone hand, logic programming has been very successful duringthe last decades and more and more systems compete inenhancing its expressive power. On the other hand, conceptslike functions, equality theory, and modularity areparticularly well handled in an algebraic framework. Commonfoundations of both approaches have recently been developed,and this conference is a forum for people from both areas toexchange ideas, results, and experiences. The book coversthe following topics: semantics ofalgebraic and logicprogramming; integration of functional and logicprogramming; term rewriting, narrowing, and resolution;constraintlogic programming and theorem proving; concurrentfeatures in algebraic and logic programming languages; andimplementation issues. This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held in Pisa, Italy, September 2-4, 1992. Like the twoprevious conferences in Germany in 1988 and France in 1990,the third conference aims at strengthening the connectionsbetweenalgebraic techniques and logic programming. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Frontiers of Combining Systems : Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000 Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,27
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Frontiers of Combining Systems (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2000
ISBN 10: 3540672818 ISBN 13: 9783540672814
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,57
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000.The 14 revised full papers presented together with four invited papers were carefully reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning, sequent calculus, type systems, model checking, theorem proving, declarative programming, logic programming, and equational theories. This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000.The 14 revised full papers presented together with four invited papers were carefully reviewed and selected from a total of 31 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
