Gesamtpreis (1 Artikel Artikel):
Versandziel:
practice prolog (19 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (19)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (10)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (7)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (4)
- Keine Print-on-Demand Angebote (15)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
EUR 10,49
Währung umrechnenEUR 3,99 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming Languages: Paradigm and Practice: Prolog Minimanual
Verlag: McGraw Hill Higher Education, 1996
EUR 8,75
Währung umrechnenEUR 21,34 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Satisfaction 100% guaranteed.
-
The Practice of Prolog (Logic Programming)
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,66
Währung umrechnenEUR 4,06 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Programming Languages: Paradigm and Practice: Prolog Mini-Manual
Verlag: McGraw Hill Higher Education, 1991
ISBN 10: 0070025797 ISBN 13: 9780070025790
Sprache: Englisch
EUR 29,09
Währung umrechnenEUR 21,34 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. . Satisfaction 100% guaranteed.
-
The Practice of Prolog
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 42,87
Währung umrechnenEUR 9,76 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
The Practice of Prolog (Logic Programming Series)
Anbieter: Books & Bobs, Deeside, FLINT, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,76
Währung umrechnenEUR 11,54 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Fine. A tight, bright, and clean copy with no inscriptions and no annotations/notes. No bumps to spine/cover or foxing to pages. Fantastic condition book. 312pp. (19x23.5cm). Please contact us for any more information.
-
The Practice of PROLOG
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,50
Währung umrechnenEUR 11,60 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 312 pages. 9.00x7.50x0.75 inches. In Stock.
-
EUR 50,23
Währung umrechnenEUR 25,61 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,10
Währung umrechnenEUR 5,78 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Verlag: VDM Verlag Dr. M�ller 2008-03-27, 2008
ISBN 10: 3836488582 ISBN 13: 9783836488587
Sprache: Englisch
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 72,55
Währung umrechnenEUR 15,07 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 80,90
Währung umrechnenEUR 8,54 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 29,09
Währung umrechnenEUR 97,33 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: 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!
-
Towards Putting Abstract Interpretation of Prolog into Practice: Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 76,34
Währung umrechnenEUR 64,03 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
The Practice of Prolog (Logic Programming)
Anbieter: Webster's Bookstore Cafe, Inc., State College, PA, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 251,18
Währung umrechnenEUR 37,57 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Light shelf wear. Else clean and tight.
-
THE PRACTICE OF PROLOG
Verlag: The MIT Press, US, 1990
Anbieter: Atlanta Vintage Books, Atlanta, GA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 967,32
Währung umrechnenEUR 25,61 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: Very Good -. Laminate pictorial boards. Previous owner's name in blue pen to top edge of first free end paper and embossed personal library marking to first free end paper and following page, and highlighting to a few sentences at pages 7 and 250-253. Text is otherwise clean and unmarked. Text block has light soiling and foxing to top edge, a few spots of soiling to center of fore edge, and previous owner's name in blue pen to lower edge near spine. Boards are clean and bright with two small spots of tearing to laminate at top edge of rear board, one along fore egde and one near spine edge, and light bumping to corners and ends of spine. Binding is tight, boards are slightly bowed.
-
EUR 71,14
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic programming is appealing since it allows the programmer to concentrate on the meaning of the problem to be solved. Unfortunately, for efficiency reasons, the declarative and operational natures of Prolog do not coincide. Prolog uses an incomplete dept.
-
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,15
Währung umrechnenEUR 4,57 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Towards Putting Abstract Interpretation of Prolog into Practice Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 79,86
Währung umrechnenEUR 0,67 für den Versand von USA nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Towards Putting Abstract Interpretation of Prolog into Practice : Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 79,95
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Logic programming is appealing since it allows the programmer to concentrate on the meaning of the problem to be solved. Unfortunately, for efficiency reasons, the declarative and operational natures of Prolog do not coincide. Prolog uses an incomplete depth-first search rule, unifications and negations may be unsound, and there are extralogical features like the cut or dynamic predicates.The goal and topic of this thesis is the design, implementation and evaluation of an abstract interpretation framework of Prolog to integrate state-of-the-art techniques. The analyser is based on an original proposal that defines the notion of abstract sequence, which allows one to verify many desirable operational properties of a logic procedure. The properties include types, modes, sharing of terms, proving termination, linear relations between the size of input/output terms and the number of solutions to a call. We also design and implement an optimiser that generates specialised code. The optimiser uses the abstract information to safely apply source-to-source transformations. Code transformations include clause and literal reordering, introduction of cuts, and removal of redundant literals. The optimiser follows a precise strategy to choose the most rewarding transformations in best order.
