The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Formal Methods
Wiley 2013; US$ 145.00Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial... more...
Computers in Railways XIII
WIT Press 2012; US$ 670.00Containing the proceedings of the Thirteenth International Conference on Design and Operation in Railway Engineering, this book presents the latest developments in the use of computer-based techniques in the design and operation of railways. The COMPRAIL conference series serves as the forum for major advances in this important field. more...
Orient Express
Biteback Publishing 2012; US$ 29.17When the fabled Orient-Express train, which had carried the rich and the famous (as well as some highly suspicious characters) across Europe in superb style for nearly a century, was taken out of service in 1977, James B. Sherwood bought two of its 1920s luxury sleeping cars at auction. He then spent $31 million meticulously restoring the ?world?s... more...
Great Western Railway
Aurum Press 2011; US$ 13.11?God?s Wonderful Railway?, it was called if you were a fan; the ?great Way Round? if you took a rather more jaundiced view of some of its circuitous branch lines. But 175 years after its foundation, the Great Western Railway company is remembered with the most nostalgia, even love, of all Britain?s pre-nationalisation railway companies. It built,... more...
Noise and Vibration Mitigation for Rail Transportation Systems
Springer 2011; US$ 249.99This volume contains the contributions to the 10th International Workshop on Railway Noise, held October 18-22, 2010, in Nagahama, Japan, organized by the Railway Technical Research Institute (RTRI), Japan. With 11 sessions and 3 poster sessions, the workshop featured presentations by international leaders in the field of railway noise and vibration.... more...
Bahnsicherungstechnik
Wiley 2011; US$ 47.95Das Buch erläutert die Grundlagen der Bahnsicherungstechnik, stellt die sicherungstechnischen Systemkomponenten vor und die Bedingungen für die sichere Steuerung des Transportprozesses. Die sicherungstechnischen Prinzipien beschreibt es anhand der Komponenten der Sicherungs- und Betriebsleittechnik wie Stellwerke, Streckenblocksysteme, Zugbeeinflussungs-anlagen,... more...
Computers in Railways XII
WIT Press 2010; US$ 778.00The International Conference on System Design and Operation in Railways and other Transit Systems (COMPRAIL) has become the most successful conference in its field in the world since it started in 1987. This book contains papers accepted for presentation at the 12th meeting in the series, held in Beijing, China in 2010.Rail transport has many advantages... more...
Timetable Planning & Information Quality
WIT Press 2010; US$ 170.00The book comprises a number of research papers presented at several Computers in Railways Conferences. It has been compiled by Ingo A. Hansen, President of the International Association of Railway Operations Research (IAROR) and contains selected papers originating from different countries, such as Denmark, France, Germany, Japan, Italy, Netherlands,... more...
Automatische Erzeugung und Optimierung von Taktfahrplänen in Schienenverkehrsnetzen
Springer Fachmedien 2009; US$ 54.99Non-smooth Problems in Vehicle Systems Dynamics
Springer 2009; US$ 149.99Combines vehicle systems dynamics with the theoretical developments in dynamics of non-smooth systems and numerical analysis of differential-algebraic dynamical systems with discontinuities. more...









