Sách điện tử > Khoa học xã hội > Kinh tế > Jose Luiz Fiadeiro & Zhiming Liu: Formal Aspects of Component Software (PDF)

Jose Luiz Fiadeiro & Zhiming Liu
Formal Aspects of Component Software [PDF ebook]
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Ủng hộ

Bìa của Jose Luiz Fiadeiro & Zhiming Liu: Formal Aspects of Component Software (PDF)

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

€57.88

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783319076027 ● Biên tập viên Jose Luiz Fiadeiro & Zhiming Liu ● Nhà xuất bản Springer International Publishing ● Được phát hành 2014 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6302791 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Jose Luiz Fiadeiro Zhiming Liu Jinyun Xue

260.259 Ebooks trong thể loại này

Bìa của Sarah Maria (Free University Berlin, Germany) Bruhs & Mario (Berlin School of Economics, Germany) Glowik: Business-to-Business

Sarah Maria (Free University Berlin, Germany) Bruhs & Mario (Berlin School of Economics, Germany) Glowik: Business-to-Business

Contemporary business-to-business (B2B) industries consist of networks of customers, competitors and other stakeholders. Firms which manage their relationships with these important stakeholders are m …

Bìa của G. Mattney Cole: Assessment and Remediation of Petroleum Contaminated Sites

G. Mattney Cole: Assessment and Remediation of Petroleum Contaminated Sites

Federal regulations have required thousands of underground storage tanks (USTs) to be dug up and removed or replaced. The contamination of soil and ground water from leaking USTs has become widesprea …

Bìa của Sandeep Reddy: Artificial Intelligence

Sandeep Reddy: Artificial Intelligence

The rediscovery of the potential of artificial intelligence (AI) to improve healthcare delivery and patient outcomes has led to an increasing application of AI techniques such as deep learning, compu …

Bìa của Peter Hoschka: Computers As Assistants

Peter Hoschka: Computers As Assistants

Computer systems based on the notion of the computer as assistant have recently become the focus of intense interest. The expanding role of the computer in everyday life and the growing number of unt …

Bìa của James McKee: Business Architectures for Risk Assessment and Strategic Planning: Emerging Research and Opportunities

James McKee: Business Architectures for Risk Assessment and Strategic Planning: Emerging Research and Opportunities

Bìa của Nader Naifar: Impact of Financial Technology (FinTech) on Islamic Finance and Financial Stability

Nader Naifar: Impact of Financial Technology (FinTech) on Islamic Finance and Financial Stability

With advancing technologies like distributed ledgers, smart contracts, and digital payment platforms, financial services must be innovative in order to remain relevant in the modern era. The adoption …

Bìa của Lorren Pettit: Cultivating a Digital Culture for Effective Patient Engagement

Lorren Pettit: Cultivating a Digital Culture for Effective Patient Engagement

Cultivating a Digital Culture for Effective Patient Engagement offers a strategic framework for healthcare provider websites in order to support patient engagement and connected health initiatives, t …

Bìa của Cesar (ESAN University, Peru) Saenz: Extractive Industries, Social Licensing and Corporate Social Responsibility

Cesar (ESAN University, Peru) Saenz: Extractive Industries, Social Licensing and Corporate Social Responsibility

Communities are rightly concerned about the indiscriminate use of natural resources, environmental pollution, poverty, health, and education, among other social problems. Extractive and industrial co …

Bìa của Rene Carayol: Spike

Rene Carayol: Spike

In this groundbreaking book, leading executive coach Rene Carayol shares the magic and simplicity of the SPIKE (Strength, Positively, Identified, Kick, Start, Excellence) philosophy. In the world of …

Bìa của Institute of Leadership: Understanding Organisations in their Context

Institute of Leadership: Understanding Organisations in their Context

Super series are a set of workbooks to accompany the flexible learning programme specifically designed and developed by the Institute of Leadership & Management (ILM) to support their Level 3 Certifi …

Trang tiếp theo >>>