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

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

book Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

pdf

Author: Michael Codish Yoav Fekete Amit Metodi (auth.) Valeria Bertacco Axel Legay (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

pdf

Author: A. Fehnker M. Fruth A. K. McIver (auth.) Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

pdf

Author: Egidio Astesiano Gianna Reggio (auth.) Christine Choppy Oleg Sokolsky (eds.)
Language: English
Year: 2010

00

06.02.2024

1

0

book Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

pdf

Author: Richard Hull Nanjangud C. Narendra Anil Nigam (auth.) Luciano Baresi Chi-Hung Chi Jun Suzuki (eds.)
Language: English
Year: 2009

00

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

06.02.2024

1

0

book Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

pdf

Author: Dino Distefano (auth.) María Alpuente Byron Cook Christophe Joubert (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

pdf

Author: Anne E. Haxthausen (auth.) Bettina Buth Gerd Rabe Till Seyfarth (eds.)
Language: English
Year: 2009

00

06.02.2024

1

0

book Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

pdf

Author: Rastislav Bodik (auth.) Jens Palsberg Zhendong Su (eds.)
Language: English
Year: 2009

00

06.02.2024

1

0

book Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings

Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings

pdf

Author: Paul Kapinos Dieter an Mey (auth.) Matthias S. Müller Bronis R. de Supinski Barbara M. Chapman (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Human Machine Interaction: Research Results of the MMI Program

Human Machine Interaction: Research Results of the MMI Program

pdf

Author: Bruno Dumas Denis Lalanne Sharon Oviatt (auth.) Denis Lalanne Jürg Kohlas (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0