Importe total (1 artículo artículos):
Destino del pedido:
hans kleine buning (100 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (100)
- 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
Encuadernación
Más atributos
- Primera edición (2)
- 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 (46)
- No impresión bajo demanda (76)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Modellierung: Grundlagen und formale Methoden
Idioma: Inglés
Publicado por Carl Hanser Verlag GmbH & Co
ISBN 10: 3446442464 ISBN 13: 9783446442467
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 5,16
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad 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.
-
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. 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 10,10
Envío por EUR 6,07
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 0387502416 Ex-library paperback in very nice condition with the usual markings and attachments.
-
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings (Lecture Notes in Computer Science 385)
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, 1989
ISBN 10: 354051659X ISBN 13: 9783540516590
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 8,00
Envío por EUR 14,47
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 385. Ex-Library. Ink stamp and previous owner's sticker on the front cover. Small pen inscription on title page. Minute traces of sticker residue and faint bumps across the spine head and some edges. Sound, clean book with tight binding. ADG. Ex-Library.
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, No. 385)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 20,50
Envío por EUR 3,91
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, June 8 (weekend SALE item)* 399 pp., Paperback, ex library, some wear to cover, else textually clean 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.
-
Lecture Notes in Computer Science, Volume 329: CSL '87, 1st Workshop on Computer Science Logic, 12-16 October 1987, Karlsruhe, Germany
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, Germany, 1988
ISBN 10: 3540502416 ISBN 13: 9783540502418
Librería: SUNSET BOOKS 2, Newark, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 18,77
Envío por EUR 6,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. 1st. With full markings, pocket, and/or bookplate. Light Wear, soil. Size: 8vo Size: 8vo - over 7¾ - 9¾" tall. Ex-Library.
-
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992; selected papers. Lecture notes in computer science ; Vol. 702
Idioma: Inglés
Publicado por Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 9,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. VIII, 439 S. : graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 620.
-
Computer Science Logic. 5th Workshop, CSL 91 Berne. Proceedings.
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 6,64
Envío por EUR 20,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. 427 S. Guter Zustand/ Good Ex-Library. Stamped edges. Sprache: Englisch Gewicht in Gramm: 811 Paperback/ broschiert broschiert/ Taschenbuch.
-
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings . Computer Science and General Issues)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 24,79
Envío por EUR 6,07
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.
-
Theory and Applications of Satisfiability Testing
Librería: Bookbot, Prague, Republica Checa
Calificación del vendedor: 5 de 5 estrellas
EUR 9,29
Envío por EUR 20,99
Se envía de Republica Checa a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoOther. Condición: Fine. Leichte Rillen / Abschürfungen / Risse / Knicke; Farbtonänderung. This volume features papers from the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008), which has evolved from a workshop in 1996 to an annual international conference. It serves as a platform for researchers exploring various aspects of the propositional satisfiability problem and its applications. For the first time, the conference took place in Asia, specifically at the Zhudao Guest House near Sun Yat-Sen University in Guangzhou, P. R. China. Many complex combinatorial problems can be represented as SAT problems, leading to advancements in both practical heuristics and theoretical insights applicable to a wide array of real-world challenges. Notably, significant verification issues in hardware and software can be reformulated as SAT problems, making SAT a crucial technology for ensuring secure and reliable systems. The conference topics encompass both practical and theoretical research on SAT and its applications, including proof systems, proof complexity, search algorithms, heuristics, algorithm analysis, hard instances, randomized formulas, problem encodings, industrial applications, solvers, tools, case studies, and empirical results. SAT is broadly defined, encompassing not only propositional satisfiability but also quantified Boolean formulas (QBF) and satisfiability modulo theories (SMT).
-
Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992: Selected Papers
Idioma: Inglés
Publicado por Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 17,30
Envío por EUR 14,47
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 702. Minor shelfwear to the cover, with a crease on the rear side. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Used.
-
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science 702)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 29,45
Envío por EUR 3,91
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, June 8 (weekend SALE item)* 439 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.
-
Aussagenlogik : Deduktion und Algorithmen , Leitfäden und Monographien der Informatik
Publicado por B. G. Teubner Stuttgart 1994, 1994
Librería: Antiquariat Bücherparadies, Landsberg, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 17,10
Envío por EUR 5,80
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritobrosch. 438 S. Abb. guter Zustand.
-
Modellierung: Grundlagen und formale Methoden
Idioma: Alemán
ISBN 10: 3446404600 ISBN 13: 9783446404601
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 4,19
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: acceptable. Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn.
-
Modellierung: Grundlagen und formale Methoden
Idioma: Alemán
ISBN 10: 3446404600 ISBN 13: 9783446404601
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 4,66
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad 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.
-
Modellierung: Grundlagen und formale Methoden
Idioma: Alemán
ISBN 10: 3446404600 ISBN 13: 9783446404601
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 4,87
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 13,44
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Gut. 399 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
-
PROLOG : Grundlagen und Anwendungen
Idioma: Alemán
Publicado por Stuttgart : B. G. Teubner, 1986
ISBN 10: 3519024845 ISBN 13: 9783519024842
Librería: avelibro OHG, Dinkelscherben, Alemania
Miembro de asociación: BOEV
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 12,00
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito22,5 x 16 cm. Condición: Gut. 1. Auflage. 304 Seiten Innen sauberer, guter Zustand, leicht randgebräunt. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Kanten leicht berieben, etwas angestaubt. - Leitfäden der angewandten Informatik. B03-03-05E|A1 Sprache: Deutsch Gewicht in Gramm: 470.
-
Prolog: Grundlagen und Anwendungen (XLeitfäden der angewandten Informatik)
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 6,17
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Aussagenlogik: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik)
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,82
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad 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.
-
Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers (Lecture Notes in Computer Science, 1092, Band 1092)
Librería: Gerald Wollermann, Bad Vilbel, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 8,45
Envío por EUR 34,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. 1996. 504 Seiten Von 1996. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Englisch Gewicht in Gramm: 662 Taschenbuch, Größe: 15.5 x 2.9 x 23.5 cm.
-
Theory and Applications of Satisfiability Testing - SAT 2008
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 43,45
Envío por EUR 3,46
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 324.
-
Theory and Applications of Satisfiability Testing - SAT 2008
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 39,87
Envío por EUR 7,53
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 324 Illus.
-
Modellierung: Grundlagen und formale Methoden
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 18,36
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad 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.
-
Theory and Applications of Satisfiability Testing - SAT 2008
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 39,88
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. 324.
-
Theory And Applications Of Satisfiability Testing Sat 2008: 11Th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes In Computer Science)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,54
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.
-
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING SAT 2008: 11TH INTERNATIONAL CONFERENCE, SAT 2008, GUANGZHOU, CHINA, MAY 12-15, 2008, PROCEEDINGS (LECTURE NOTES IN COMPUTER SCIENCE)
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,54
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 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.
-
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings: 3rd, 1989 (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 37,53
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Gut. 437 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
-
Theory and Applications of Satisfiability Testing ? Sat 2008 : 11th International Conference, Sat 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 62,64
Envío por EUR 2,29
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
PROLOG : Grundlagen u. Anwendungen.
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 19,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoBroschiert. Condición: Gut. 2., überarb. u. erw. Aufl. 311 S. : graph. Darst. ; 23 cm Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Deutsch Gewicht in Gramm: 510.
-
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 44,14
Envío por EUR 24,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Sehr gut. 399 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.
