Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings /

This book constitutes the refereed proceedings of the Third International Symposium on Search-Based Software Engineering, SSBSE 2011, held in Szeged, Hungary in collocation with ESEC/FSE 2011.

Saved in:

书目详细资料
企业作者:	SpringerLink (Online service)
其他作者:	Cohen, Myra B. (Editor, http://id.loc.gov/vocabulary/relators/edt), O Cinneide, Mel. (Editor, http://id.loc.gov/vocabulary/relators/edt)
格式:	电子电子书
语言:	English
出版:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
版:	1st ed. 2011.
丛编:	Programming and Software Engineering ; 6956
主题:	Software engineering. Operating systems (Computers). Computer programming. Computers. Software Engineering. Operating Systems. Programming Techniques. Computation by Abstract Devices.
在线阅读:	https://doi.org/10.1007/978-3-642-23716-4
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings /
出版: (2012)

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings /
出版: (2011)

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
出版: (2006)

Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings /
出版: (2011)

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8-10, 2006, Como, Italy /
出版: (2006)

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends /
出版: (2005)

Dependability Metrics GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures /
出版: (2008)

Architecting Dependable Systems V
出版: (2008)

Advanced Topics in Exception Handling Techniques
出版: (2006)

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /
出版: (2005)

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
出版: (2006)

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /
出版: (2008)

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
出版: (2008)

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
出版: (2013)

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
出版: (2013)

Ada 2012 Rationale The Language -- The Standard Libraries /
由: Barnes, John., et al.
出版: (2013)

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /
出版: (2014)

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings /
出版: (2012)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
出版: (2010)

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /
出版: (2012)

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
出版: (2013)

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /
出版: (2008)

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /
出版: (2005)

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /
出版: (2005)

Aliasing in Object-Oriented Programming Types, Analysis and Verification /
出版: (2013)

HPC@Green IT Green High Performance Computing Methods /
由: Gruber, Ralf., et al.
出版: (2010)

Systems and Virtualization Management Standards and New Technologies /
出版: (2008)

The Definitive Guide to PC-BSD Frugal Unix for Power Users /
由: Lavigne, Dru., et al.
出版: (2010)

Principles of the Spin Model Checker
由: Ben-Ari, Mordechai., et al.
出版: (2008)

Architecting Dependable Systems III
出版: (2005)

Web Dynpro ABAP for Practitioners
由: Gellert, Ulrich., et al.
出版: (2013)

Web Dynpro ABAP for Practitioners
由: Gellert, Ulrich., et al.
出版: (2010)

Object-Oriented Analysis and Design
由: Ramnath, Sarnath., et al.
出版: (2011)

Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011, Proceedings /
出版: (2011)

Global Computing IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers /
出版: (2005)

Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings /
出版: (2011)

Requirements Engineering and Management for Software Development Projects
由: Chemuturi, Murali., et al.
出版: (2013)

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday /
出版: (2014)

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings /
出版: (2013)

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings /
出版: (2007)