25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
A City in Blue and Green
Highlights Singapore’s development into a city in which water and greenery, along with associated environmental, technical, ...
اقرأ المزيدA Companion to Islamic Art and Architecture, 2 Volume Set - Blackwell Companions to Art History / Finbarr Barry Flood, Gulru Necipoglu, Dana Arnold
Bridges the gap between monograph and survey text by providing a new level of access and interpretation to Islamic art. The ...
اقرأ المزيد
A Primer on Environmental Decision-Making
This book integrates decision-making and environmental science. For ecologists it will bridge the gap to economics. For practitioners ...
اقرأ المزيد
A companion to Islamic art and architecture / Flood, Finbarr Barry, Necipoğlu, Gülru
The Companion represents recent developments in the field, and encourages future horizons by commissioning innovative essays ...
اقرأ المزيد
Accounting and Financial System Reform in a Transition Economy: A Case Study of Russia
Much has been written about the economic and political problems of countries that are in the process of changing from centrally ...
اقرأ المزيد
Acoustic MIMO Signal Processing
Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to ...
اقرأ المزيد
Adaptive Mesh Refinement - Theory and Applications
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
اقرأ المزيد
Advanced Design Techniques for RF Power Amplifiers
Advanced Design Techniques for RF Power Amplifiers' main aim is to provide the reader with a deep analysis of theoretical ...
اقرأ المزيد
Advances in Ceramic Biomaterials: Materials, Devices and Challenges / Paola Palmero, Eamonn De Barra, Francis Cambier
Bioceramics are an important class of biomaterials. Due to their desirable attributes such as biocompatibility and osseointegration, ...
اقرأ المزيد
Advances in Computer Systems Architecture (vol. # 3740)
This book constitutes the proceedings of the 2005 Asia-Paci?c Computer Systems Architecture Conference (ACSAC 2005) held ...
اقرأ المزيد
Advances in Evolutionary Algorithms
The goal of this book is to provide effective optimization algorithms for solving a broad class of problems quickly, accurately, ...
اقرأ المزيد
Advances in Information System Development : New Methods and Practice for the Networked Society
Advances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected ...
اقرأ المزيد
Advances in Knowledge Discovery and Data Mining (vol. # 3918)
The Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) is a leading international conference in the area ...
اقرأ المزيد
Advances in Multimedia Modeling
The two volume set LNCS 4351 and LNCS 4352 constitutes the refereed proceedings of the 13th International Multimedia Modeling ...
اقرأ المزيد
Advances in Multimedia Modeling
The two volume set LNCS 4351 and LNCS 4352 constitutes the refereed proceedings of the 13th International Multimedia Modeling ...
اقرأ المزيد
Algorithmic Learning Theory (vol. # 3734)
This volume contains the papers presented at the 16th Annual InternationalConference on Algorithmic Learning Theory (ALT ...
اقرأ المزيد
An Assessment Framework for Compliance with International Space Law and Norms
proposes a framework for assessing countries’ levels of compliance with international space law and norms. It begins by ...
اقرأ المزيد
Anxiety and Substance Use Disorders
Anxiety and Substance Use Disorders: The Vicious Cycle of Comorbidity addresses this gap with dispatches from the frontlines ...
اقرأ المزيد
Applications of Gene-Based Technologies for Improving Animal Production and Health in Developing Countries
This book will help in bridging the wide gap between developed and developing countries, in the development and use of gene-based ...
اقرأ المزيد
