Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science)

0 durchschnittliche Bewertung
( 0 Bewertungen bei Goodreads )
 
9783642118807: Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
Críticas:

“The thesis is a very nice introduction to the area of time granularities and indeed also automata on infinite strings or trees. All major notions are discussed, formally introduced, exemplified, and compared to similar notions. The language is generally appropriate and understandable and the mathematics in the contribution should be understandable by any graduate student. Since the essential definitions and proofs are provided, the book can easily be read without additional literature.” (Andreas Maletti, Mathematical Reviews, February, 2016)

Reseña del editor:

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

1.

Gabriele Puppis
Verlag: Springer (2010)
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Paperbackshop-US
(Wood Dale, IL, USA)
Bewertung

Buchbeschreibung Springer, 2010. PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers LQ-9783642118807

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 75,08
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

2.

Puppis, Gabriele
Verlag: Springer (2017)
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Paperback Anzahl: > 20
Print-on-Demand
Anbieter
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Springer, 2017. Paperback. Zustand: New. PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783642118807_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 78,65
Währung umrechnen

In den Warenkorb

Versand: EUR 7,66
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

3.

Puppis, Gabriele
Verlag: Springer 2010-02 (2010)
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Anzahl: 1
Anbieter
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Springer 2010-02, 2010. PF. Zustand: New. Bestandsnummer des Verkäufers 6666-LSI-9783642118807

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 71,21
Währung umrechnen

In den Warenkorb

Versand: EUR 15,72
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

4.

Gabriele Puppis
Verlag: Springer (2010)
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Anzahl: > 20
Print-on-Demand
Anbieter
Books2Anywhere
(Fairford, GLOS, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Springer, 2010. PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers DP-9783642118807

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 71,55
Währung umrechnen

In den Warenkorb

Versand: EUR 27,38
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

5.

Puppis, Gabriele
Verlag: Springer
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Paperback Anzahl: 1
Print-on-Demand
Anbieter
booksXpress
(Freehold, NJ, USA)
Bewertung

Buchbeschreibung Springer. Paperback. Zustand: new. This item is printed on demand. Bestandsnummer des Verkäufers 9783642118807

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 101,47
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

6.

Gabriele Puppis
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany (2010)
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Paperback Anzahl: 10
Anbieter
The Book Depository EURO
(London, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, 2010. Paperback. Zustand: New. 2010. Language: English. Brand new Book. Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. Bestandsnummer des Verkäufers AAV9783642118807

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 110,15
Währung umrechnen

In den Warenkorb

Versand: EUR 3,29
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

7.

Gabriele Puppis
Verlag: - -
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Paperback Anzahl: 20
Anbieter
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung

Buchbeschreibung - -. Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-ING-9783642118807

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 101,63
Währung umrechnen

In den Warenkorb

Versand: EUR 15,72
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

8.

Gabriele Puppis
Verlag: Springer (2010)
ISBN 10: 3642118801 ISBN 13: 9783642118807
Neu Paperback Anzahl: 2
Anbieter
Revaluation Books
(Exeter, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Springer, 2010. Paperback. Zustand: Brand New. 1st edition. 206 pages. 9.50x6.25x0.75 inches. In Stock. Bestandsnummer des Verkäufers x-3642118801

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 118,43
Währung umrechnen

In den Warenkorb

Versand: EUR 38,33
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer