Importe total (1 artículo artículos):
Destino del pedido:
vardi moshe (80 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (80)
- 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 (60)
- Como nuevo, Excelente o Muy bueno (13)
- Bueno o Aceptable (4)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (3)
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 (38)
- No impresión bajo demanda (59)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,71
Envío por EUR 3,87
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 402 pp., Paperback, brand new! still in shrink wrap. - 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.
-
Theoretical Aspects of Reasoning Abot Knowledge 1988
Librería: PAPER CAVALIER US, Brooklyn, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,71
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. A good reading copy. May contain markings or be a withdrawn library copy.
-
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11-13 1995 Proceedings (Lecture Notes in Computer Science 893)
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, Heidelberg, New York, 1995
ISBN 10: 3540589074 ISBN 13: 9783540589075
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 7,99
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Estado de la sobrecubierta: No Dust Jacket. Paperback. Fifth International Conference proceedings. Covers are a little scuffed, with two or three surface scratches. Markings and paper damage caused by removal of a label near upper inner corner of front cover. Minor wear to spine foot. Leading corners of rear cover are creased. Page block foot is a little grubby. Binding is sound; pages are tight; contents are clear. AF. Used.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2002
ISBN 10: 3540001417 ISBN 13: 9783540001416
Librería: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 2,24
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. ;.This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
-
Database Theory - Icdt *95:
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 49,01
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.
-
Database Theory - Icdt *95:
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 49,01
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.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2002
ISBN 10: 3540001417 ISBN 13: 9783540001416
Librería: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 2,99
Envío por EUR 45,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Gebraucht - Wie neu sehr gut erhalten; Rechnung mit MwSt.; Bestellungen bis 15 Uhr werden am gleichen Werktag verschickt. ;.This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. -This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems. 388 pp. Englisch.
-
Database Theory - ICDT '95
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 50,98
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 476 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Database Theory - ICDT '95
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 55,44
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 476.
-
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,34
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.
-
Database Theory - ICDT '95
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 51,59
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 476.
-
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Libro 27 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 62,07
Envío por EUR 3,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
Librería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 62,48
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Fine. Mint condition.
-
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings (Lecture Notes in Computer Science, 893)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,02
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,02
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... (Lecture Notes in Computer Science, 2850)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,02
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, . (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 56,90
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,52
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.
-
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, P
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,06
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,10
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,74
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.
-
Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,86
Envío por EUR 17,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,01
Envío por EUR 17,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 75,13
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 388.
-
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 64,80
Envío por EUR 17,33
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.
-
Logic for Programming, Artificial Intelligence, and Reasoning
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 81,19
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 456.
-
Reasoning About Knowledge
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 85,81
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
-
Reasoning About Knowledge
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 80,81
Envío por EUR 17,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 6 disponibles
Añadir al carritoCondición: New.
-
Logic for Programming, Artificial Intelligence, and Reasoning
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2003
ISBN 10: 3540201017 ISBN 13: 9783540201014
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 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.
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2002
ISBN 10: 3540001417 ISBN 13: 9783540001416
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 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 carritoKartoniert / Broschiert. Condición: New.
