Dependable computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /

Dependable computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Brasileiro, Francisco, Rajsbaum, Sergio, Bondavalli, Andrea
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007.
Շարք:	Lecture Notes in Computer Science, 4746
Խորագրեր:	Computer system performance Coding theory Software engineering Logic design Data protection
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

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

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 /

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
Հրապարակվել է: (2014)

Code design for dependable systems : theory and practical application /
: Fujiwara, Eiji
Հրապարակվել է: (2006)

Code design for dependable systems : theory and practical applications /
: Fujiwara, E. (Eiji), 1944-
Հրապարակվել է: (2006)

Programming languages and systems 8th aasian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
Հրապարակվել է: (2010)

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
: Gaudin, Emmanuel
Հրապարակվել է: (2007)

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 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 science - theory and applications 4th international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Հրապարակվել է: (2009)

Dependable computing - EDCC 2005 5th European dependable computing conference, Budapest, Hungary, April 20-22, 2005, Proceedings
: Dal Cin, Mario
Հրապարակվել է: (2005)

Architecting dependable systems VII
Հրապարակվել է: (2010)

Public-key cryptography - PKC 2014 : 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings /
Հրապարակվել է: (2014)

Code design for dependable systems : theory and practical application /
: Fujiwara, Eiji
Հրապարակվել է: (2006)

Stabilization, safety, and security of distributed systems : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings /
Հրապարակվել է: (2014)

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /
Հրապարակվել է: (2014)

Information Security and Privacy 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings /
: Pieprzyk, Josef, 1949-
Հրապարակվել է: (2007)

Trustworthy global computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
Հրապարակվել է: (2007)

Computer safety, reliability, and security : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /
Հրապարակվել է: (2014)

Trustworthy global computing 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, revised selected papers /
Հրապարակվել է: (2009)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
: Beringer, Lennart
Հրապարակվել է: (2012)

Fast software encryption : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
Հրապարակվել է: (2007)

Making systems safer proceedings of the eighteenth safety-critical systems symposium, bristol, UK, 9-11th February 2010 /
Հրապարակվել է: (2010)

Achieving systems safety : Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /

Computer safety, reliability, and security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /
Հրապարակվել է: (2012)

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
Հրապարակվել է: (2013)

Safety-critical systems: problems, process and practice proceedings of the seventeenth safety-critical systems symposium, Brighton, UK, 3-5 February 2009 /
Հրապարակվել է: (2009)

Cooperative networking in a heterogeneous wireless medium /
: Ismail, Muhammad
Հրապարակվել է: (2013)

Computer performance engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Հրապարակվել է: (2014)

Advances in rule interchange and applications : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings /
Հրապարակվել է: (2007)

Security for wireless implantable medical devices /
: Hei, Xiali
Հրապարակվել է: (2013)

International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
Հրապարակվել է: (2007)

Independent component analysis and signal separation : 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings /
Հրապարակվել է: (2007)

Advances in Information Processing and Protection
: Pejas, Jerzy
Հրապարակվել է: (2008)

Theoretical aspects of computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
Հրապարակվել է: (2012)

Software architectures, components, and applications : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers /
Հրապարակվել է: (2008)

Formal techniques for computer systems and business processes European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September
: Bravetti, Mario
Հրապարակվել է: (2005)

Pairing-based cryptography - pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, revised selected papers /
Հրապարակվել է: (2013)

Selected areas in cryptography -- SAC 2014 : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers /
Հրապարակվել է: (2014)