Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lee mas
Towards Next Generation Grids
Towards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...
Lee masTowards Resilient Organizations and Societies : A Cross-Sectoral and Multi-Disciplinary Perspective
This book brings together scholars in the fields of management, public policy, regional studies, and organization theory ...
Lee mas
Towards Sustainable Society on Ubiquitous Networks : The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24–16, 2008, Tokyo, Japan
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lee masTowards Synthesis of Micro-
At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...
Lee mas
Towards a Natural Social Contract Transformative Social-Ecological Innovation for a Sustainable, Healthy and Just Society
This book states that the endemic societal faultlines of our times are deeply intertwined and that they confront us with ...
Lee mas
Towards a Service-Based Internet : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings
This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...
Lee mas
Towards a Systemic Theory of Irregular Migration Explaining Ecuadorian Irregular Migration in Amsterdam and Madrid
This book provides an alternative theoretical framework of irregular migration that allows to overcome many of the contradictions ...
Lee masTowards an Emissions Trading System in Mexico: Rationale, Design and Connections with the Global Climate Agenda : Outlook on the first ETS in Latin-America and Exploration of the Way Forward
This book provides detailed information about the incoming Mexican Emissions Trading System, including an analysis on why ...
Lee mas
Toxicants in Aqueous Ecosystems
It is becoming increasingly realised that the oceans and rivers, in particular, are not unlimited reservoir into which waste ...
Lee mas
Toxicants in Terrestrial Ecosystems
The presence of deliberately added or adventitious organic and inorganic compounds in soils can cause contamination of the ...
Lee mas
Traffic and Granular Flow 05
The conference series Trafc and Granular Flow has been established in 1995 and has since then been held biannually. At that ...
Lee mas
Trans-Neptunian Objects and Comets
In the last two decades of the 20th century, we obtained our first detailed look at a cometary nucleus and detected objects ...
Lee mas
Transaction-Level Modeling with SystemC
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Lee mas
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
Lee mas
Transactions on Aspect-Oriented Software Development II
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
Lee mas
Transactions on Aspect-Oriented Software Development III
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
Lee mas
Transactions on Aspect-Oriented Software Development IV
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
Lee mas
Transactions on Computational Science I
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
Lee mas
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
Lee mas
