Idioma: Inglés
Publicado por Providence, American Mathematical Society, 1989
ISBN 10: 0821824686 ISBN 13: 9780821824689
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
EUR 24,50
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. 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 BLA 9780821824689 Sprache: Englisch Gewicht in Gramm: 550.
Idioma: Alemán
Publicado por Neue Erde; 1. Edition (4. März 2024), 2024
ISBN 10: 3890608531 ISBN 13: 9783890608532
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 26,98
Cantidad disponible: 3 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,17
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,17
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,00
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,00
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,19
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 60,52
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 64,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 64,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,18
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,18
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,37
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,41
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,30
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,34
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 73,89
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 346.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 29,80
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 400 pages. German language. 0.39x6.50x9.25 inches. In Stock.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,73
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2020
ISBN 10: 3030480054 ISBN 13: 9783030480059
Librería: Revaluation Books, Exeter, Reino Unido
EUR 78,58
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 352 pages. 9.25x6.10x0.87 inches. In Stock.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 102,33
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, Springer Nature Switzerland Mai 2020, 2020
ISBN 10: 3030480054 ISBN 13: 9783030480059
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This Festschrift is published in honor of Yuri Gurevich¿s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18¿20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri¿s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing Aug 2015, 2015
ISBN 10: 3319235338 ISBN 13: 9783319235332
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the 'Yurifest' symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the24th EACSL Annual Conference on Computer Science Logic (CSL 2015).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319235338 ISBN 13: 9783319235332
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the 'Yurifest' symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).
Idioma: Inglés
Publicado por Springer International Publishing, 2020
ISBN 10: 3030480054 ISBN 13: 9783030480059
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri's 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2015
ISBN 10: 3319235338 ISBN 13: 9783319235332
Librería: Revaluation Books, Exeter, Reino Unido
EUR 78,28
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 332 pages. 9.00x6.00x0.75 inches. In Stock.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642150241 ISBN 13: 9783642150241
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 123,29
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). The meeting received generous support from Microsoft Research. In preparation for this 70th birthday event, we asked Yuris colleagues (whether or not they were able to attend the symposium) to contribute to a volume in his honor. This book is the result of that e?ort. The collection of articles herein begins with an academic biography, an annotated list of Yuris publications and reports, and a personaltribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles though they cover a broad range of topics represent only a fraction of Yuris multiple areas of interest. Each contribution was reviewed by one or two readers. In this regard, the editors wish to thank several anonymous individuals for their assistance. To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: preigu, Osnabrück, Alemania
EUR 50,35
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Fields of Logic and Computation III | Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday | Andreas Blass (u. a.) | Taschenbuch | x | Englisch | 2020 | Springer | EAN 9783030480059 | 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-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 3642150241 ISBN 13: 9783642150241
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 137,27
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900. . 2010. Paperback. . . . .