Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

他のバージョン（1件）を表示する

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Gran, Bjoern Axel, Winther, Rune, Dahll, Gustav
フォーマット:	eBook
言語:	English
シリーズ:	Lecture Notes in Computer Science, 3688
主題:	Software engineering Coding theory Logic design Information Systems
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
出版事項: (2007)

Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
出版事項: (2005)

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /
出版事項: (2014)

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
出版事項: (2014)

Dependable computing : second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings /

Computer science - theory and applications 4th international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
出版事項: (2009)

Computer safety, reliability, and security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /
出版事項: (2012)

Computer safety, reliability, and security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings /
出版事項: (2012)

Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings /
出版事項: (2013)

Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings /
出版事項: (2011)

Computer safety, reliability, and security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /
出版事項: (2014)

Theory of quantum computation, communication, and cryptography : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
出版事項: (2014)

Dependable computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /
出版事項: (2007)

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 Proceedings /
出版事項: (2009)

Computer safety, reliability, and security 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings /
出版事項: (2009)

Theoretical aspects of computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
出版事項: (2012)

Error-control coding for computer systems /
著者:: Rao, T R N.
出版事項: (1989)

Symbolic and quantitative approaches to reasoning with uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
出版事項: (2009)

Computer safety, reliability and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /
出版事項: (2007)

Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. proceedings /
著者:: Gradel, Erich
出版事項: (2009)

Computer safety, reliability and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /
出版事項: (2007)

Theory of quantum computation, communication, and cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers /
出版事項: (2011)

Theory of quantum computation, communication, and cryptography : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers /
出版事項: (2013)

Information Security and Privacy (vol. # 3574) 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings
著者:: Boyd, Colin
出版事項: (2005)

Reliable methods for computer simulation error control and a posteriori estimates
著者:: Neittaanmaki, Pekka
出版事項: (2004)

Reliable methods for computer simulation error control and a posteriori estimates
著者:: Neittaanmaki, Pekka
出版事項: (2004)

Formal to practical security papers issued from the 2005-2008 French-Japanese Collaboration /
出版事項: (2009)

Computation, physics and beyond : international workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012, revised selected and invited papers /
著者:: Dinneen, Michael J.
出版事項: (2012)

Computer safety, reliability, and security (vol. # 4166) : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /
出版事項: (2006)

Developments in language theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings /
出版事項: (2012)

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
著者:: Prinz, Andreas
出版事項: (2005)

Selected topics in information and coding theory /
出版事項: (2010)

Fundamentals of information theory and coding design /
著者:: Tognery, Roberto
出版事項: (2002)

The theory of information and coding /
著者:: McEliece, R. J.
出版事項: (2002)

An introduction to coding and information theory /
出版事項: (1997)

Information theory and coding by example /
著者:: Kelbert, Mark
出版事項: (2013)

The theory of information and coding /
著者:: McEliece, R.J. (Robert J.)
出版事項: (2004)

Advanced error control techniques for data storage systems /
出版事項: (2006)

Advanced error control techniques for data storage systems /
出版事項: (2006)

Channel coding in communication networks : from theory to turbocodes /
出版事項: (2007)