The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The ...
اقرأ المزيد
Prof. McClain has indeed produced "a new kind of tutorial book." It is written using the logic engine Mathematica, which ...
اقرأ المزيد
A biochemical hypothesis - that Alzheimer's disease (AD) is a progressive cerebral amyloidosis caused by the aggregation ...
اقرأ المزيد
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
اقرأ المزيد
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
اقرأ المزيد
he management consulting industry has grown into a sizeable economic sector and employment market. Globally operating consulting ...
اقرأ المزيد
Traces and explores the evolution of taste from a design perspective: what it is, how it works, and what it does. Examines ...
اقرأ المزيد
This book analyses the past, present and future of the technical university as a single faculty independent institution. ...
اقرأ المزيد
Demonstrates how artists have radically revisited the genre of the self-portrait by using a range of technologies and media ...
اقرأ المزيد
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
The technology of terahertz detection has largely been developed around expensive and bulky femtosecond laser systems but, ...
اقرأ المزيد
The book presents recent and important developments in the field of terahertz radiation with a particular focus on pulsed ...
اقرأ المزيد
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
اقرأ المزيد
Constitutes the refereed proceedings of the 10th International Conference on Text, Speech and Dialogue, TSD 2007, held in ...
اقرأ المزيد
This volume contains proceedings of the 5th International Conference Speech and Dialogue (TSD) Conference, held in Brno, ...
اقرأ المزيد
This book includes text corpora and tagging; transcription problems in spoken corpora; sense disambiguation; links between ...
اقرأ المزيد
These present proceedings include the majority of the workshop’s contributions and document the status quo of instrument ...
اقرأ المزيد
Aims to show that natural light not only remains a potential source of order in architecture, but that natural lighting strategies ...
اقرأ المزيد