onr:"11431098"
Sökning: onr:"11431098" > Interactive Systems...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Hutchison, David.(författare)
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-bokEngelska2008
Förlag, utgivningsår, omfång ...
- Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008
- v.: digital
Nummerbeteckningar
- LIBRIS-ID:11431098
- ISBN:9783540705697
- Ogiltigt nummer / annan version:9783540705680 (print)
Kompletterande språkuppgifter
- Språk:engelska
Serie
- Lecture Notes in Computer Science,0302-9743 ;5136
Ämnesord och genrebeteckningar
- 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
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Graham, T. C. Nicholas.(författare)
- Kanade, Takeo.(författare)
- Kittler, Josef.(författare)
- Kleinberg, Jon M.(författare)
- Mattern, Friedemann.(författare)
- Mitchell, John C.(författare)
- Naor, Moni.(författare)
- Nierstrasz, Oscar.(författare)
- Palanque, Philippe.(författare)
- Pandu Rangan, C.(författare)
- Steffen, Bernhard.(författare)
- Sudan, Madhu.(författare)
- Terzopoulos, Demetri.(författare)
- Tygar, Doug.(författare)
- Vardi, Moshe Y.(författare)
- Weikum, Gerhard.(författare)
- SpringerLink (Online service)
Sammanhörande titlar
- Annan version:Print:Interactive Systems. Design, Specification, and Verification2008978-3-540-70568-0
Seriebiuppslag
- Lecture Notes in Computer Science,0302-9743 ;5136
Internetlänk
- http://dx.doi.org/10.1007/978-3-540-70569-7Table of Contents / Abstracts
Hitta via bibliotek
- Interactive Systems. Design, Specification, and Verification 15th International ... (Sök publikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Hutchison, David ...
- Graham, T. C. Ni ...
- Kanade, Takeo.
- Kittler, Josef.
- Kleinberg, Jon M ...
- Mattern, Friedem ...
- visa fler...
- 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.
- visa färre...
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
