Electronic Books

Total Books: 81 - 100 /261

Dynamics of Freezing-Thawing Soil around Subway Shield Tunnels / Zhen-Dong Cui

Addresses development laws for axial strain and excess pore water pressure in silty clay around subway shield tunnels before ...

Dynamics of Railway Bridges

Provides a comprehensive survey of the dynamic stresses in railway bridges under moving vehicles and summarizes important ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, ...

Education and Development in Colonial and Postcolonial Africa Policies, Paradigms, and Entanglements, 1890s–1980s

This book offers an analysis of the entangled histories of education and development in twentieth-century Africa. It deals ...

Emerging Drugs in Sport / Olivier Rabin, Ornella Corazza

Offers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...

Empirical Techniques in Finance

This book offers the opportunity to study and experience advanced empi- cal techniques in finance and in general financial ...

Equitable Research Partnerships

This book offers insights into the development of the ground-breaking Global Code of Conduct for Research in Resource-Poor ...

Ethics Dumping

This book provides original, up-to-date case studies of “ethics dumping” that were largely facilitated by loopholes in ...

European Traditions in Didactics of Mathematics

This book discusses several didactic traditions in mathematics education in countries across Europe, including France, the ...

Evaluating the Employment Effects of Job Creation Schemes in Germany

This book analyses the employment effects of job creation schemes for the participating individuals in Germany. Programmes ...

Exploring C for Microcontrollers

The market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...

Fast, Efficient and Predictable Memory Accesses

Fast, Efficient and Predictable Memory Accesses presents techniques for designing fast, energy-efficient and timing predictable ...

Fine- and Coarse-Grain Reconfigurable Computing

The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

Total Books: 81 - 100 /261