he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Continue reading
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Continue reading
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Continue reading
This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, ...
Continue reading
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Continue reading
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Continue reading
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Continue reading
This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, ...
Continue reading
This book constitutes the refereed post-proceedings of the International Workshop on Agents, Norms and Institutions for Regulated ...
Continue reading
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...
Continue readingUrban Heat Islands (UHIs) are a microclimatic phenomenon which manifests as a significant increase in the temperature of ...
Continue readingThe book focuses on the situation in a number of Western regions (notably the USA, the UK, and the EU and its Member States). ...
Continue reading
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. ...
Continue reading
Creating Flash Widgets with Flash CS4 and ActionScript 3.0 is an introduction to developing widgets for the Internet using ...
Continue reading
In an effort to cut costs and re-focus on their core competences, The author develops a model that comprises 29 critical ...
Continue reading
Unveils the biggest scams and frauds that have shocked the world of cryptocurrency, from the disappearing Crypto Queen with ...
Continue reading
This book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed ...
Continue reading
Constitutes the refereed proceedings of the 7th International Workshop on Cryptographic Hardware and Embedded Systems, CHES ...
Continue reading
These are the proceedings of the Eighth Workshop on Cryptographic Hardware and Embedded Systems (CHES 2006) held in Yokohama, ...
Continue reading
The papers collected in this volume represent cutting-edge world wide research in the rapidly evolving fields of crypto-hardware, ...
Continue reading