Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
EUR 45,00
Cantidad disponible: 9 disponibles
Añadir al carrito4°, Gebundene Ausgabe. Condición: Sehr gut. 295 pp. Ausgetragenes Bibliotheksexemplar, mit leichten Gebrauchsspuren DE-10-18 Sprache: Englisch Gewicht in Gramm: 757.
Idioma: Inglés
Publicado por Berlin/Heidelberg, Springer, 2007
ISBN 10: 3540004289 ISBN 13: 9783540004288
EUR 49,00
Cantidad disponible: 1 disponibles
Añadir al carrito8°, gebundene Ausgabe. Condición: Sehr gut. XI/437 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten B05-03-06A Sprache: Englisch Gewicht in Gramm: 839.
Idioma: Inglés
Publicado por Cambridge University Press (edition 1), 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
EUR 78,11
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 89,13
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 78,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 94,34
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 94,34
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 94,34
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 92,55
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 75,47
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 113,30
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 102,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 117,84
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 102,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 118,71
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 120,23
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. xii + 295.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 115,07
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Librería: Majestic Books, Hounslow, Reino Unido
EUR 121,27
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. xii + 295 Illus.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 115,07
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 130,37
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 115,06
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521198666 ISBN 13: 9780521198660
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 120,22
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. xii + 295.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 74,89
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 136,47
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: preigu, Osnabrück, Alemania
EUR 68,45
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: preigu, Osnabrück, Alemania
EUR 72,70
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2014
ISBN 10: 3642438601 ISBN 13: 9783642438608
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 80,20
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 144,97
Cantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 152,66
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. xi + 565 2009th edition.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2007
ISBN 10: 3540004289 ISBN 13: 9783540004288
Librería: Revaluation Books, Exeter, Reino Unido
EUR 144,32
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 437 pages. 9.50x6.25x0.75 inches. In Stock.