Cargando…

Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings /

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume a...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Vieira, Marco (Editor ), Cunha, Joao Carlos (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Colección:	Programming and Software Engineering, 7869
Temas:	Computer science. Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

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

Information systems and computing technology : proceedings of the International Conference on Information Systems and Computing Technology (SCT 2013), Wuxi, China, 15-16 September 2013 /
por: Zhang, Lei, et al.
Publicado: (2013)

Computer Vision Systems 9th International Conference, ICVS 2013, St. Petersburg, Russia, July 16-18, 2013. Proceedings /
Publicado: (2013)

Parameterized and Exact Computation Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings /
Publicado: (2008)

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Publicado: (2013)

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings /
Publicado: (2013)

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings /
Publicado: (2013)

Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings /
Publicado: (2007)

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
por: Besnard, Denis, et al.
Publicado: (2006)

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /
Publicado: (2014)

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings /
Publicado: (2013)

Responsibility and Dependable Systems
Publicado: (2007)

Entertainment Computing -- ICEC 2013 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013, Proceedings /
Publicado: (2013)

The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings /
Publicado: (2013)

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings /
Publicado: (2013)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /
Publicado: (2013)

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /
Publicado: (2013)

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers /
Publicado: (2014)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /
Publicado: (2013)

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers /
Publicado: (2014)

Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers /
Publicado: (2014)

Time-Dependent Scheduling
por: Gawiejnowicz, Stanislaw
Publicado: (2008)

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /
Publicado: (2013)

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /
Publicado: (2016)

Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
Publicado: (2005)

SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings /
Publicado: (2007)

Architecting Dependable Systems III
Publicado: (2005)

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /
Publicado: (2012)

WALCOM: Algorithm and Computation 6th International Workshop, WALCOM 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings /
Publicado: (2012)

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings /
Publicado: (2013)

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings /
Publicado: (2016)

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I /
Publicado: (2013)

Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings /
Publicado: (2009)

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /
Publicado: (2013)

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II /
Publicado: (2013)

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /
Publicado: (2013)

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /
Publicado: (2007)

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II /
Publicado: (2013)

Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /
Publicado: (2013)

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /
Publicado: (2006)

Cannot write session to /tmp/vufind_sessions/sess_m66hheauvqme98si6qhq23i6l4