Thom frühwirth (28 Ergebnisse)
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 5,92
EUR 9,17 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. The definitive reference on Constraint Handling Rules, from the creator of the language. Num Pages: 320 pages, 55 exercises. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 254 x 181 x 22. Weight in Grams: 714. . 2009. hardcover. . . . . Books ship from the US and Ireland.
- Softcover
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschlandbooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 7,45
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Gut. 165 Seiten 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: 190.
- Softcover
Anbieter: Der Ziegelbrenner - Medienversand, Bremen, DeutschlandDer Ziegelbrenner - Medienversand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 6,00
EUR 11,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
gut erh., 166 S., Abb., kart. Lehrbuch, das von der theoretisch fuindierten Beschreibung bis zu konkreten Anwendungsbeispielen aus der Praxis reicht. Mit Übungsaufgaben und Hinweisen zu weiterführender Literatur. Gramm 600.
- Softcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 24,33
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: as new. Wie neu/Like new.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 41,62
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,62
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 48,32
EUR 7,65 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 256 Illus.
- Softcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 49,11
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 256.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,19
EUR 14,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 65,29
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 26,31
EUR 14,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,61
EUR 14,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,61
EUR 14,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,61
EUR 14,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,08
EUR 14,11 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,07
EUR 11,78 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 245 pages. 9.50x6.25x0.50 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 46,56
EUR 63,58 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Sehr gut. Gebraucht - Sehr gut SG - Ungelesenes Mängelexemplar, gestempelt, mit leichten Lagerspuren - SICStus Prolog is the de-facto standard industrial Prolog programming environment. With more than 25 years in fielded applications, it has a proven track record of a robust, scalable and efficient system.…It is widely used for commercial applications as well as in research and education. This book edition contains the core reference documentation of SICStus Prolog release 4.3.0. SICStus Prolog complies with the ISO Prolog standard, IPv4, IPv6, and Unicode 5.0. It is interoperable with C, C++, .NET, Java, Tcl/Tk, Berkeley DB, ODBC, XML, MiniZinc, and more. It ships with a comprehensive library of modules for abstract data types, program development, operating system and file system access, processes, sockets, constraint solvers, and more. SICStus Prolog compiles to a virtual machine (WAM), emulated by efficient C code and compiled just-in-time to native code for x86-based platforms. Tools provide deployment to stand-alone, all-in-one-file, and embedded applications. The Eclipse-based development environment SPIDER provides semantics-aware editing support, static analysis tools, source-linked debugging, tracking variable bindings, profiling, code coverage, backtraces, call hierarchies, and more.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,97 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen,ithasbecomeamajordeclarativespeci cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ve Workshops on Constrain…t Handling Rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume of Lecture Notes in Ariti cial Intelligence was to attract high-quality research papers on these recent advances in CHR. The 8 papersinthis issuewereselectedfrom11submissionsaftercarefulreviewingand subsequent revisions. Each paper was reviewd by three reviewers. The accepted papers represent some of the research teams on CHR around the world. It is not by accident that the currently most active research group is featured here with three articles. We also would have liked to see contributions from other CHR teams, but space is limited and the reviewers took their job seriously. After an introductory article that foreshadows an upcoming monograph on CHR, the accepted papers span a range of current research topics in the CHR community. It goes from extending the CHR language with search facilities and the related adaptive framework, and from generating rules from speci cations of constraint solvers to implementing abductive probabilistic reasoning. They cover the theory that is a compositional semantics for CHR and nally describe e cient implementations of CHR in traditional mainstream programming l- guages and compiler optimizations in the context of the re ned semantics of CHR. Wewouldliketothanktheauthorsofsubmittedpapersandthemanyrevi- ers for their contribution in making this collection of researchpapers possible.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,64 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - KI2004wasthe27theditionoftheannualGermanConferenceonArti cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submiss…ions from 26 countries. This volume contains the 30 papers that were nally selected for presentation at the conference. The papers cover quite a broad spectrum of classical subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jorg Siekmann(DFKI andUniversityofSaarland,Saarbruc ken),MalikGhallab(LAAS-CNRS,Toulouse), Franco is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbruc ken). Their invited papers are also presented in this volume.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 13,15
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. Zustand: Gut | Seiten: 286 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 14,02
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 286 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 13,01
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 6 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 270 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 79,00
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: gut. 2009. Constraint Handling Rules (CHR) is both a special-purpose language for programming with rules, and a general-purpose language for computational logic and beyond. This book from the creator of the language describes the theory of CHR and how to use it in practice. It is the definitive reference on t…he subject. Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject. Author: Thom Frühwirth is a Professor in the Faculty of Computer Science at the University of Ulm, Germany. He is the creator of the programming language Constraint Handling Rules (CHR) and the main author of two books on constraint programming and reasoning. Content: Preface; Part I. CHR Tutorial: 1. Getting started; 2. My first CHR programs; Part II. The CHR Language: 3. Syntax and semantics; 4. Properties of CHR; 5. Program analysis; 6. Rule-based and graph-based formalisms in CHR; Part III. CHR Programs and Applications: 7. My first CHR programs, revisited for analysis; 8. Finite domain constraint solvers; 9. Infinite domain constraint solvers; 10. Union-find algorithm; Bibliography; List of figures; List of illustrations; Index. Constraint Handling Rules Thom Frühwirth CHR Tutoria CHR programs CHR Language Syntax semantics Properties of CHR Program analysis Rule-based graph-based formalisms in CHR; Part programs Applications analysis Finite domain constraint solvers Infinite domain constraint solvers Union-find algorithm Zusatzinfo: Worked examples or Exercises Verlagsort: Cambridge Sprache: englisch Maße: 178 x 253 mm Mathematik Informatik Programmiersprachen Programmierwerkzeuge Theorie Studium Künstliche Intelligenz Robotik Constraint-Programmierung ISBN-10: 0-521-87776-8 / 0521877768 ISBN-13: 978-0-521-87776-3 / 9780521877763 In englischer Sprache. 320 pages. 24,4 x 17,4 x 2,6 cm.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Essentials of Constraint Programming | Thom Frühwirth (u. a.) | Taschenbuch | Cognitive Technologies | ix | Englisch | 2010 | Springer | EAN 9783642087127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter:… preigu.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 29,50
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Mason's marks (Steinmetzzeichen) are symbols carved by stonecutters on dressed stone. These signs go back about 4500 years. In Europe, one can mainly find quarrier's marks from the medieval ages. In Architectural History, stonemason's marks allow to…reconstruct the construction process of a building. Mason's marks can be concisely represented by planar line graphs using basic Computational Geometry. This text shortly introduces mason's marks and the implementation of the software tool VanDeGraphGenerator to draw, analyse, and generate graphs in the declarative programming language Constraint Handling Rules. This book then features sixty choice mason's marks from Ulm Minster, Strasbourg Cathedral, and Iglesia Arciprestal de Santiago in Spain. Exploiting the inherent structural regularities of mason's marks, VanDeGraphGenerator can assemble new designs automatically using methods from Artificial Intelligence research to achieve a kind of Computational Creativity. The main part of the book showcases more than thousand new designs produced by the tool.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 96,02
EUR 63,69 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a web…site containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject.
- Softcover
Anbieter: book-link, Nufringen, BW, Deutschlandbook-link
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 10,00
EUR 49,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
paperback. Zustand: Wie neu. 176 Seiten; *** Neuwertig, ungelesen, als Geschenk geeignet. M25-06-H-42-LN Sprache: Deutsch Gewicht in Gramm: 500.
- Softcover
Anbieter: book-link, Nufringen, BW, Deutschlandbook-link
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 12,00
EUR 49,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
paperback. Zustand: Wie neu. 176 Seiten; *** Neuwertig, ungelesen, als Geschenk geeignet. M25-07-K-04-LN Sprache: Deutsch Gewicht in Gramm: 500.
