hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Quintarelli, Elisa
2 Treffer
Seite < 1 >
Cover

Quintarelli, Elisa: Model checking based data retrieval

: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - XVI, 134 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2917)

ISBN 978-3-540-20971-3 / 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50

Literaturverz. S. 129 - 134

Quelle: DNB Verlagsmeldungen

Cover

Model checking based data retrieval

: an application to semistructured and temporal data / Elisa Quintarelli. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2917)

ISBN 978-3-540-24603-9

Lizenzpflichtig

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen