Filter by
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- 210 b/w illustrations
- Series Title
- -
- Call Number
- -
Tohoku Recovery
The March 11 disaster in 2011, known as the Great East Japan Earthquake and Tsunami, caused extensive damage in various sectors. Through the recovery process, special lessons are being learned and applied in the affected region. This book attempts to draw lessons from different issues and sectors such as policy perspectives (both national and local), the role of international NGOs, fishing indu…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55136-2
- Collation
- 20 b/w illustrations, 35 illustrations in colour
- Series Title
- -
- Call Number
- -
Timing Channels in Cryptography
This book deals with timing attacks on cryptographic ciphers. It describes and analyzes various unintended covert timing channels that are formed when ciphers are executed in microprocessors. The book considers modern superscalar microprocessors which are enabled with features such as multi-threaded, pipelined, parallel, speculative, and out-of order execution. Various timing attack algorithms …
- Edition
- -
- ISBN/ISSN
- 978-3-319-12370-7
- Collation
- 61 b/w illustrations, 14 illustrations in colour
- Series Title
- -
- Call Number
- -
Enhanced Building Information Models Using IoT Services and Integration Patt…
This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It provides approaches and software architectures for facilitating the interaction with (and between) BIMs through Web services, and for enabling and facilitating the fusion of the information residing…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21825-0
- Collation
- 56 b/w illustrations
- Series Title
- -
- Call Number
- -
English for Academic Purposes in Neoliberal Universities: A Critical Grounded…
The critical grounded theory presented in this book offers valuable insights on the social processes and strategies used by Blended English for Academic Purposes Professionals (BLEAPs) at higher education institutions, as they struggle to negotiate the challenges arising from a new focus on recruiting international students and hunting for other resources for their universities. Drawing from in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10449-2
- Collation
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
English as a Global Language in China Deconstructing the Ideological Discour…
This book offers insight into the spread and impact of English language education in China within China’s broader educational, social, economic and political changes. The author's critical perspective informs readers on the connections between language education and political ideologies in the context of globalizing China. The discussion of the implications concerning language education is of…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10392-1
- Collation
- 5 b/w illustrations
- Series Title
- -
- Call Number
- -
Through-life Engineering Services
Demonstrating the latest research and analysis in the area of through-life engineering services (TES), this book utilizes case studies and expert analysis from an international array of practitioners and researchers – who together represent multiple manufacturing sectors: aerospace, railway and automotive – to maximize reader insights into the field of through-life engineering services. …
- Edition
- -
- ISBN/ISSN
- 978-3-319-12111-6
- Collation
- 162 b/w illustrations
- Series Title
- -
- Call Number
- -
English Language Training in the Workplace Case Studies of Corporate Program…
Workplace English language training programs represent a corporate investment in language skills enhancement and human capital development. This book evaluates English language training programs in Chinese workplaces by examining a range of training effectiveness variables and identifying the factors that facilitate or hinder effective learning outcomes for workplace English training programs a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30157-0
- Collation
- 6 b/w illustrations, 4 illustrations in colour
- Series Title
- -
- Call Number
- -
English Language Teaching Today Linking Theory and Practice
English Language Teaching Today: Linking Theory and Practice provides an up-to-date account of current principles and practices for teaching English in the world today. The chapters, written by internationally recognized language teacher educators and TESOL specialists, introduce the reader to key language skill areas (i.e., listening, speaking, reading, writing, pronunciation, grammar and voca…
- Edition
- -
- ISBN/ISSN
- 978-3-319-38834-2
- Collation
- 2 b/w illustrations, 2 illustrations in colour
- Series Title
- -
- Call Number
- -
English Language Education Policy in Asia
This volume offers comprehensive 'state-of-the-art' overviews of educational policies concerning the teaching of English in a large number of Asian countries. Each contribution is written by a leading expert and gives a clear assessment of current policies and future trends. Starting with a description of the English education policies in the respective countries, the contributors then delve in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22464-0
- Collation
- 1 b/w illustrations, 7 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography