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

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

book Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

pdf

Author: João Lourenço (auth.) Sharon Barner Ian Harris Daniel Kroening Orna Raz (eds.)
Language: English
Year: 2011

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 HCI in Work and Learning, Life and Leisure: 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings

HCI in Work and Learning, Life and Leisure: 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings

pdf

Author: Eva Mayr Michael Smuc Hanna Risku Wolfgang Aigner Alessio Bertone Tim Lammarsch (auth.) Gerhard Leitner Martin Hitz Andreas Holzinger (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

pdf

Author: Emil Vassev Mike Hinchey (auth.) Radu Calinescu Ethan Jackson (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

pdf

Author: Dominique Méry Neeraj Kumar Singh (auth.) Zhiming Liu Alan Wassyng (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0

book Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

pdf

Author: J. C. M. Baeten P. J. L. Cuijpers B. Luttik P. J. A. van Tilburg (auth.) Farhad Arbab Marjan Sirjani (eds.)
Language: English
Year: 2010

00

27.01.2024

1

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

27.01.2024

0

0

book Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Generative Programming and Component Engineering: 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

pdf

Author: Oscar Nierstrasz Stéphane Ducasse Serge Demeyer (auth.) Robert Glück Michael Lowry (eds.)
Language: English
Year: 2005

00

27.01.2024

1

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