«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro Tapa blanda
Libro Relations and Kleene Algebra in Computer Science Rudolf Berghammer
Código Libristo: 01650600
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2009
The book constitutes the joint refereed proceedings of the 11th International Conference on Relation... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Lessings Werke Gotthold Ephraim Lessing / Libro Tapa blanda
common.buy 38.99 €
Servicios sociales de base en el medio rural. Desafíos y perspectivas Martín Simón / Libro Tapa blanda
common.buy 4.09 €
Analyse der regionalen psychiatrischen Versorgung im Rhein-Kreis Neuss aus Patienten- und Versorgerperspektive Franziska Püschner / Libro Tapa blanda
common.buy 53.39 €
Le Télégraphe Électrique Louis Figuier / Libro Tapa blanda
common.buy 13.49 €
Mini Actibaby - Podium d'activités / Libro Tapa blanda
common.buy 559.59 €
LA DERNIERE TOURNEE DE LOUIS HOLMIERE / Video DVD
common.buy 24.29 €
Un mariage en blanc Balogh / Libro Tapa blanda
common.buy 10.09 €
Signal et communications - Modulation, codage et théorie de l'information Brémaud / Libro Tapa blanda
common.buy 30.39 €
BIBLIOTECA DRACULA: LA TUMBA DE DRACULA 4 WOLFMAN / Libro Tapa blanda
common.buy 19.09 €
Cuentos infantiles 3 anos ROBERT / Libro Tapa blanda
common.buy 40.79 €
Educar En Valores. Libro de Actividades / Educate with Values: Activity Book Mas Estruch / Libro Tapa blanda
common.buy 20.49 €
Public Diplomacy in Der Mediengesellschaft Stefan Wagner / Libro Tapa blanda
common.buy 42.39 €
Le livre des ombres pour sorcières modernes Deborah Blake / Libro Tapa dura
common.buy 27.49 €
Popular
Poetische Korrespondenzen Ingeborg Bachmann / Libro Tapa blanda
common.buy 10.99 €
Guide du tapissier-décorateur CAP (2024) Flament / Libro Tapa blanda
common.buy 93.69 €
DIAS EJEMPLARES DE AMERICA WHITMAN / Libro Tapa blanda
common.buy 29.39 €
Kevin De Bruyne: kmotr lišák Jan Palička / Libro Tapa dura
common.buy 11.59 €
2050 - Überleben hat einen Preis Bernhard Kempen / Libro Tapa blanda
common.buy 16.89 €
Sitzen ist das neue Rauchen Kelly Starrett / Libro Tapa dura
common.buy 35.49 €
PerturbaÇoes Mentais Comuns nos Cuidados Primários MICHELE TANSELLA / Libro Libro
common.buy 23.19 €
Instala, Administra, Securiza y Virtualiza Entornos Linux. Ramos Varón / Libro Tapa blanda
common.buy 42.69 €
Handbuch Filmmusik I Enjott Schneider / Libro Tapa blanda
common.buy 19.79 €
Investigación cualitativa en sanidad ICB / Libro Tapa blanda
common.buy 21.89 €
El Capitán Calzoncillos y la invasión de los pérfidos tiparracos del espacio Dav Pilkey / Libro Tapa blanda
common.buy 9.79 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Relations and Kleene Algebra in Computer Science
Autor Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 367
EAN 9783642046384
ISBN 364204638X
Código Libristo 01650600
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 575
Dimensiones 155 x 235 x 21

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Matemáticas y ciencias > Matemáticas > Matemáticas discretas
Matemáticas y ciencias > Matemáticas > Álgebra
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Programación informática/desarrollo de software
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Morning 1808 Shirley M Sprague / Libro Tapa blanda
common.buy 8.79 €
Red is Good: Transformational Changes for US Air Force Aircraft Maintenance: Maxwell Paper No. 46 Colonel Usaf Paul J McAneny / Libro Tapa blanda
common.buy 17.29 €
Submarine Boys' Trial Trip Victor G Durham / Libro Tapa blanda
common.buy 17.89 €
Patmos Paradigm James Hendershot / Libro Tapa blanda
common.buy 18.49 €
Carmilla J Sheridan Lefanu / Libro Tapa blanda
common.buy 12.79 €
Listening in the Ocean Whitlow W. L. Au / Libro Tapa dura
common.buy 157.89 €
Heaven-Bound - Succeed Book Collections - (Sbc) 7 Minister Gertrude Mapara - (Mrs ) / Libro Tapa blanda
common.buy 20.09 €
Empire of Political Thought Bruce Buchan / Libro Tapa blanda
common.buy 80.89 €
Music Smith / Libro Tapa dura
common.buy 34.79 €
Forgetfulness Ward Just / Libro Tapa blanda
common.buy 14.59 €
Debates of Corruption and Integrity P. Hardi / Libro Tapa blanda
common.buy 60.29 €
As Angels Hover Over Sandra J Yearman / Libro Tapa blanda
common.buy 13.49 €
Bronchiolitis Obliterans Syndrome in Lung Transplantation Keith C. Meyer / Libro Tapa dura
common.buy 165.79 €
One Man's Initiation: 1917 John Dos Passos / Libro Tapa blanda
common.buy 7.79 €
Two and Three Dimensional Calculus - with Applications in Science and Engineering Phil Dyke / Libro Tapa dura
common.buy 79.39 €
Death of Aztec Tenochtitlan, the Life of Mexico City Barbara E Mundy / Libro Tapa blanda
common.buy 51.09 €
Secession and State Creation Ker-Lindsay / Libro Tapa blanda
common.buy 15.79 €
World in Six Songs Daniel Levitin / Libro Tapa blanda
common.buy 14.99 €
My Adventures Around the World: Bicycle Ride Across America on the Northern Tier Route: Summer 2019 Derek Rich / Libro Tapa blanda
common.buy 6.79 €
Elizabeth Bennet's Wedding Olivia Kane / Libro Tapa blanda
common.buy 9.79 €
The Funny Bone: Short Stories And Amusing Anecdotes For A Dull Hour (1910) Henry Martyn Kieffer / Libro Tapa blanda
common.buy 26.89 €
Routledge Handbook of Mapping and Cartography Peter Vujakovic / Libro Tapa blanda
common.buy 75.49 €
BABADADA black-and-white, Laotian (in lao script) - Fulfulde, visual dictionary (in lao script) - diksiyoneer natal Babadada Gmbh / Libro Tapa blanda
common.buy 7.29 €
Christian Persecution in Antiquity Wolfram Kinzig / Libro electrónico Adobe ePub DRM
common.buy 52.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?