English Deutsch Français 简体中文 繁體中文
Book123, Download eBooks for Free - Anytime! Submit your article

Categories

Share With Friends



Like Book123?! Give us +1

Archive by Date

Search Tag

Newest

Useful Links


Technical Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science)

Posted on 2010-04-16




Name:Technical Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science)
ASIN/ISBN:3540695532
Publisher:Springer (2007)
Pages:Paperback, 269 pages
File size:6 Mb
   Technical Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science)


Author:


Publisher: Springer (2007)


Binding: Paperback, 269 pages


pricer: $64.95


ISBN-10: 3540695532


editorialreviews

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with 1 keynote paper, and 2 working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on HCI research, critical systems, model based development, cognitive aspects of interaction, use of models, haptics and multimodality, prototyping and evaluation, supporting user interface development, and group discussions.




Buy Book at Lowest Price on Amazon




checked

Rating:

2.5 out of 5 by

 
Download Links
  ServerStatus
  Direct Download Link 1Alive
  Direct Download Link 2Alive
  Download Link (Download Link 1)Alive


Buy This Book at Best Price >>

Like this article?! Give us +1:

Related Articles


Technical Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

Technical Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

ISBN: 354077355X Publisher: Springer Author: Description:This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/Sep ...

Technical Argumentation in Multi-Agent Systems: Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

Technical Argumentation in Multi-Agent Systems: Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

ISBN: 354075525X Publisher: Springer Author: Description:Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents. It has made a solid contribution to the practice of ...

Technical Information Security Applications: 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)

Technical Information Security Applications: 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)

ISBN: 3540710922 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 7th International Workshop on Information Security Applications, WISA 2006, held in Jeju Island, Korea in August 2006. The 30 rev ...

Engineering Self-Organising Systems: 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006,   Revised and Invited Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

Engineering Self-Organising Systems: 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

Author: Publisher: Springer (2007)Binding: Paperback, 212 pagespricer: $59.95ISBN-10: 3540698671editorialreviewsThis book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Engineering Self-Organising ...

Programming Multi-Agent Systems: 4th International Workshop, ProMAS 2006,, Hakodate, Japan,May 9, 2006, Revised and Invited Papers (Lecture Notes in Computer Science)

Programming Multi-Agent Systems: 4th International Workshop, ProMAS 2006,, Hakodate, Japan,May 9, 2006, Revised and Invited Papers (Lecture Notes in Computer Science)

Publisher: Springer; 1 editionLanguage: EnglishISBN: 3540719555Paperback: 249 pagesData: June 11, 2007Format: PDFDescription: This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Programming Mul ...

Technical Information Security Applications: 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers (Lecture Notes in Computer Science)

Technical Information Security Applications: 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers (Lecture Notes in Computer Science)

Author: Publisher: Springer (2007)Binding: Paperback, 406 pagespricer: $79.95ISBN-10: 3540710922editorialreviewsThis book constitutes the refereed proceedings of the 7th International Workshop on Information Security Applications, WISA 2006 ...

Share this page with your friends now!
Text link
Forum (BBCode)
Website (HTML)
Tags:
Verification   Lecture   Workshop   Notes   Science  
 

DISCLAIMER:

This site does not store Technical Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science) on its server. We only index and link to Technical Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science) provided by other sites. Please contact the content providers to delete Technical Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science) if any and email us, we'll remove relevant links or contents immediately.

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?

Sign In | Not yet a member?