Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
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
Traditions in German-Speaking Mathematics Education Research
This book includes a short survey of the development of educational research on mathematics in German speaking countries, ...
Lee mas
Traffic Grooming for Optical Networks : Foundations, Techniques, and Frontiers
This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...
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 II
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
Lee mas
Transactions on Data Hiding and Multimedia Security I
This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Lee mas
Transactions on Data Hiding and Multimedia Security II
This second issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Lee mas
Transactions on Data Hiding and Multimedia Security III
The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...
Lee mas
Transactions on Edutainment I
This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...
Lee mas
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Lee mas
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lee mas
Transactions on Rough Sets III
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical ...
Lee mas
Transdisciplinary Digital Art. Sound, Vision and the New Screen : Digital Art Weeks and Interactive Futures 2006/2007, Zurich, Switzerland and Victoria, BC, Canada. Selected Papers
This volume collects essays that broadly encompass the digital arts, Transdisciplinary Digital Art gives a clear overview ...
Lee mas
Transendoscopic Ultrasound for Neurosurgery
Endoscopic neurosurgery has not yet reached the safety and applicability of microsurgery. Endo-neuro-sonography is a new ...
Lee mas
Transforming Education Outcomes in Africa
Good education changes lives. It is therefore unsurprising that improved schooling plays a central part in most development ...
Lee mas
Transitions Before the Transition
This book assembles researchers working in Eurasia and Africa to discuss the archaeological record of the Middle Paleolithic ...
Lee mas
