Importe total (1 artículo artículos):
Destino del pedido:
nipkow tobias (137 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (137)
- 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 (108)
- Como nuevo, Excelente o Muy bueno (13)
- Bueno o Aceptable (16)
- 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 (47)
- No impresión bajo demanda (108)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,83
Convertir monedaEUR 6,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 69,84
Usado desde EUR 12,83
Encuentre también Tapa blanda
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence, Band 2083).
Publicado por Berlin, Heidelberg: Springer-Verlag, 2001
ISBN 10: 3540422544 ISBN 13: 9783540422549
Idioma: Inglés
Librería: Antiquariat Bernhardt, Kassel, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 23,06
Convertir monedaEUR 9,95 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Sehr gut. Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 708 Seiten, Englisch 1030g.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 111,76
Usado desde EUR 33,01
Encuentre también Tapa blanda
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,29
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 59,48
Encuentre también Tapa blanda
-
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,46
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,65
Usado desde EUR 158,59
Encuentre también Tapa blanda
-
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science, 816)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,46
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,65
Usado desde EUR 105,65
Encuentre también Tapa blanda
-
Concrete Semantics: With Isabelle/HOL
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,46
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,65
Usado desde EUR 124,42
Encuentre también Tapa blanda
-
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Publicado por Springer Berlin Heidelberg, 1998
ISBN 10: 354064301X ISBN 13: 9783540643012
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
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 - This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 106,28
Encuentre también Tapa blanda
-
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Publicado por Springer Berlin Heidelberg, 1994
ISBN 10: 3540580859 ISBN 13: 9783540580850
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
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 - This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 68,48
Encuentre también Tapa blanda
-
Concrete Semantics: With Isabelle/Hol
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 57,30
Convertir monedaEUR 8,72 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.36.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 88,11
Usado desde EUR 66,02
Encuentre también Tapa dura
-
Term Rewriting and All That
Publicado por Cambridge University Press, 1999
ISBN 10: 0521779200 ISBN 13: 9780521779203
Idioma: Inglés
Librería: MostlyAcademic, Berrima, NSW, Australia
Calificación del vendedor: 4 de 5 estrellas
EUR 37,67
Convertir monedaEUR 29,86 gastos de envío desde Australia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: As New.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 73,18
Usado desde EUR 67,53
Encuentre también Tapa blanda
-
Fm 2006: Formal Methods: 14th International Symposium On Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (lecture Notes In Computer Science / Programming And Software Engineering)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,24
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad 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.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 70,24
Usado desde EUR 81,41
Encuentre también Tapa blanda
-
Software Safety and Security: Tools for Analysis and Verification: 33 (NATO Science for Peace and Security Series D: Information and Communication Security)
Librería: WeBuyBooks, Rossendale, LANCS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,61
Convertir monedaEUR 9,12 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
Term Rewriting and All That
Publicado por Cambridge University Press, 1998
ISBN 10: 0521455200 ISBN 13: 9780521455206
Idioma: Inglés
Librería: BOOK2BUY, Lynbrook, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 70,34
Convertir monedaEUR 30,76 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 390,91
Usado desde EUR 101,10
Encuentre también Tapa dura
-
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)
Librería: Bookmans, Tucson, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 93,41
Convertir monedaEUR 21,36 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. minor shelf wear Satisfaction 100% guaranteed.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 126,45
Usado desde EUR 114,77
Encuentre también Tapa blanda
