Cargando…

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

This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Rahaman, Hafizur (Editor ), Chattopadhyay, Sanatan (Editor ), Chattopadhyay, Santanu (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Theoretical Computer Science and General Issues, 7373
Temas:	Logic design. Software engineering. Computer networks . Data structures (Computer science). Information theory. Algorithms. Computer programming. Logic Design. Software Engineering. Computer Communication Networks. Data Structures and Information Theory. Programming Techniques.
Acceso en línea:	Texto Completo

Ejemplares similares

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

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

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)

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings /
Publicado: (2012)

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

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

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

Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID'06) /
por: Mana, Antonio, et al.
Publicado: (2006)

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers /
Publicado: (2016)

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /
Publicado: (2013)

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings /
Publicado: (2014)

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

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

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

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

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

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)

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

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 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings /
Publicado: (2012)

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

Models of Strategic Reasoning Logics, Games, and Communities /
Publicado: (2015)

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

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings /
Publicado: (2014)

Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings /
Publicado: (2015)

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012, Proceedings /
Publicado: (2012)

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings /
Publicado: (2014)

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

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings /
Publicado: (2010)

Secure Smart Embedded Devices, Platforms and Applications
Publicado: (2014)

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
Publicado: (2016)

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
Publicado: (2015)

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
Publicado: (2016)

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

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers /
Publicado: (2010)

Recent Advances in Intrusion Detection 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010, Proceedings /
Publicado: (2010)

Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers /
Publicado: (2010)

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
Publicado: (2015)