Electronic Books

Total Books: 121 - 140 /237

Foundations of Software Science and Computational Structures (vol. # 3441)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Foundations of Software Science and Computational Structures (vol. # 3921)

This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...

Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

From Data to Models and Back

This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...

Fundamental Approaches to Software Engineering

This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...

Fundamental Approaches to Software Engineering (vol. # 3442)

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Fundamental Approaches to Software Engineering (vol. # 3922)

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...

Global Computing

This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...

HCI and Usability for Medicine and Health Care

The work group Human–Computer Interaction & Usability Engineering (HCI&UE) of the Austrian Computer Society (OCG) serves ...

Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

Information Security : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Information Security Conference, ISC ...

Integrated Formal Methods

One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Intelligent Techniques and Tools for Novel System Architectures

Provides a source wherein academics, researchers and practitioners may derive high-quality, original and state-of-the-art ...

Interactive Systems Design, Specification, and Verification

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...

Interactive Systems. Design Specification, and Verification

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...

Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...

Total Books: 121 - 140 /237