Information security theory and practices
: smart cards, mobile and ubiquitous computing systems ; first IFIP TC6, WG 8.8, WG 11.2 international workshop ; proceedings / WISTP 2007, Heraklion, Crete, Greece, May 9 - 11, 2007. Damien Sauveron ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4462)
ISBN 978-3-540-72354-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification : 12th international workshop ; revised papers / DSVIS 2005, Newcastle-upon-Tyne, UK, July 13 - 15, 2005. Stephen W. Gilroy ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3941)
ISBN 978-3-540-34146-8
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification : 12th international workshop ; revised papers / DSVIS 2005, Newcastle-upon-Tyne, UK, July 13 - 15, 2005. Stephen W. Gilroy ; Michael D. Harrison (ed.). - Berlin : Springer, 2006. - XI, 263 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3941)
ISBN 978-3-540-34145-1 / 3-540-34145-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Interactive systems
: design, specification, and verification ; 10th international workshop ; revised papers / DSV IS 2003, Funchal, Madeira Island, Portugal, June 11 - 13, 2003. Joaquim A. Jorge ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2844)
ISBN 978-3-540-39929-2
Lizenzpflichtig
Quelle: DNB
Interactive Systems
: design, specification, and verification ; 9th international workshop ; revised papers / DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002. Peter Forbrig ... (ed.). - Berlin : Springer, 2002. - X, 267 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2545)
ISBN 978-3-540-00266-6 / 3-540-00266-9 kart. : EUR 42.80
Literaturangaben
Quelle: DNB
Interactive Systems
: design, specification, and verification ; 9th international workshop ; revised papers / DSV-IS 2002, Rostock, Germany, June 12 - 14, 2002. P. Forbrig ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2545)
ISBN 978-3-540-36235-7
Lizenzpflichtig
Quelle: DNB
Kommunikation in verteilten Systemen
: 15. ITG-GI-Fachtagung vom 26. Februar bis 2. März 2007 in Bern, Schweiz ; Industriebeiträge, Kurzbeiträge und Workshops / KIVS 2007. Hrsg. T. Braun ... (Hrsg.). - Berlin : VDE-Verl., 2007. - XXIV, 528 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-8007-2980-7 / 3-8007-2980-6 kart. : EUR 135.00, sfr 213.00
Beitr. teilw. dt., teilw. engl. - Literaturangaben
Quelle: DNB Verlagsmeldungen
Kommunikation in verteilten Systemen
/ 15. Fachtagung Kommunikation in Verteilten Systemen (KiVS 2007), Bern, Schweiz, 26. Februar - 2. März 2007. Eine Veranstaltung der Informationstechnischen Gesellschaft (ITG/VDE) unter Beteiligung der Gesellschaft für Informatik (GI). Torsten Braun ... (Hr. - Berlin : Springer, 2007. - XIII, 322 S. : graph. Darst.; 24 cm - (Informatik aktuell)
ISBN 978-3-540-69961-3 / 3-540-69961-9 kart. : EUR 64.95, sfr 99.50
Beitr. teilw. dt., teilw. engl. - Literaturangaben
Quelle: DNB Verlagsmeldungen
Kommunikation in verteilten Systemen (KiVS)
: eine Veranstaltung der Informationstechnischen Gesellschaft (ITG/VDE) unter Beteiligung der Gesellschaft für Informatik (GI) / 13. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2003), Leipzig, 25. - 28. Februar 2003. Klaus Irmscher ; Klaus-Peter Fähnrich (Hrsg.). Ausgerichtet von der Universität Leipzig. - 1. Aufl. - Berlin : Springer, 2003. - X, 444 S. : Ill., graph. Darst., Kt.; 24 cm - (Informatik aktuell)
ISBN 978-3-540-00365-6 / 3-540-00365-7 kart. : EUR 79.95
Beitr. teilw. dt., teilw. engl. - Literaturangaben
Quelle: DNB
Middleware 2005
: proceedings / ACM IFIP USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Gustavo Alonso (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3790)
ISBN 978-3-540-32269-6
Lizenzpflichtig
Quelle: DNB

