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

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

book Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

pdf

Author: Juergen Dingel (auth.) Sudipto Ghosh (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

pdf

Author: Robert Nieuwenhuis (auth.) David Cohen (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

pdf

Author: Chris Mungall (auth.) Patricia M. Hill David S. Warren (eds.)
Language: English
Year: 2009

00

27.01.2024

2

0

book Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

pdf

Author: Benjamin C. Pierce (auth.) Richard F. Paige (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Structural Failure Models for Fault-Tolerant Distributed Computing

Structural Failure Models for Fault-Tolerant Distributed Computing

pdf

Author: Timo Warns
Language: English
Year: 2010

00

27.01.2024

3

0

book Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

pdf

Author: Jie Ding Jane Hillston (auth.) Michael Johnson Dusko Pavlovic (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

pdf

Author: Mark R. Greenstreet (auth.) Zhiming Liu Anders P. Ravn (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

pdf

Author: Barry W. Boehm (auth.) Jürgen Münch Ye Yang Wilhelm Schäfer (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

pdf

Author: Kokichi Futatsugi (auth.) Jin Song Dong Huibiao Zhu (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

pdf

Author: Steven P. Miller (auth.) Darren Cofer Alessandro Fantechi (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0