Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
4°, Gebundene Ausgabe. Zustand: Sehr gut. 295 pp. Ausgetragenes Bibliotheksexemplar, mit leichten Gebrauchsspuren DE-10-18 Sprache: Englisch Gewicht in Gramm: 757.
Sprache: Englisch
Verlag: Berlin/Heidelberg, Springer, 2007
ISBN 10: 3540004289 ISBN 13: 9783540004288
8°, gebundene Ausgabe. Zustand: Sehr gut. XI/437 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten B05-03-06A Sprache: Englisch Gewicht in Gramm: 839.
Sprache: Englisch
Verlag: Cambridge University Press (edition 1), 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: BooksRun, Philadelphia, PA, USA
Hardcover. Zustand: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,57
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 75,47
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 113,31
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 102,90
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 117,85
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 102,89
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press CUP, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: Books Puddle, New York, NY, USA
Zustand: Used. pp. xii + 295.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 121,27
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. xii + 295 Illus.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 115,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 115,05
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. xii + 295.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Automata, Logics, and Infinite Games | A Guide to Current Research | Erich Grädel (u. a.) | Taschenbuch | viii | Englisch | 2002 | Springer | EAN 9783540003885 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Finite Model Theory and Its Applications | Erich Grädel (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xi | Englisch | 2014 | Springer | EAN 9783642438608 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2014
ISBN 10: 3642438601 ISBN 13: 9783642438608
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,'thebranchof mathematical logic which deals with the relation between a formal language and its interpretations'. No wonder, then, that mathematical logic, and nite model theory in particular, should nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of nite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and arti cial intelligence, es- cially constraint databases and constraint satisfaction problems. The nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with nite model theory.
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
Zustand: New. pp. xi + 565 2009th edition.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540004289 ISBN 13: 9783540004288
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 144,30
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 146,69
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 158,29
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.