Koen john (16 Ergebnisse)
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 8,84
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Anbieter: Specific Object / David Platzker, New York, NY, USASpecific Object / David Platzker
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 31,16
EUR 7,35 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
357 pp.; 30.4 x 23.4 cm.; sewn bound; black-and-white & color; edition size unknown; unsigned and unnumbered; offset-printed Monograph published in celebration of more than 20 years of exhibitions at Witte de With in Rotterdam. Edited by Zoë Gray, Nicolaus Schafhausen, and Monica Szewczyk. Essays by Koen Kleijn, Andrew Renton, a…nd Ken Lum. Artists include Guillaume Bijl, John Knight, Julio Galán, Guillermo Kuitca, Cézanne, Hermann Pitz, Jessica Stockholder, Hélio Oiticica, Dan Graham, Rita McBride, Tacita Dean, Liam Gillick, and many, many others. Includes an index. Very Good. Rubbing and scuffing of covers with light bumping of corners, otherwise Fine. Contents clean and unmarked. Due to large size and weight of this publication additional shipping charges will be required for international orders.
- Hardcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes KönigreichPhatpocket Limited
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 32,99
EUR 12,44 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
- Hardcover
Anbieter: Books From California, Simi Valley, CA, USABooks From California
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 117,04
EUR 4,31 VersandVersand innerhalb von USAAnzahl: 5 verfügbar
hardcover. Zustand: Very Good.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 17,30
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 424 | Sprache: Englisch | Produktart: Bücher | Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited vo…lume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems.Chapters include: ¿ Using Theorem Proving to Verify Properties of Agent Programs ¿ The Refinement of Multi-Agent Systems ¿ Model Checking Agent Communication ¿ Directions for Agent Model Checking ¿ Model Checking Logics of Strategic Ability: Complexity ¿ Correctness of Mult-Agent Programs: A Hybrid Approach ¿ The Norm Implementation Problem in Normative Multi-Agent Systems ¿ A Verification Logic for GOAL Agents ¿ Using the Maude Term Rewriting Language for Agent Development with Formal Foundations ¿ The Cognitive Agents Specification Language and Verification Environment ¿ A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns ¿ Assurance of Agent Systems: What Role Should Formal Verification Play?Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 152,00
EUR 11,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 216 pages. 9.75x6.50x0.75 inches. In Stock.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 166,02
EUR 14,01 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 140,10
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Specification and Verification of Multi-agent Systems | Mehdi Dastani (u. a.) | Taschenbuch | xvii | Englisch | 2014 | Humana | EAN 9781489990884 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 160,49
EUR 63,88 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contrib…utions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: - Using Theorem Proving to Verify Properties of Agent Programs - The Refinement of Multi-Agent Systems - Model Checking Agent Communication - Directions for Agent Model Checking - Model Checking Logics of Strategic Ability: Complexity - Correctness of Mult-Agent Programs: A Hybrid Approach - The Norm Implementation Problem in Normative Multi-Agent Systems - A Verification Logic for GOAL Agents - Using the Maude Term Rewriting Language for Agent Development with Formal Foundations - The Cognitive Agents Specification Language and Verification Environment - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns - Assurance of Agent Systems: What Role Should Formal Verification Play Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 168,73
EUR 63,20 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes…contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: - Using Theorem Proving to Verify Properties of Agent Programs - The Refinement of Multi-Agent Systems - Model Checking Agent Communication - Directions for Agent Model Checking - Model Checking Logics of Strategic Ability: Complexity - Correctness of Mult-Agent Programs: A Hybrid Approach - The Norm Implementation Problem in Normative Multi-Agent Systems - A Verification Logic for GOAL Agents - Using the Maude Term Rewriting Language for Agent Development with Formal Foundations - The Cognitive Agents Specification Language and Verification Environment - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns - Assurance of Agent Systems: What Role Should Formal Verification Play Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 238,14
EUR 14,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 405 pages. 9.25x6.25x1.00 inches. In Stock.
Specification and Verification of Multi-Agent Systems
Dastani, Mehdi (Editor) / Meyer, John-Jules (Editor) / Hindriks, Koen V. (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 238,35
EUR 14,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 422 pages. 9.25x6.10x0.96 inches. In Stock.
Verlag: Gent/Antwerpen, Ludion, 2009, 2009
Anbieter: BOOKSELLER - ERIK TONEN BOOKS, Antwerpen, BelgienBOOKSELLER - ERIK TONEN BOOKS
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 18,00
EUR 39,50 VersandVersand von Belgien nach USAAnzahl: 1 verfügbar
In den WarenkorbSlappe kaft,26 x 205cm,144 pp.150 ill.Nederlands,/ English. *new condition. . ISBN 9789055447954. Aan de hand van 40 locaties gelegen langs de stroom tussen de Droogdokken in het noorden tot aan Petroleum Zuid, schetst dit boek een beeld van het rumoerige havenleven uit het verleden, de opbloeiende actuele architectuur en de mog…elijke toekomstige ruimtelijke ordening van de kaaien. 0 g.
Verlag: , Stichting Kunstboek, 2022, 2022
- Hardcover
Anbieter: BOOKSELLER - ERIK TONEN BOOKS, Antwerpen, BelgienBOOKSELLER - ERIK TONEN BOOKS
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 49,90
EUR 39,50 VersandVersand von Belgien nach USAAnzahl: 1 verfügbar
In den WarenkorbHB, 290 x 240 mm, 144 pages, 80 Kleurenillustraties, EN-NL edition. ISBN 9789058566812. Kunstenares Ellen Marie grijpt terug naar de ambachtelijkheid van oude meesters. Dat leerde ze niet aan de Willem De Kooning Academie waar ze eerst studeerde, maar aan de Barcelona Academy of Art, waar ze traditionele teken- en schildertechni…eken kreeg onderwezen. Nu heeft ze een eigen studio in Barcelona en geeft ze er les aan de Academy. Lux Aeterna, 'Eeuwig Licht' is een reeks van 57 schilderijen waarin ze het proces volgt van een dansende man op weg naar zelfverwezenlijking, de hoogste der menselijke behoeften. In het eerste deel treffen we hem aan kronkelend van zielenpijn, getormenteerd doordat een blinddoek hem belet het licht dat hem omringt, waar te nemen. In deel twee valt de blinddoek af en komt er geleidelijk een dans op gang. Er ontstaat een dialoog tussen het licht dat op zijn lichaam valt en het onzichtbare licht, de levenskracht die van binnenuit opwelt, eerst ingetogen daarna steeds woester. In het derde deel spatten de klodders verf van het doek. De vorm valt meer en meer uit elkaar en transmuteert tot een onherkenbare massa waarin nog slechts de suggestie van een figuur zit. In het vierde deel ten slotte, vindt de man na een lange eenzame tocht verwantschap bij gelijkgestemde zielen die baden in het goddelijke licht. Dit verhaal verbeeldt de innerlijke zoektocht van de kunstenares naar Waarheid, Licht en Vrijheid. Kunstrecensent Koen Van Damme (The Art Couch) schreef vijf gedichten bij dit bijzondere werk. 0 g.
Sprache: Englisch
Verlag: Strombeck, Beeldende Kunst Stombeck/Mechelen (BKSM), 2008
- Erstausgabe
Anbieter: Antiquariat Uhlmann, Zürich, SchweizAntiquariat Uhlmann
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 273,60
EUR 33,00 VersandVersand von Schweiz nach USAAnzahl: 1 verfügbar
In den WarenkorbOHLwd. m. geprägtem Rückentitel u. montiertem Deckelschild. 2° (32 x 31,5 cm), o. P.: 26 BL., durchgehend farbige Tafeln. Kopf bestossen, sonst tadellos. EA. Erschienen zur Ausstellung Mechelen und Gent.
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 179,95
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. LUX AETERNA Ellen Marie. In deutscher Sprache. pages.
