Cargando…

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /

This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organiz...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Yamashita, Shigeru (Editor ), Minato, Shin-ichi (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:	1st ed. 2014.
Colección:	Programming and Software Engineering, 8507
Temas:	Logic design. Data structures (Computer science). Information theory. Computer science. Algorithms. Software engineering. Logic Design. Data Structures and Information Theory. Theory of Computation. Software Engineering. Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Progress in VLSI Design and Test 16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings /
Publicado: (2012)

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
Publicado: (2013)

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers /
Publicado: (2013)

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Publicado: (2015)

Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
Publicado: (2005)

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings /
Publicado: (2014)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /
Publicado: (2007)

Advances in Computer Science - ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings /
Publicado: (2007)

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
Publicado: (2016)

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

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
Publicado: (2015)

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

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)

Instruction Selection Principles, Methods, and Applications /
por: Hjort Blindell, Gabriel
Publicado: (2016)

Distributed Computing 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings /
Publicado: (2015)

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
Publicado: (2016)

Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets /
por: Reisig, Wolfgang
Publicado: (1998)

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

Evolutionary Multiobjective Optimization Theoretical Advances and Applications /
Publicado: (2005)

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings /
Publicado: (2013)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
Publicado: (2005)

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
Publicado: (2015)

Applied Algorithms First International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014. Proceedings /
Publicado: (2014)

Recent Advances in Information Technology RAIT-2014 Proceedings /
Publicado: (2014)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
Publicado: (2007)

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings /
Publicado: (2009)

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings /
Publicado: (2014)

Operational Semantics and Verification of Security Protocols
por: Cremers, Cas, et al.
Publicado: (2012)

Distributed Computing 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings /
Publicado: (2014)

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control /
por: Goldbach, Tobias
Publicado: (2016)

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis /
por: Meisen, Philipp
Publicado: (2016)

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers /
Publicado: (2008)

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings /
Publicado: (2009)

Identifying Malicious Code Through Reverse Engineering
Publicado: (2009)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicado: (2006)

Applied Computing, Computer Science, and Advanced Communication First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings /
Publicado: (2009)

Transactions on Computational Science XXIV Special Issue on Reversible Computing /
Publicado: (2014)

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
Publicado: (2015)

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

Programming for Engineers A Foundational Approach to Learning C and Matlab /
por: Bradley, Aaron R.
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_eeicee56cbvrjer8c52vbi479b