Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings ... / Programming and Software Engineering)
Rok: 2008
ISBN: 9783540705680
OKCZID: 110079670
Citace (dle ČSN ISO 690):
GRAHAM, T. C., ed. a PALANQUE, Philippe, ed. Interactive systems: design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings. Berlin: Springer, c2008. ix, 309 s. Lecture notes in computer science, 5136.
Anotace
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover user interface evaluation and specification, with particular emphasis on the use of task models to provide high-level approaches for capturing the intended functionality of a user interface; examining techniques for modeling user interfaces, particularly for mobile and ubiquitous applications; advanced implementation techniques for interactive systems; and architecture of interactive systems with special focus on evaluation and specification.