Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Model-Checking Based Data Retrieval

Name: Model-Checking Based Data Retrieval
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559037
Price: 54.51 EUR
Availability: InStock
Author: E. Quintarelli
ISBN: 9783540209713

An Application to Semistructured and Temporal Data

E. Quintarelli

Език

Английски език

Книга С меки корици

Код Либристо: 01559037

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2004

This book is devoted to the study of the semantics and assuring the efficient execution of database... Цялото описание

Код Либристо: 01559037

132 b

54.51 €

106.61 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Guide VERON des Champagnes 2019 - Version anglaise VERON

С меки корици

38.18 € 74.68 лв

Cerkwie i ikony Łemkowszczyzny Giemza Jarosław

С твърди корици

57.62 € 112.69 лв

L'oiseau bleu Maurice Maeterlinck

С меки корици

17.20 € 33.64 лв

Praktisches Handbuch zum Verfassen von Forschungsarbeiten für College-Studenten Gilbert Talaue

С меки корици

61.35 € 119.98 лв

Herzschuss Michael Schwarzmaier

Digital

9.17 € 17.93 лв

Ти можеш літати? - Can You Fly? Yuliia Zolotova

С меки корици

11.81 € 23.10 лв

Die Zukunft arabisch-türkischer Beziehungen Sigrid Faath

С меки корици

50.57 € 98.90 лв

Con Papa / With Papa Aldama Frederick Luis Aldama

Adobe ePub DRM

12.74 € 24.92 лв

áArras Feria

С меки корици

8.44 € 16.51 лв

CIEN AÑOS COLEGIO APOSTOLICO JAVIER

С меки корици

40.15 € 78.53 лв

The Rising of the Shield Hero - Artbook

С меки корици

12.74 € 24.92 лв

Escalada en hielo y en nieve Máximo Murcia Aguilera

С меки корици

21.65 € 42.35 лв

COUNTRY GARDENS -PARTITION+PARTIES SEPAREES PERCY ALDRIDGE GRAIN Печатни материали

Ноти

8.96 € 17.52 лв

Bin Öpücük Tillie Cole

С меки корици

15.95 € 31.21 лв

Caracterización del Fracaso socialista En el siglo XXI: Ciudad Educadora de Campanella. Luis Carlos Ospina R

С меки корици

9.68 € 18.94 лв

Les Contes merveilleux normands. Catalogue analytique Patrice Lajoye

С меки корици

20.98 € 41.04 лв

Les Martyrs de la Ve rite [i.e. Jaroslaw Dombrowski, and others]. Premie re brochure. Antoine Rocher

С меки корици

14.92 € 29.18 лв

Spectral Reflections Frank Quartet Gratkowski

Аудио компактдиск

17.72 € 34.65 лв

Ibisin Rüyasi Tarik Bugra

С меки корици

13.88 € 27.15 лв

This book is devoted to the study of the semantics and assuring the efficient execution of database query languages, where the database contains semistructured and time-varying information.The primary focus of the work presented is the definition of an effective graph-based approach to the formalization of query languages for semistructured and temporal information; as a result, query execution can be reduced to searching the database for subgraphs that are similar to the given query graph and thus can be supported through bisimualtion. By integrating and refining graph-based methods and bisimulation, the author develops a powerful and flexible paradigm. The second research challenge solved is that of efficient implementation by modeling graphical queries as formulas in modal logic and interpreting database instance graphs as Kripke transition systems.