This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
Lire la suite
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
Lire la suite
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
Lire la suite
This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Lire la suite
This second issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Lire la suite
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Lire la suite
This book features various studies on democratization, transformation, political and economic development, and security ...
Lire la suite
This book presents the most comprehensive and most thorough study of the developments in South African higher education and ...
Lire la suite
Rights language is a fundamental feature of the modern world. Virtually all significant social and political struggles are ...
Lire la suite
This book carries forward the findings of an international research project, first published in 2000, on the radical higher ...
Lire la suite
This book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural ...
Lire la suite
This book documents and analyses the various interventions – legal, political, and even artistic – that followed the ...
Lire la suite
Over the past decade, the transport industry has been the target of growing criticism over its role in the pollution of the ...
Lire la suiteExplains the many aspects of transportation systems planning, design, operation, and maintenance. Explores key topics, including ...
Lire la suite
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Lire la suiteA major focus of Turbo-like Codes is on high speed turbo decoding, which targets applications with data rates of several ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suite
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suite
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite
Ultra-Low Voltage Nano-Scale Memories provides an in-depth discussion of the state-of-the-art nanometer and sub-1-V memory ...
Lire la suite