Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Interactive Systems. Design, Specification, and Verification Электронный ресурс 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, T. C. Nicholas Graham, Philippe Palanque.

By: Hutchison, DavidContributor(s): Graham, T. C. Nicholas | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Palanque, Philippe | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540705697Subject(s): Computer Communication Networks | Computer Science | Information storage and retrieval systems | Logic design | Multimedia systems | Software engineering | Computer Science | Computer Communication Networks | Information Storage and Retrieval | Logics and Meanings of Programs | Multimedia Information Systems | Software Engineering | User Interfaces and Human Computer InteractionOnline resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.
Share