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

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

book Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

pdf

Author: Alessio Ferrari Daniele Grasso (auth.) Stefan Kowalewski Marco Roveri (eds.)
Language: English
Year: 2010

00

06.02.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

06.02.2024

2

0

book Games, Actions and Social Software: Multidisciplinary Aspects

Games, Actions and Social Software: Multidisciplinary Aspects

pdf

Author: Rohit Parikh Marc Pauly (auth.) Jan van Eijck Rineke Verbrugge (eds.)
Language: English
Year: 2012

00

06.02.2024

7

0

book Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

pdf

Author: Hans Daduna Lars Peter Saul (auth.) Jens B. Schmitt (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

pdf

Author: Michael Leuschel Jens Bendisposto (auth.) Jim Davies Leila Silva Adenilso Simao (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

pdf

Author: Richard Hull Elio Damaggio Fabiana Fournier (auth.) Mario Bravetti Tevfik Bultan (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

pdf

Author: Bran Selic (auth.) Marco Bernardo Vittorio Cortellessa Alfonso Pierantonio (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings

OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings

pdf

Author: Kshitij Mehta Edgar Gabriel Barbara Chapman (auth.) Barbara M. Chapman Federico Massaioli Matthias S. Müller Marco Rorro (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Intelligent Tutoring Systems: 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings

Intelligent Tutoring Systems: 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings

pdf

Author: Imène Jraidi Pierre Chalfoun Claude Frasson (auth.) Stefano A. Cerri William J. Clancey Giorgos Papadourakis Kitty Panourgia (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

pdf

Author: Boon Thau Loo Harjot Gill Changbin Liu (auth.) Claudio Russo Neng-Fa Zhou (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0