Filter by
Body, Personhood and Privacy : Perspectives On The Cultural Other and Human E…
This book studies how the concepts of body, personhood and privacy can be expanded across disciplinary borders. Notwithstanding the diversity of empirical material and theoretical frameworks, the chapters suggest innovative tools for common key issues: dialogue with the cultural Other, the appropriation of space, and personality. Human embodiment and ethical aspects of representing and regulati…
- Edition
- -
- ISBN/ISSN
- 9789949774593
- Collation
- 344 halaman
- Series Title
- Approaches to Culture Theory, 7
- Call Number
- 306 TAS b
Type Systems for Distributed Programs: Components and Sessions
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety propert…
- Edition
- -
- ISBN/ISSN
- 978-94-6239-204-5
- Collation
- -
- Series Title
- -
- Call Number
- -
A General Algebraic Semantics for Sentential Logics
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
- Edition
- -
- ISBN/ISSN
- 9781316716915
- Collation
- -
- Series Title
- Lecture Notes in Logic (7)
- Call Number
- -
Fashion Figures : How Missy the Mathlete Made the Cut
Missy Maker is a middle school girl who loves math and fashion. She sees math in everything she does. She tries to hide this from her friends, because she thinks it’s too geeky. Missy hears that the school math club needs more members, but she’s worried about what her friends will think if she joins, and she’s already committed to joining the fashion club. After an epic internal st…
- Edition
- -
- ISBN/ISSN
- 9781484222737
- Collation
- -
- Series Title
- -
- Call Number
- 800 BOR f
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
Syntax of Dutch: Adjectives and Adjective Phrases
The Syntax of Dutch will be published in at least seven volumes in the period 2012-2016 and aims at presenting a synthesis of the currently available syntactic knowledge of Dutch. It is primarily concerned with language description and not with linguistic theory, and provides support to all researchers interested in matters relating to the syntax of Dutch, including advanced students of languag…
- Edition
- -
- ISBN/ISSN
- 9789089645494
- Collation
- -
- Series Title
- -
- Call Number
- -
A Formal Theory of Commonsense Psychology
Commonsense psychology refers to the implicit theories that we all use to make sense of people's behavior in terms of their beliefs, goals, plans, and emotions. These are also the theories we employ when we anthropomorphize complex machines and computers as if they had humanlike mental lives. In order to successfully cooperate and communicate with people, these theories will need to be represen…
- Edition
- -
- ISBN/ISSN
- 9781316584705
- Collation
- -
- Series Title
- -
- Call Number
- -
How and Why to Read and Create Children's Digital Books : A Guide for Primary…
How and Why to Read and Create Children's Digital Books outlines effective ways of using digital books in early years and primary classrooms, and specifies the educational potential of using digital books and apps in physical spaces and virtual communities. With a particular focus on apps and personalised reading, Natalia Kucirkova combines theory and practice to argue that personalised reading…
- Edition
- -
- ISBN/ISSN
- 9781787353473
- Collation
- -
- Series Title
- -
- Call Number
- 025 KUC h
Collaborative Learning and New Media New Insights into an Evolving Field (Ed…
This book is an essential resource for researchers in the field of applied linguistics as well as practising teachers and teacher trainees in secondary and higher education. It explores collaboration in the foreign language classroom through the use of new media. Combining theoretical, empirical and practical insights into this intricate area of research, the contributions take different approa…
- Edition
- -
- ISBN/ISSN
- 9783653059212
- Collation
- -
- Series Title
- -
- Call Number
- -
Trilingualism in Education in China: Models and Challenges
This book examines language policies and practices in schools in regions of China populated by indigenous minority groups. It focuses on models of trilingual education, i.e. education in the home language, Putonghua (Mandarin Chinese, the national language), and English (the main foreign language). Special attention is given to the study of the vitality of the minority home language in each reg…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9352-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography