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

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

book Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

pdf

Author: Alessandro Zovi Tullio Vardanega (auth.) Fabrice Kordon Yvon Kermarrec (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

pdf

Author: Mario Bravetti Gianluigi Zavattaro (auth.) Roberto Bruni Karsten Wolf (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

pdf

Author: Yvonne Rogers (auth.) Andreas Holzinger Klaus Miesenberger (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

pdf

Author: Marco Brambilla Stefano Ceri Massimo Tisi (auth.) Laurence Tratt Martin Gogolla (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

pdf

Author: Elvira Albert Puri Arenas Samir Genaim Israel Herraiz German Puebla (auth.) Marko van Eekelen Olha Shkaravska (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

pdf

Author: Gilles Barthe Pierre Crégut Benjamin Grégoire Thomas Jensen David Pichardie (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book ECOOP 2010 – Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

ECOOP 2010 – Object-Oriented Programming: 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

pdf

Author: Doug Lea (auth.) Theo D’Hondt (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

Rule Interchange and Applications: International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

pdf

Author: Sandro Hawke (auth.) Guido Governatori John Hall Adrian Paschke (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

pdf

Author: Andreas Blass Nachum Dershowitz Wolfgang Reisig (auth.) Andreas Blass Nachum Dershowitz Wolfgang Reisig (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

pdf

Author: Betty H. C. Cheng Rogério de Lemos Holger Giese Paola Inverardi Jeff Magee (auth.) Betty H. C. Cheng Rogério de Lemos Holger Giese Paola Inverardi Jeff Magee (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0