Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Hæftet version af Model-Checking Based Data Retrieval : An Application to Semistructured and Temporal Data af Elisa Quintarelli

Model-Checking Based Data Retrieval : An Application to Semistructured and Temporal Data

Af
Bog
  • Format
  • Bog, hæftet
  • Engelsk
  • 152 sider

Normalpris

kr. 559,95

Medlemspris

kr. 504,95
  • Du sparer kr. 55,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal152
  • Udgivelsesdato12-03-2014
  • ISBN139783662176641
  • Forlag Springer
  • MålgruppeFrom age 0
  • FormatHæftet
Størrelse og vægt
  • Vægt222 g
  • Dybde0,8 cm
    • coffee cup img
    10 cm
    book img
    15,6 cm
    23,4 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...