Loading…

Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings /

Bibliographic Details
Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bondavalli, Andrea (Editor), Brasileiro, Francisco (Editor), Rajsbaum, Sergio (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Theoretical Computer Science and General Issues, 4746
Subjects:	Computer networks . Computers, Special purpose. Electronic digital computers-Evaluation. Software engineering. Logic design. Coding theory. Information theory. Computer Communication Networks. Special Purpose and Application-Based Systems. System Performance and Evaluation. Software Engineering. Logic Design. Coding and Information Theory.
Online Access:	Texto Completo

Similar Items

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings /
Published: (2005)

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /
Published: (2008)

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /
Published: (2007)

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /
Published: (2005)

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /
Published: (2006)

XML for Bioinformatics
by: Cerami, Ethan
Published: (2005)

Cryptographic Hardware and Embedded Systems - CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008, Proceedings /
Published: (2008)

Network Security
Published: (2010)

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers /
Published: (2016)

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers /
Published: (2012)

Architecting Dependable Systems VI
Published: (2009)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /
Published: (2007)

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selcted Papers /
Published: (2007)

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings /
Published: (2014)

Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers /
Published: (2010)

Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers /
Published: (2009)

Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
Published: (2015)

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures /
Published: (2007)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /
Published: (2010)

Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, Proceedings /
Published: (2010)

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
Published: (2006)

Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009, Proceedings /
Published: (2009)

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings /
Published: (2010)

Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014, Revised Selected Papers /
Published: (2016)

OFDM Concepts for Future Communication Systems /
Published: (2011)

VLSI-SoC: The Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers /
Published: (2012)

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /
Published: (2006)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Published: (2006)

Electronics System Design Techniques for Safety Critical Applications
by: Sterpone, Luca
Published: (2009)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedings /
Published: (2010)

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /
Published: (2005)

Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers /
Published: (2010)

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
Published: (2011)

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings /
Published: (2007)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Published: (2011)

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /
Published: (2005)

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /
Published: (2012)

High Availability and Disaster Recovery Concepts, Design, Implementation /
by: Schmidt, Klaus
Published: (2006)

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /
Published: (2010)

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings /
Published: (2007)

Cannot write session to /tmp/vufind_sessions/sess_ad37djfr7n5sav4j8f0beu2274