Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

The Chinese Typewriter
  • Language: en
  • Pages: 501

The Chinese Typewriter

  • Type: Book
  • -
  • Published: 2017-08-08
  • -
  • Publisher: MIT Press

Incompatible with modernity -- Puzzling Chinese -- Radical machines -- What do you call a typewriter with no keys? -- Controlling the Kanjisphere -- QWERTY is dead! Long live QWERTY! Lin Yutang and the birth of input -- The typing rebellion

Animation and Advertising
  • Language: en
  • Pages: 340

Animation and Advertising

Throughout its history, animation has been fundamentally shaped by its application to promotion and marketing, with animation playing a vital role in advertising history. In individual case study chapters this book addresses, among others, the role of promotion and advertising for anime, Disney, MTV, Lotte Reiniger, Pixar and George Pal, and highlights American, Indian, Japanese, and European examples. This collection reviews the history of famous animation studios and artists, and rediscovers overlooked ones. It situates animated advertising within the context of a diverse intermedial and multi-platform media environment, influenced by print, radio and digital practices, and expanding beyon...

Compiler Construction
  • Language: en
  • Pages: 256

Compiler Construction

This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support.

Animated Encounters
  • Language: en
  • Pages: 276

Animated Encounters

China’s role in the history of world animation has been trivialized or largely forgotten. In Animated Encounters Daisy Yan Du addresses this omission in her study of Chinese animation and its engagement with international forces during its formative period, the 1940s–1970s. She introduces readers to transnational movements in early Chinese animation, tracing the involvement of Japanese, Soviet, American, Taiwanese, and China’s ethnic minorities, at socio-historical or representational levels, in animated filmmaking in China. Du argues that Chinese animation was international almost from its inception and that such border-crossing exchanges helped make it “Chinese” and subsequently ...

Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption
  • Language: en
  • Pages: 670

Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption

This book constitutes the proceedings of the 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, held in Toulouse, France, in September 2022. The 30 research papers and 31 demo and poster papers presented in this volume were carefully reviewed and selected from 109 submissions. Chapter “Learners’ Strategies in Interactive Sorting Tasks” is available open access under a CC BY 4.0 license.

Theories of Programming and Formal Methods
  • Language: en
  • Pages: 417

Theories of Programming and Formal Methods

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the app...

The Consequences of COVID-19 on the Mental Health of Students
  • Language: en
  • Pages: 688

The Consequences of COVID-19 on the Mental Health of Students

None

Transactions on Computational Science IV
  • Language: en
  • Pages: 280

Transactions on Computational Science IV

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science, but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presen...

Tools and Algorithms for the Construction and Analysis of Systems
  • Language: en
  • Pages: 622

Tools and Algorithms for the Construction and Analysis of Systems

  • Type: Book
  • -
  • Published: 2004-03-09
  • -
  • Publisher: Springer

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos ́ e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between di?erent communities including, but not - mited to, those d...

Advanced Topics in Types and Programming Languages
  • Language: en
  • Pages: 600

Advanced Topics in Types and Programming Languages

  • Type: Book
  • -
  • Published: 2004-12-23
  • -
  • Publisher: MIT Press

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer prog...