UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Calendars as types data modeling, constraint reasoning and type checking with calendar

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
Anzeige:
 

Calendars as types : data modeling, constraint reasoning and type checking with calendar

Autor: Spranger, Stephanie
Ort, Verlag, Jahr: München, Utz, 2006
Umfang: XVIII, 284 S.
ISBN/ISSN/ISMN 3831605645
Schlagwortketten: Zeit / Begriff / Kalender / Datentyp / Typprüfung / Constraint-basiertes Schließen
Informatik:   Alle Einzelbände

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Spranger, Stephanie
Titel:Calendars as types
Untertitel:data modeling, constraint reasoning and type checking with calendar
Von:von Stephanie Spranger
Ort:München
Verlag:Utz
Jahr:2006
Umfang:XVIII, 284 S.
Illustrationsangabe:Ill.,
ISBN/ISSN/ISMN:3831605645
Anmerkungen:Zugl.: München, Univ., Diss., 2005
Reihe:Informatik
Bandangabe:85
BV-Nummer:BV021503173