Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automata for Branching and Layered Temporal Structures

An Investigation into Regularities of Infinite Transition Systems

Język AngielskiAngielski
Książka Miękka
Książka Automata for Branching and Layered Temporal Structures Gabriele Puppis
Kod Libristo: 05281213
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luty 2010
Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Lan... Cały opis
? points 125 b
221.95 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Tombeaux Annette Wieviorka / Książka Miękka
common.buy 54.51 zł
Chaconne For Jonathan Harvey, Orgel Ed Hughes / Prasa Nuty
common.buy 54.31 zł
Beziehungen zwischen dem normativen und dem produktiven Aspekt einer Demokratisierung der Wirtschaft. Jochen Block / Książka Miękka
common.buy 283.19 zł
La dernière aventure de Tintin et d'Hergé Madame NICOLE BENKEMOUN / Książka Miękka
common.buy 113.11 zł
Ravensburger Leserabe Rätselspaß - Kreuzworträtsel zum Lesenlernen - 2. Lesestufe Anne Karen Rasch / Książka Miękka
common.buy 24.30 zł
Pour un manquement Première variation Nos jours après la vie Gauthier / Książka Miękka
common.buy 62.85 zł
Lejos de todo Idoia Amo / Książka Miękka
common.buy 59.09 zł
El misteri del tresor desaparegut: Geronimo Stilton 10 GERONIMO STILTON / Książka Miękka
common.buy 50.75 zł
Indices Petrus de Crescentiis / Książka Miękka
common.buy 192.14 zł
EinFach Deutsch Unterrichtsmodelle Franz Kafka / Książka Miękka
common.buy 149.11 zł
Marktsegmentauswahl und Personalimagewerbung ausgewahlter Grossbanken Alexandra Rettinger / Książka Miękka
common.buy 145.96 zł
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 / Książka Miękka
common.buy 69.36 zł
Die Russische Klavierschule. Bd.2 Alexander Nikolajew / Prasa Nuty
common.buy 125.01 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automata for Branching and Layered Temporal Structures
Autor Gabriele Puppis
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 206
EAN 9783642118807
ISBN 3642118801
Kod Libristo 05281213
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 338
Wymiary 155 x 235 x 12

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Belief Functions: Theory and Applications Thierry Denoeux / Książka Miękka
common.buy 883.65 zł
Robust Controller Design Using Normalized Coprime Factor Plant Descriptions Duncan C. McFarlane / Książka Miękka
common.buy 530.67 zł
Magnetic Heterostructures H. Zabel / Książka Miękka
common.buy 883.65 zł
Characteristics of Filipino Leaders Towards Organization Performance L. Moscosa / Książka Miękka
common.buy 33.05 zł
Principles of Photonics Jia-Ming Liu / E-book Adobe ePub DRM
common.buy 522.03 zł
Practice Makes Perfect: English Vocabulary for Beginning ESL Learners, Premium Fourth Edition Yates / Książka Miękka
common.buy 66.42 zł
The Lancet, Volume 1, Part 2... Anonymous / Książka Miękka
common.buy 164.37 zł
Biosimilars Shein-Chung Chow / Książka Miękka
common.buy 407.79 zł
Teaching and Learning of Social Research Methods Melanie Nind / Książka Miękka
common.buy 291.93 zł
Biomimetic Function of Iron Sulfur Clusters with Alternative Ligands. Model Studies Using Synthetic Analogues Marie Bergner / Książka Miękka
common.buy 189.80 zł
Grammar of the Bengali Language John Beames / Książka Miękka
common.buy 54.11 zł
Journey to the Arctic Euphemia Vale Blake / Książka Miękka
common.buy 52.58 zł
Speculations on German History Barry Emslie / Książka Twarda
common.buy 565.46 zł
Discovery Frances Chamberlaine Sheridan / Książka Miękka
common.buy 82.38 zł
Center Vortices and Chiral Symmetry Breaking Roman Höllwieser / Książka Miękka
common.buy 302.21 zł
Strong Hermeneutics Nicholas H. Smith / Książka Miękka
common.buy 318.48 zł
TOP
First Thousand Words in Portuguese Heather Amery / Książka Miękka
common.buy 33.86 zł
Traveller's History of London Richard Tames / Książka Miękka
common.buy 61.73 zł
Education and Social Mobility in the Soviet Union 1921-1934 Sheila Fitzpatrick / Książka Miękka
common.buy 172.61 zł
Child-initiated Learning Ros Bayley / Książka Miękka
common.buy 92.86 zł
Care of the Child Helen Lewer / Książka Miękka
common.buy 253.38 zł
Builders of the Pacific Coast Lloyd Kahn / Książka Miękka
common.buy 108.63 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?