Cargando…

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

Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pioneers such as Alan Turing and John von Neumann openly declared their aim of creating arti?cial machines that could mimic some of the behaviors exhibited by...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Tempesti, Gianluca (Editor ), Tyrrell, Andy (Editor ), Miller, Julian F. (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Colección:	Theoretical Computer Science and General Issues, 6274
Temas:	Software engineering. Computer science. Computer networks . Artificial intelligence. Computers, Special purpose. Software Engineering. Theory of Computation. Computer Communication Networks. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems.
Acceso en línea:	Texto Completo

Ejemplares similares

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks /
Publicado: (2014)

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Part II, Selected Papers /
Publicado: (2011)

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I /
Publicado: (2011)

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV /
Publicado: (2011)

Real-World Wireless Sensor Networks 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010, Proceedings /
Publicado: (2010)

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publicado: (2012)

Information Processing and Security Systems
Publicado: (2005)

Agents for Games and Simulations II Trends in Techniques, Concepts and Design /
Publicado: (2011)

Computer and Computing Technologies in Agriculture 5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III /
Publicado: (2012)

Computer and Computing Technologies in Agriculture 5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I /
Publicado: (2012)

Computer and Computing Technologies in Agriculture 5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II /
Publicado: (2012)

Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part III /
Publicado: (2011)

Interactive Storytelling First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008, Proceedings /
Publicado: (2008)

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL /
por: Qin, Jun, et al.
Publicado: (2012)

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 /
Publicado: (2006)

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II /
Publicado: (2010)

Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers /
Publicado: (2011)

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /
Publicado: (2010)

Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings /
Publicado: (2009)

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 /
Publicado: (2008)

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers /
Publicado: (2012)

Software Agent-Based Applications, Platforms and Development Kits
Publicado: (2005)

Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings /
Publicado: (2008)

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /
Publicado: (2008)

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

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
Publicado: (2009)

Beginning Samsung ARTIK A Guide for Developers /
por: Wootton, Cliff
Publicado: (2016)

Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010, Proceedings /
Publicado: (2010)

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
Publicado: (2016)

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /
Publicado: (2005)

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 /
Publicado: (2007)

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

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

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

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
Publicado: (2014)

Architecture-Based Design of Multi-Agent Systems
por: Weyns, Danny
Publicado: (2010)

Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I /
Publicado: (2009)

Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II /
Publicado: (2009)

Internet of Things Technologies for HealthCare Third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, Revised Selected Papers /
Publicado: (2016)

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings /
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_hrnnfe8qdt1f4gul3guloaodmm