Interactive systems
: design, specification, and verification ; 7th international workshop ; revised papers / DSV-IS 2000, Limerick, Ireland, June 2000. P. Palanque ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1946)
ISBN 978-3-540-44675-0
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5136)
ISBN 978-3-540-70569-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 13th international workshop ; revised papers / DSVIS 2006, Dublin, Ireland, July 26 - 28, 2006. Gavin Doherty ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4323)
ISBN 978-3-540-69554-7
Lizenzpflichtig
Quelle: DNB
Interactive systems
: design, specification, and verification ; 15th international workshop ; proceedings / DSV IS 2008 Kingston, Canada, July 16 - 18, 2008. T. C. Nicholas Graham ; Philippe Palanque (ed.). - Berlin : Springer, 2008. - IX, 309 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5136)
ISBN 978-3-540-70568-0 kart. : EUR 51.36 (freier Pr.), sfr 80.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Interactive systems
: design, specification, and verification ; Bocca di Magra, Italy, June 1994 / Fabio Paternó (ed.). - Berlin : Springer, 1995. - X, 447 S. : Ill., graph. Darst.; 25 cm - (... Eurographics workshop; 1)
ISBN 978-3-540-59480-2 / 3-540-59480-9 Pp. : DM 128.00
Literaturangaben
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
Interactive technologies and sociotechnical systems
: 12th international conference ; proceedings / VSMM 2006, Xi'an, China, October 18 - 20, 2006. Hongbin Zha ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4270)
ISBN 978-3-540-46305-4
Lizenzpflichtig
Quelle: DNB
Interactive TV
: a shared experience ; 5th European conference ; proceedings / EuroITV 2007, Amsterdam, the Netherlands, May 24 - 25, 2007. Pablo Cesar ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4471)
ISBN 978-3-540-72559-6
Lizenzpflichtig
Quelle: DNB
Interactive TV: a shared experience
: 5th European conference ; proceedings / EuroITV 2007, Amsterdam, the Netherlands, May 24 - 25, 2007. Pablo Cesar ... (ed.). - Berlin : Springer, 2007. - XIII, 236 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4471)
ISBN 978-3-540-72558-9 / 3-540-72558-X kart. : EUR 44.94 (freier Pr.), ca. sfr 69.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
