Anbieter: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Deutschland
EUR 2,24
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Gebraucht - Sehr gut front cover kinked - ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 6,19
Gebraucht ab EUR 25,67
Mehr entdecken Softcover
Verlag: Berlin ; Heidelberg ; Singapore ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1995
ISBN 10: 3540604723 ISBN 13: 9783540604723
Sprache: Deutsch
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
EUR 6,70
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbkart. Zustand: Gut. 1995. VIII, 567 S. : graph. Darst. Sprache: Deutsch Gewicht in Gramm: 1800.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 10,70
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1995
ISBN 10: 3540594876 ISBN 13: 9783540594871
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 13,61
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Seiten: 436 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 44,44
Gebraucht ab EUR 13,61
Mehr entdecken Softcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 8,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 736; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 64,82
Gebraucht ab EUR 15,53
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1990
ISBN 10: 3540527346 ISBN 13: 9783540527343
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 19,52
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 176 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 26,39
Gebraucht ab EUR 19,52
Mehr entdecken Softcover
EUR 16,95
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. XVII, 365 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03830 3540941290 Sprache: Englisch Gewicht in Gramm: 550.
Anbieter: Bellwetherbooks, McKeesport, PA, USA
EUR 7,46
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good. Bruise/tear to cover.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
EUR 16,95
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: as new. Cambridge, MA: The MIT Press, 1991. Paperback. 301 pp.The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. English text. Condition : as new. Condition : as new copy. ISBN 9780262640275. Keywords : , Logic programming.
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992
ISBN 10: 3540557075 ISBN 13: 9783540557074
Sprache: Englisch
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
EUR 19,90
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. 1992. IX, 514 S. : graph. Darst. Edition 1992, 514 p.! Unread book. Very good condition. Slight traces of storage. 9783540557074 Sprache: Englisch Gewicht in Gramm: 1000.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 22,40
Mehr entdecken Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
EUR 4,41
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. 431 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 24,12
Mehr entdecken Softcover
Verlag: Providence, American mathematical Society, 1985
ISBN 10: 0821814478 ISBN 13: 9780821814475
Sprache: Englisch
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
EUR 21,04
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 REC 9780821814475 Sprache: Englisch Gewicht in Gramm: 550.
EUR 27,22
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
EUR 36,72
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 452.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 39,02
Gebraucht ab EUR 42,14
Mehr entdecken Hardcover
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540573186 ISBN 13: 9783540573180
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,60
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 39,60
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540926860 ISBN 13: 9783540926863
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 484 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 39,79
Mehr entdecken Softcover
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 41,14
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Shows some signs of 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 45,69
Mehr entdecken Softcover
EUR 47,23
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 47,23
Gebraucht ab EUR 180,38
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 354065643X ISBN 13: 9783540656432
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 71,85
Mehr entdecken Softcover
Verlag: Springer International Publishing, 2017
ISBN 10: 3319720554 ISBN 13: 9783319720555
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 129,10
Mehr entdecken Softcover
Anbieter: Fahrenheit 451 Antiquarian Booksellers, Leiden, Niederlande
Erstausgabe
EUR 18,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBerlin/ Heidelberg/ New York, Springer-Verlag, 1974, 1st ed., VIII,146,(2) pag., original yellow cloth. = Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 81.
Verlag: Springer Berlin Heidelberg, 1997
ISBN 10: 3540632557 ISBN 13: 9783540632559
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 54,70
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540727329 ISBN 13: 9783540727323
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 106,72
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642357210 ISBN 13: 9783642357213
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 78,72
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030367541 ISBN 13: 9783030367541
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
Verlag: Springer International Publishing, 2015
ISBN 10: 3319276824 ISBN 13: 9783319276823
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016.The 27 revised full paperswere carefully reviewed and selected from 46 submissions.The scopeof the Symposium is broad and includes constructive mathematics and typetheory; homotopy type theory; logic, automata, and automatic structures;computability and randomness; logical foundations of programming; logicalaspects of computational complexity; parameterized complexity; logicprogramming and constraints; automated deduction and interactive theoremproving; logical methods in protocol and program verification; logical methodsin program specification and extraction; domain theory logics; logicalfoundations of database theory; equational logic and term rewriting; lambda andcombinatory calculi; categorical logic and topological semantics; linear logic;epistemic and temporal logics; intelligent and multiple-agent system logics;logics of proof and justification; non-monotonic reasoning; logic in gametheory and social software; logic of hybrid systems; distributed system logics;mathematical fuzzy logic; system design logics; and other logics in computerscience.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 58,11
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 58,11
Gebraucht ab EUR 63,96
Mehr entdecken Softcover
Anbieter: ALLBOOKS1, Direk, SA, Australien
EUR 58,43
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorb
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 51,51
Gebraucht ab EUR 58,43
Mehr entdecken Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,40
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer International Publishing, 2021
ISBN 10: 3030930998 ISBN 13: 9783030930998
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 60,72
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Hervorragend. Zustand: Hervorragend | Seiten: 388 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 70,33
Gebraucht ab EUR 60,72
Mehr entdecken Softcover