Compiler construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /

Compiler construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gupta, Rajiv
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer 2010.
Series:	Lecture Notes in Computer Science, 6011
Subjects:	Computer software Software engineering Computer Communication Networks Computer science
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compiler construction: 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Published: (2012)

Compiler construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
by: Krishnamurthi, Shriram
Published: (2007)

Compiler construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Published: (2014)

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)

Compiler construction (vol. # 3443) 14th international conference, CC 2005, held as part of the joint european conferences on theory and practice of Software, ETAPS 2005
Published: (2005)

Foundations of software science and computational structures 13th international conference, FOSSACS 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)

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)

Fundamental approaches to software engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
by: Rosenblum, David S.
Published: (2010)

Compiler construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /
Published: (2005)

Compiler construction 18th International Conference, CC 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Published: (2009)

Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, revised selected papers /
Published: (2010)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Published: (2014)

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
by: Grumberg, Orna
Published: (2007)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
by: Halbwachs, Nicolas
Published: (2005)

Compiler construction (vol. # 3923) : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
Published: (2006)

Wireless sensor networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings /
Published: (2010)

Formal methods and software engineering 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
Published: (2010)

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Published: (2010)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Published: (2010)

Reconfigurable computing: architectures, tools and applications 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings /
by: Sirisuk, Phaophak
Published: (2010)

Theoretical computer science 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Published: (2010)

Fundamental approaches to software engineering 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Published: (2009)

Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
by: Fraser, Gordon
Published: (2010)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Published: (2010)

Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Published: (2010)

Communication and networking international conference, FGCN 2010, held as part of the future generation information technology conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part II /
Published: (2010)

Computational science and its applications - ICCSA 2010 international conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II /
Published: (2010)

Computational science and its applications - ICCSA 2010 international conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /
Published: (2010)

Computational science and its applications - ICCSA 2010 international conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /
Published: (2010)

Computational science and its applications - ICCSA 2010 international conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I /
Published: (2010)

Business process management 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /
Published: (2010)

Artificial intelligence and computational intelligence international conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II /
Published: (2010)

Artificial intelligence and computational intelligence international conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /
Published: (2010)

Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Published: (2012)

Life system modeling and intelligent computing international conference on life system modeling and simulation, LSMS 2010, and international conference on intelligent computing for sustainable energy and environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II /
Published: (2010)

Communication and networking : international conference, FGCN 2010, held as part of the future generation information technology conference, FGIT 2010, [held on] December 13-15, 2010 [at] Jeju Island, Korea. proceedings, part I /
by: Kim, Tai-hoon
Published: (2010)

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Published: (2010)

Tools and algorithms for the construction and analysis of systems (vol. # 3920) : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /
Published: (2006)