Evolvable systems: from biology to hardware 9th international conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /

Evolvable systems: from biology to hardware 9th international conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Tyrrell, Andy M., Miller, Julian F., Tempesti, Gianluca
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer 2010.
Series:	Lecture Notes in Computer Science, 6274
Subjects:	Computer science Computer Communication Networks Software engineering Logic design Artificial intelligence
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evolvable systems: from biology to hardware : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings /

Evolvable systems: from biology to hardware : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings /
Published: (2007)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published: (2013)

Principles and practice of constraint programming CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
Published: (2010)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Published: (2012)

Unconventional computation 9th international conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /
Published: (2010)

Algorithmic learning theory 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings /
Published: (2010)

Verified software: theories, tools, experiments third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Published: (2010)

Distributed, parallel and biologically inspired systems 7th IFIP TC 10 working conference, DIPES 2010 and 3rd IFIP TC 10 international conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Published: (2010)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Published: (2010)

Hardware and software: verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Published: (2014)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Published: (2010)

Interactive theorem proving first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Published: (2010)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Published: (2010)

Computer aided verification 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Published: (2010)

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /
Published: (2010)

Algebraic methodology and software technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Published: (2011)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Published: (2010)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Published: (2010)

Frontiers of combining systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
Published: (2013)

Multiagent system technologies 8th German conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings /
Published: (2010)

Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
Published: (2010)

Language and automata theory and applications 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /
Published: (2010)

Mathematics of program construction 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010. Proceedings /
Published: (2010)

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

Validation of Evolving Software /
Published: (2015)

Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Advances in Computing Science ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 Proceedings /
Published: (2000)

Automated deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
Published: (2013)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Published: (2010)

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
by: Schneider, Klaus, 1967-
Published: (2007)

Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 2010, held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Published: (2010)

Unconventional computation and natural computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings /
Published: (2012)

Theory and applications of satisfiability testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings /
Published: (2013)

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Algorithmic learning theory : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /
Published: (2013)

Rules on the web. from theory to applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings /
Published: (2014)

Programming languages and systems 19th european symposium on programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Published: (2010)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Published: (2014)