Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
اقرأ المزيدTowards 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيدTowards 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 ...
اقرأ المزيد
Toxicants in Aqueous Ecosystems
It is becoming increasingly realised that the oceans and rivers, in particular, are not unlimited reservoir into which waste ...
اقرأ المزيد
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 ...
اقرأ المزيد
Transaction-Level Modeling with SystemC
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Transactions on Computational Science I
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
اقرأ المزيد
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
اقرأ المزيد
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
اقرأ المزيد
Transactions on Computational Systems Biology I
The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
اقرأ المزيد
Transactions on Computational Systems Biology III
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
اقرأ المزيد
Transactions on Computational Systems Biology IX
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
اقرأ المزيد
