RTCSA 2005: 11th International Conference on Embedded and Real-Time Computing Systems and Applications (17-19 August 2005/Hong Kong).

RTCSA 2005: 11th International Conference on Embedded and Real-Time Computing Systems and Applications (17-19 August 2005/Hong Kong).
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : 1538602989
ISBN-13 : 9781538602980
Rating : 4/5 (89 Downloads)

Book Synopsis RTCSA 2005: 11th International Conference on Embedded and Real-Time Computing Systems and Applications (17-19 August 2005/Hong Kong). by : IEEE Computer Society Staff

Download or read book RTCSA 2005: 11th International Conference on Embedded and Real-Time Computing Systems and Applications (17-19 August 2005/Hong Kong). written by IEEE Computer Society Staff and published by . This book was released on 2005 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


RTCSA 2005: 11th International Conference on Embedded and Real-Time Computing Systems and Applications (17-19 August 2005/Hong Kong). Related Books

RTCSA 2005: 11th International Conference on Embedded and Real-Time Computing Systems and Applications (17-19 August 2005/Hong Kong).
Language: en
Pages:
Computer Aided Verification
Language: en
Pages: 778
Authors: Ganesh Gopalakrishnan
Categories: Computers
Type: BOOK - Published: 2011-07-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July
Distributed Computing and Internet Technology
Language: en
Pages: 644
Authors: Goutam Chakraborty
Categories: Business & Economics
Type: BOOK - Published: 2005-12-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Distributed Computing and Internet Technology, ICDCIT 2005, held in Bhu
Architecture of Computing Systems - ARCS 2010
Language: en
Pages: 258
Authors: Christian Müller-Schloer
Categories: Computers
Type: BOOK - Published: 2010-02-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 23rd International Conference on Architecture of Computing Systems, ARCS 2010, held in Hannover, Germany,
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 333
Authors: Francesco Logozzo
Categories: Computers
Type: BOOK - Published: 2008-02-29 - Publisher: Springer

DOWNLOAD EBOOK

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debu