Importo totale (1 articolo articoli):
Destinazione ordine:
buning kleine (137 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (137)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (54)
- Non Print on Demand (101)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science 702)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, Jan. 19 (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.
-
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387569928 Ex-library paperback in very nice condition with the usual markings and attachments.
-
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)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science) Börger, Egon; Kleine Büning, Hans and Richter, Michael M.
Da: CONTINENTAL MEDIA & BEYOND, Ocala, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Used: Good. xlibrary 1988 paperback vol 329 withdrawn stamp in book/ on edge of pages clean text pages are tanned 346 pages/// M-3.
-
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Hardcover 1996 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;1092. [vii, 485 p. : ill. ; 24 cm].
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, No. 385)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, Jan. 19 (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.
-
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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.
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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.
-
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 Proceedings (Lecture Notes in Computer Science 626)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 7,96
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 626; Ex-Library. Previous owner's sticker and mild crease across front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. 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 385)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 7,96
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: 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.
-
Lecture Notes in Computer Science, Volume 329: CSL '87, 1st Workshop on Computer Science Logic, 12-16 October 1987, Karlsruhe, Germany
Lingua: Inglese
Editore: Springer-Verlag, Berlin, Germany, 1988
ISBN 10: 3540502416 ISBN 13: 9783540502418
Da: SUNSET BOOKS 2, Newark, OH, U.S.A.
Valutazione del venditore 4 su 5 stelle
Prima edizione
Paperback. Condizione: 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
Lingua: Inglese
Editore: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 9,95
Spedizione EUR 12,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: 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.
-
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387502416 Ex-library paperback in very nice condition with the usual markings and attachments.
-
-
Computer Science Logic: 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992: Selected Papers
Lingua: Inglese
Editore: Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 17,22
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
-
Aussagenlogik : Deduktion und Algorithmen , Leitfäden und Monographien der Informatik
Editore: B. G. Teubner Stuttgart 1994, 1994
Da: Antiquariat Bücherparadies, Landsberg, Germania
Valutazione del venditore 4 su 5 stelle
EUR 17,10
Spedizione EUR 5,70
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellobrosch. 438 S. Abb. guter Zustand.
-
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 13,44
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Da: avelibro OHG, Dinkelscherben, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 12,00
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello22,5 x 16 cm. Condizione: 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.
-
Modellierung: Grundlagen und formale Methoden
Lingua: Tedesco
Editore: Carl Hanser Verlag GmbH & Co. KG, 2005
ISBN 10: 3446404600 ISBN 13: 9783446404601
AffareEUR 3,57
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Theory and Applications of Satisfiability Testing - SAT 2008
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 324.
-
Affare
EUR 5,84
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
-
Affare
EUR 5,84
Spedizione EUR 20,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
-
EUR 7,49
Spedizione EUR 18,99
Spedito da Repubblica Ceca a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Fine. Leichte Abnutzungen; Farbveränderung durch Alter/Sonne. Die Programmiersprache PROLOG hat in den letzten Jahren durch zahlreiche Anwendungen in Expertensystemen und der natürlichen Sprachverarbeitung an Bedeutung gewonnen. Im Gegensatz zu prozeduralen Programmiersprachen, in denen Verfahren zur Lösung eines Problems programmiert werden, besteht das Programmieren in PROLOG aus einer Beschreibung des Problems. Dies führt zu unterschiedlichen Methoden und Herausforderungen beim Programm-Design. Das Buch basiert auf Vorlesungen an der Universität Karlsruhe und reflektiert die dabei gewonnenen Erfahrungen. Zunächst werden einfache Programme und Konstrukte in PROLOG vorgestellt, um den Leser mit der Programmierweise vertraut zu machen. Nach einem Exkurs zu den Grundlagen der Logik folgt ein Kapitel zur Syntax, orientiert an C-Prolog. Anschließend wird der Ablauf der Lösungssuche in PROLOG behandelt, gefolgt von einer ausführlichen Darstellung der wichtigsten Built-in-Prädikate mit Beispielen. Die Anwendungen sind in zwei Bereiche gegliedert: kurze Beispiele zu Mengen, Parsern, Spielen, Logik und Mathematik sowie ein ganzes Kapitel über Expertensysteme. Dabei liegt der Fokus auf der Entwicklung einer Shell zur Implementierung von Expertensystemen. Im Anhang befindet sich das vollständige Programm für diese Entwicklungsumgebung, abgesehen von einem Modul zur Wissenserfassung.
-
Theory and Applications of Satisfiability Testing - SAT 2008
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 39,49
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 324 Illus.
-
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 038755789X Ex-library paperback in very nice condition with the usual markings and attachments.
-
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)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387544879 Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Theory and Applications of Satisfiability Testing - SAT 2008
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 40,31
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 324.
-
EUR 8,00
Spedizione EUR 22,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: very good. Gebunden. Sofortversand aus Deutschland. Artikel wiegt maximal 1000g. Bibliotheksexemplar mit Stempel und Kleber. 294 Seiten. Ecken leicht berieben. Gutes Exemplar.
