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ł.

Relations and Kleene Algebra in Computer Science

11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Pr

Język AngielskiAngielski
Książka Miękka
Książka Relations and Kleene Algebra in Computer Science Rudolf Berghammer
Kod Libristo: 01650600
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2009
The book constitutes the joint refereed proceedings of the 11th International Conference on Relation... Cały opis
? points 125 b
222.18 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Lessings Werke Gotthold Ephraim Lessing / Książka Miękka
common.buy 151.92 zł
Servicios sociales de base en el medio rural. Desafíos y perspectivas Martín Simón / Książka Miękka
common.buy 18.52 zł
Analyse der regionalen psychiatrischen Versorgung im Rhein-Kreis Neuss aus Patienten- und Versorgerperspektive Franziska Püschner / Książka Miękka
common.buy 216.28 zł
Le Télégraphe Électrique Louis Figuier / Książka Miękka
common.buy 55.08 zł
Mini Actibaby - Podium d'activités / Książka Miękka
common.buy 2 393.01 zł
LA DERNIERE TOURNEE DE LOUIS HOLMIERE / Wideo DVD
common.buy 103.76 zł
Un mariage en blanc Balogh / Książka Miękka
common.buy 42.96 zł
Signal et communications - Modulation, codage et théorie de l'information Brémaud / Książka Miękka
common.buy 129.93 zł
BIBLIOTECA DRACULA: LA TUMBA DE DRACULA 4 WOLFMAN / Książka Miękka
common.buy 85.32 zł
Cuentos infantiles 3 anos ROBERT / Książka Miękka
common.buy 182.57 zł
Educar En Valores. Libro de Actividades / Educate with Values: Activity Book Mas Estruch / Książka Miękka
common.buy 80.64 zł
Шахматы. Полный курс для детей / Książka Miękka
common.buy 104.88 zł
Public Diplomacy in Der Mediengesellschaft Stefan Wagner / Książka Miękka
common.buy 164.96 zł
Le livre des ombres pour sorcières modernes Deborah Blake / Książka Twarda
common.buy 117.71 zł
TOP
Poetische Korrespondenzen Ingeborg Bachmann / Książka Miękka
common.buy 44.59 zł
Guide du tapissier-décorateur CAP (2024) Flament / Książka Miękka
common.buy 400.80 zł
DIAS EJEMPLARES DE AMERICA WHITMAN / Książka Miękka
common.buy 131.56 zł
Kevin De Bruyne: kmotr lišák Jan Palička / Książka Twarda
common.buy 46.73 zł
2050 - Überleben hat einen Preis Bernhard Kempen / Książka Miękka
common.buy 65.98 zł
Sitzen ist das neue Rauchen Kelly Starrett / Książka Twarda
common.buy 137.56 zł
PerturbaÇoes Mentais Comuns nos Cuidados Primários MICHELE TANSELLA / Książka Książka
common.buy 100.80 zł
Instala, Administra, Securiza y Virtualiza Entornos Linux. Ramos Varón / Książka Miękka
common.buy 190.52 zł
Handbuch Filmmusik I Enjott Schneider / Książka Miękka
common.buy 77.18 zł
Investigación cualitativa en sanidad ICB / Książka Miękka
common.buy 97.95 zł

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009.§The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.

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 Relations and Kleene Algebra in Computer Science
Autor Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 367
EAN 9783642046384
ISBN 364204638X
Kod Libristo 01650600
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 575
Wymiary 155 x 235 x 21

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Matematyka i nauki ścisłe > Matematyka > Algebra
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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ć

Morning 1808 Shirley M Sprague / Książka Miękka
common.buy 36.04 zł
Red is Good: Transformational Changes for US Air Force Aircraft Maintenance: Maxwell Paper No. 46 Colonel Usaf Paul J McAneny / Książka Miękka
common.buy 71.58 zł
Submarine Boys' Trial Trip Victor G Durham / Książka Miękka
common.buy 73.61 zł
Patmos Paradigm James Hendershot / Książka Miękka
common.buy 68.22 zł
Carmilla J Sheridan Lefanu / Książka Miękka
common.buy 53.45 zł
Listening in the Ocean Whitlow W. L. Au / Książka Twarda
common.buy 619.63 zł
Heaven-Bound - Succeed Book Collections - (Sbc) 7 Minister Gertrude Mapara - (Mrs ) / Książka Miękka
common.buy 82.98 zł
Empire of Political Thought Bruce Buchan / Książka Miękka
common.buy 323.51 zł
Music Smith / Książka Twarda
common.buy 144.28 zł
Forgetfulness Ward Just / Książka Miękka
common.buy 60.07 zł
Debates of Corruption and Integrity P. Hardi / Książka Miękka
common.buy 251.00 zł
As Angels Hover Over Sandra J Yearman / Książka Miękka
common.buy 56.00 zł
Bronchiolitis Obliterans Syndrome in Lung Transplantation Keith C. Meyer / Książka Twarda
common.buy 649.47 zł
One Man's Initiation: 1917 John Dos Passos / Książka Miękka
common.buy 32.37 zł
Two and Three Dimensional Calculus - with Applications in Science and Engineering Phil Dyke / Książka Twarda
common.buy 332.16 zł
Death of Aztec Tenochtitlan, the Life of Mexico City Barbara E Mundy / Książka Miękka
common.buy 206.40 zł
Secession and State Creation Ker-Lindsay / Książka Miękka
common.buy 64.55 zł
World in Six Songs Daniel Levitin / Książka Miękka
common.buy 59.87 zł
My Adventures Around the World: Bicycle Ride Across America on the Northern Tier Route: Summer 2019 Derek Rich / Książka Miękka
common.buy 28.09 zł
Elizabeth Bennet's Wedding Olivia Kane / Książka Miękka
common.buy 40.52 zł
The Funny Bone: Short Stories And Amusing Anecdotes For A Dull Hour (1910) Henry Martyn Kieffer / Książka Miękka
common.buy 111.60 zł
Routledge Handbook of Mapping and Cartography Peter Vujakovic / Książka Miękka
common.buy 307.11 zł
BABADADA black-and-white, Laotian (in lao script) - Fulfulde, visual dictionary (in lao script) - diksiyoneer natal Babadada Gmbh / Książka Miękka
common.buy 29.01 zł
Christian Persecution in Antiquity Wolfram Kinzig / E-book Adobe ePub DRM
common.buy 212.92 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?