Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=1013357930



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/1013357930
Art des Inhalts Hochschulschrift
Titel An execution trace verification method on linearizability / Kristijan Dragičević. TUM, Network Architectures and Services, Department of Computer Science, Technische Universität München
Person(en) Dragičević, Kristijan (Verfasser)
Verlag München : TUM, Network Architectures and Services
Zeitliche Einordnung Erscheinungsdatum: 2011
Umfang/Format XXII, 146 S. : graph. Darst. ; 30 cm
Hochschulschrift Zugl.: München, Techn. Univ., Diss., 2011
ISBN/Einband/Preis 978-3-937201-20-7 kart.
3-937201-20-3 kart.
Identifikationsnummern Reportnummer: NET 2011-05-1
Sprache(n) Englisch (eng)
Beziehungen Network architectures and services ; 2011,05,1 : Dissertation
DDC-Notation 005.14 [DDC22ger]
Sachgruppe(n) 004 Informatik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 2012 B 10166
Bereitstellung in Frankfurt
Leipzig Signatur: 2011 B 23785
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration