电子书 > 社会科学 > 经济 > Li Bing Li & Tsai Jeffrey J P Tsai: Hybrid Parallel Execution Model For Logic-based Specification Languages (PDF)

Li Bing Li & Tsai Jeffrey J P Tsai
Hybrid Parallel Execution Model For Logic-based Specification Languages [PDF ebook]

支持

的封面 Li Bing Li & Tsai Jeffrey J P Tsai: Hybrid Parallel Execution Model For Logic-based Specification Languages (PDF)

Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems.

€59.06

购买此电子书可免费获赠一本！

语言英语 ● 格式 PDF ● 网页 228 ● ISBN 9789814494199 ● 出版者 World Scientific Publishing Company ● 发布时间 2001 ● 下载 3 时 ● 货币 EUR ● ID 7969493 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Li Bing Li Tsai Jeffrey J. P. Tsai

256,872 此类电子书

的封面 Arturo Bris: The Right Place

Arturo Bris: The Right Place

The Right Place explains why firms succeed in one country and fail in another, irrespective of their inner drivers, and suggests potential initiatives that governments can take to help the private se …

的封面 Peter (University of Surrey, UK) Alcott & Bernard (Author passed away, waiting for documentation SF01852776) Davis: Food and Beverage Management

Peter (University of Surrey, UK) Alcott & Bernard (Author passed away, waiting for documentation SF01852776) Davis: Food and Beverage Management

This introductory textbook provides a thorough guide to the management of food and beverage outlets, from their day-to-day running through to the wider concerns of the hospitality industry. It explor …

的封面 Doramas Jorge-Calderon: Aviation Investment

Doramas Jorge-Calderon: Aviation Investment

Aviation Investment uniquely addresses investment appraisal methods across the key industries that make up the aviation sector, including the airports, air traffic management, airline and aircraft ma …

的封面 Morten Albaek: One Life

Morten Albaek: One Life

Never before in history have so many humans suffered from depression, anxiety, and stress. The World Health Organization estimates that more than 300 million people struggle with depression – equival …

的封面 Stephen P. (University of Kentucky, USA) Borgatti & Daniel J. (University of Kentucky, USA) Brass: Social Networks at Work

Stephen P. (University of Kentucky, USA) Borgatti & Daniel J. (University of Kentucky, USA) Brass: Social Networks at Work

Social Networks at Work provides the latest thinking, from top-notch experts, on social networks as they apply to industrial and organizational (I/O) psychology. Each chapter provides an in-depth rev …

的封面 Mike Bourne & Pippa Bourne: Creating an Effective Public Sector

Mike Bourne & Pippa Bourne: Creating an Effective Public Sector

This book offers an in-depth look at developing effectiveness in the public sector and how to achieve the best possible outcomes for people rather than just good or efficient outputs. In 15 comprehen …

的封面 Dennis Mark: Future of Work

Dennis Mark: Future of Work

In the new world of work, old jobs are being disrupted or eliminated just as new ones are being invented that never existed before. On top of that, professionals are not only changing jobs, but even …

的封面 Lidia Diappi: Evolving Cities

Lidia Diappi: Evolving Cities

Geocomputation has come of age. The whirlwind of change experienced in Geographical Information Science (GIS) – developments in IT, and new data gathering and earth observing technologies – has taken …

的封面 Aravin Prince (Technical University of Liberec, Czech Republic) Periyasamy & Michal (Associate Professor, Department of Material Science, Technical University of Liberec, Czech Republic) Vik: Chromic Materials

Aravin Prince (Technical University of Liberec, Czech Republic) Periyasamy & Michal (Associate Professor, Department of Material Science, Technical University of Liberec, Czech Republic) Vik: Chromic Materials

This informative volume reflects the state of art in the science of color-changeable materials and provides an abundance of in-depth knowledge about the field of colorimetry. The book describes the f …

的封面 Roger Gruneisen: Medical Clinics and Practices

Roger Gruneisen: Medical Clinics and Practices

A hospital can be a private or public sector building where patients are admitted for acute treatment. On the other hand, a clinic is a hub of healthcare activity and a place where care providers int …