Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Continue reading
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Continue reading
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Continue reading
Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Continue reading
Automatic Speech Recognition on Mobile Devices and over Communication Networks
This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...
Continue reading
Bearing Witness Ruth Harrison and British Farm Animal Welfare (1920–2000)
This book is the biography of one of Britain’s foremost animal welfare campaigners and of the world of activism, science, ...
Continue readingBetween Necessity and Probability: Searching for t
This study investigates the major theories of the origins of life in light of modern research with the aim of distinguishing ...
Continue reading
Bio-Inspired Computing and Communication : First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, ...
Continue reading
Bioinformatics : Problem Solving Paradigms
This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
Continue reading
Bioinformatics Research and Applications : Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings
This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ...
Continue reading
Biomimetics for Architecture & Design : Nature - Analogies - Technology / Göran Pohl , Werner Nachtigall
Provides the readers with a timely guide to the application of biomimetic principles in architecture and engineering design. ...
Continue reading
Brexit and the Control of Tobacco Illicit Trade
This book assesses the consequences of Brexit for the control of illicit trade in tobacco products in the UK and EU. Based ...
Continue reading
Build To Order : The Road to the 5-Day Car
Build To Order: The Road to the 5-Day Car addresses the conceptual and practical aspects for achieving the automotive industry’s ...
Continue reading
Business Process Management Workshops (vol. # 4103)
BPM 2006 was the fourth in a conference series that provides a forum for - searchers and practitioners in all areas of business ...
Continue reading
CMOS Hotplate Chemical Microsensors
This is the first comprehensive book on microhotplate-based chemical sensor systems in CMOS-technology. It covers all aspects ...
Continue reading
COMPSTAT 2008 : Proceedings in Computational Statistics
Presents methodological developments in Applied/Computational Statistics. This work covers a range of topics including Advances ...
Continue reading
Catalogue of Risks : Natural, Technical, Social and Health Risks
The book clearly shows the interdependence of risk measures. Safety and risks cannot be discussed only by looking at specific ...
Continue reading
Cellular Automata : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Cellular Automata for Research and ...
Continue reading
Chance : The life of games and the game of life
With its many easy-to-follow mathematical examples, this book takes the reader on an almost chronological trip through the ...
Continue reading
