Book serie: / Книги серии: Lecture Notes in Computer Science 6921 Programming and Software Engineering » Page 36 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 6921 Programming and Software Engineering » Page 36

book Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

pdf

Author: Sanjit A. Seshia (auth.) Luís Soares Barbosa Markus Lumpe (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

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

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

pdf

Author: Andreas Zeller (auth.) Myra B. Cohen Mel Ó Cinnéide (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

pdf

Author: Peter Popov (auth.) Elena A. Troubitsyna (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

pdf

Author: Marian Petre (auth.) Jon Whittle Tony Clark Thomas Kühne (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

pdf

Author: David Harel (auth.) Kedar Namjoshi Andreas Zeller Avi Ziv (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

pdf

Author: Giuseppe Castagna (auth.) Roberto Bruni Juergen Dingel (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Objects, Models, Components, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings

Objects, Models, Components, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings

pdf

Author: Oscar Nierstrasz (auth.) Judith Bishop Antonio Vallecillo (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Performance Evaluation, Measurement and Characterization of Complex Systems: Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

Performance Evaluation, Measurement and Characterization of Complex Systems: Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

pdf

Author: Raghunath Nambiar Nicholas Wakou (auth.) Raghunath Nambiar Meikel Poess (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Research into Practice – Reality and Gaps: 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

Research into Practice – Reality and Gaps: 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

pdf

Author: Jeffrey N. Magee (auth.) George T. Heineman Jan Kofron Frantisek Plasil (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Middleware 2010: ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings

Middleware 2010: ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings

pdf

Author: Joel Wolf Deepak Rajan Kirsten Hildrum Rohit Khandekar Vibhore Kumar Sujay Parekh (auth.) Indranil Gupta Cecilia Mascolo (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0