Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automata for Branching and Layered Temporal Structures

Name: Automata for Branching and Layered Temporal Structures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281213
Price: 51.55 EUR
Availability: InStock
Author: Gabriele Puppis
ISBN: 9783642118807

An Investigation into Regularities of Infinite Transition Systems

Gabriele Puppis

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 05281213

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, veljača 2010

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Lan... Cijeli opis

Libristo kod: 05281213

125 b

51.55 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Tombeaux Annette Wieviorka

Meki uvez

12.10 €

Chaconne For Jonathan Harvey, Orgel Ed Hughes

Note

11.90 €

Beziehungen zwischen dem normativen und dem produktiven Aspekt einer Demokratisierung der Wirtschaft. Jochen Block

Meki uvez

65.78 €

La dernière aventure de Tintin et d'Hergé Madame NICOLE BENKEMOUN

Meki uvez

25.02 €

Ravensburger Leserabe Rätselspaß - Kreuzworträtsel zum Lesenlernen - 2. Lesestufe Anne Karen Rasch

Meki uvez

5.64 €

Pour un manquement Première variation Nos jours après la vie Gauthier

Meki uvez

14.02 €

Lejos de todo Idoia Amo

Meki uvez

13.71 €

El misteri del tresor desaparegut: Geronimo Stilton 10 GERONIMO STILTON

Meki uvez

11.39 €

Indices Petrus de Crescentiis

Meki uvez

42.37 €

EinFach Deutsch Unterrichtsmodelle Franz Kafka

Meki uvez

34.60 €

Marktsegmentauswahl und Personalimagewerbung ausgewahlter Grossbanken Alexandra Rettinger

Meki uvez

33.89 €

Memoires d'une contemporaine (1/8) Souvenirs d'une femme sur les principaux personnages de la Republique, du Consulat, de l'Empire, etc... Ida Saint-Elme

Meki uvez

16.14 €

Die Russische Klavierschule. Bd.2 Alexander Nikolajew

Note

29.05 €

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.