onr:"11431098"
Search: onr:"11431098" > Interactive Systems...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Hutchison, David.(author)
Interactive Systems. Design, Specification, and Verification [electronic resource]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.
- E-bookEnglish2008
Publisher, publication year, extent ...
- Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008
- v.: digital
Numbers
- LIBRIS-ID:11431098
- ISBN:9783540705697
- Invalid number / Other version:9783540705680 (print)
Supplementary language notes
- Language:English
Series
- Lecture Notes in Computer Science,0302-9743 ;5136
Subject headings and genre
- 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 Interaction
- Springer eBooks
Added entries (persons, corporate bodies, meetings, titles ...)
- Graham, T. C. Nicholas.(author)
- Kanade, Takeo.(author)
- Kittler, Josef.(author)
- Kleinberg, Jon M.(author)
- Mattern, Friedemann.(author)
- Mitchell, John C.(author)
- Naor, Moni.(author)
- Nierstrasz, Oscar.(author)
- Palanque, Philippe.(author)
- Pandu Rangan, C.(author)
- Steffen, Bernhard.(author)
- Sudan, Madhu.(author)
- Terzopoulos, Demetri.(author)
- Tygar, Doug.(author)
- Vardi, Moshe Y.(author)
- Weikum, Gerhard.(author)
- SpringerLink (Online service)
Related titles
- Other version:Print:Interactive Systems. Design, Specification, and Verification2008978-3-540-70568-0
fullvy:Serie_bilook_t
- Lecture Notes in Computer Science,0302-9743 ;5136
Internet link
- http://dx.doi.org/10.1007/978-3-540-70569-7Table of Contents / Abstracts
Find in a library
- Interactive Systems. Design, Specification, and Verification 15th International ... (Search the publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Hutchison, David ...
- Graham, T. C. Ni ...
- Kanade, Takeo.
- Kittler, Josef.
- Kleinberg, Jon M ...
- Mattern, Friedem ...
- show more...
- Mitchell, John C ...
- Naor, Moni.
- Nierstrasz, Osca ...
- Palanque, Philip ...
- Pandu Rangan, C.
- Steffen, Bernhar ...
- Sudan, Madhu.
- Terzopoulos, Dem ...
- Tygar, Doug.
- Vardi, Moshe Y.
- Weikum, Gerhard.
- show less...
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
