Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
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 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Relations and Kleene Algebra in Computer Science Rudolf Berghammer
Libristo kod: 01650600
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2009
The book constitutes the joint refereed proceedings of the 11th International Conference on Relation... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Lessings Werke Gotthold Ephraim Lessing / Knjiga Meki uvez
common.buy 35.29 €
Шахматы. Полный курс для детей / Knjiga Meki uvez
common.buy 23.05 €
Analyse der regionalen psychiatrischen Versorgung im Rhein-Kreis Neuss aus Patienten- und Versorgerperspektive Franziska Püschner / Knjiga Meki uvez
common.buy 47.64 €
Mini Actibaby - Podium d'activités / Knjiga Meki uvez
common.buy 532.38 €
LA DERNIERE TOURNEE DE LOUIS HOLMIERE / Video DVD
common.buy 23.15 €
Un mariage en blanc Balogh / Knjiga Meki uvez
common.buy 9.60 €
Signal et communications - Modulation, codage et théorie de l'information Brémaud / Knjiga Meki uvez
common.buy 29.02 €
BIBLIOTECA DRACULA: LA TUMBA DE DRACULA 4 WOLFMAN / Knjiga Meki uvez
common.buy 18.91 €
Cuentos infantiles 3 anos ROBERT / Knjiga Meki uvez
common.buy 40.55 €
Servicios sociales de base en el medio rural. Desafíos y perspectivas Martín Simón / Knjiga Meki uvez
common.buy 4.04 €
Public Diplomacy in Der Mediengesellschaft Stefan Wagner / Knjiga Meki uvez
common.buy 38.33 €
Le livre des ombres pour sorcières modernes Deborah Blake / Knjiga Tvrdi uvez
common.buy 26.19 €
Top
Poetische Korrespondenzen Ingeborg Bachmann / Knjiga Meki uvez
common.buy 9.90 €
Guide du tapissier-décorateur CAP (2024) Flament / Knjiga Meki uvez
common.buy 89.21 €
DIAS EJEMPLARES DE AMERICA WHITMAN / Knjiga Meki uvez
common.buy 29.22 €
Kevin De Bruyne: kmotr lišák Jan Palička / Knjiga Tvrdi uvez
common.buy 10.21 €
2050 - Überleben hat einen Preis Bernhard Kempen / Knjiga Meki uvez
common.buy 15.37 €
Sitzen ist das neue Rauchen Kelly Starrett / Knjiga Tvrdi uvez
common.buy 34.48 €
PerturbaÇoes Mentais Comuns nos Cuidados Primários MICHELE TANSELLA / Knjiga Knjiga
common.buy 22.14 €
Instala, Administra, Securiza y Virtualiza Entornos Linux. Ramos Varón / Knjiga Meki uvez
common.buy 42.27 €
Handbuch Filmmusik I Enjott Schneider / Knjiga Meki uvez
common.buy 17.89 €
Investigación cualitativa en sanidad ICB / Knjiga Meki uvez
common.buy 21.84 €
El Capitán Calzoncillos y la invasión de los pérfidos tiparracos del espacio Dav Pilkey / Knjiga Meki uvez
common.buy 9.70 €
El maniqui de mimbre Anatole France / Knjiga Meki uvez
common.buy 7.37 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Relations and Kleene Algebra in Computer Science
Autor Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 367
EAN 9783642046384
ISBN 364204638X
Libristo kod 01650600
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 575
Dimenzije 155 x 235 x 21

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Morning 1808 Shirley M Sprague / Knjiga Meki uvez
common.buy 8.39 €
Red is Good: Transformational Changes for US Air Force Aircraft Maintenance: Maxwell Paper No. 46 Colonel Usaf Paul J McAneny / Knjiga Meki uvez
common.buy 16.68 €
Submarine Boys' Trial Trip Victor G Durham / Knjiga Meki uvez
common.buy 17.09 €
Patmos Paradigm James Hendershot / Knjiga Meki uvez
common.buy 16.68 €
Carmilla J Sheridan Lefanu / Knjiga Meki uvez
common.buy 12.43 €
Listening in the Ocean Whitlow W. L. Au / Knjiga Tvrdi uvez
common.buy 152.13 €
Heaven-Bound - Succeed Book Collections - (Sbc) 7 Minister Gertrude Mapara - (Mrs ) / Knjiga Meki uvez
common.buy 19.31 €
Empire of Political Thought Bruce Buchan / Knjiga Meki uvez
common.buy 75.25 €
Music Smith / Knjiga Tvrdi uvez
common.buy 33.57 €
Forgetfulness Ward Just / Knjiga Meki uvez
common.buy 13.95 €
Designing for User Engagement on the Web Cheryl Geisler / Knjiga Meki uvez
common.buy 58.86 €
As Angels Hover Over Sandra J Yearman / Knjiga Meki uvez
common.buy 13.04 €
Debates of Corruption and Integrity P. Hardi / Knjiga Meki uvez
common.buy 55.83 €
One Man's Initiation: 1917 John Dos Passos / Knjiga Meki uvez
common.buy 7.48 €
Two and Three Dimensional Calculus - with Applications in Science and Engineering Phil Dyke / Knjiga Tvrdi uvez
common.buy 74.14 €
Death of Aztec Tenochtitlan, the Life of Mexico City Barbara E Mundy / Knjiga Meki uvez
common.buy 48.04 €
Secession and State Creation Ker-Lindsay / Knjiga Meki uvez
common.buy 14.96 €
World in Six Songs Daniel Levitin / Knjiga Meki uvez
common.buy 13.95 €
My Adventures Around the World: Bicycle Ride Across America on the Northern Tier Route: Summer 2019 Derek Rich / Knjiga Meki uvez
common.buy 6.56 €
Elizabeth Bennet's Wedding Olivia Kane / Knjiga Meki uvez
common.buy 9.40 €
The Funny Bone: Short Stories And Amusing Anecdotes For A Dull Hour (1910) Henry Martyn Kieffer / Knjiga Meki uvez
common.buy 25.99 €
Routledge Handbook of Mapping and Cartography Peter Vujakovic / Knjiga Meki uvez
common.buy 71.41 €
BABADADA black-and-white, Laotian (in lao script) - Fulfulde, visual dictionary (in lao script) - diksiyoneer natal Babadada Gmbh / Knjiga Meki uvez
common.buy 6.77 €
Christian Persecution in Antiquity Wolfram Kinzig / E-knjiga Adobe ePub DRM
common.buy 47.53 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?