Filter by
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- XVIII, 468
- Series Title
- -
- Call Number
- -
Verb Sense Discovery in Mandarin Chinese—A Corpus based Knowledge-Intensive…
This book applies linguistic analysis to the poetry of Emeritus Professor Edwin Thumboo, a Singaporean poet and leading figure in Commonwealth literature. The work explores how the poet combines grammar and metaphor to create meaning, making the reader aware of the linguistic resources developed by Thumboo as the basis for his unique technique. The author approaches the poems from a function…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44556-3
- Collation
- XIV, 249
- Series Title
- -
- Call Number
- -
Successful College Composition
In her book On Writing, Eudora Welty maintains: “To write honestly and with all our powers is the least we can do, and the most.” But writing well is difficult. People who write for a living sometimes struggle to get their thoughts on the page; even people who generally enjoy writing have days when they would rather do anything else. For people who do not like writing or do not think of…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 420 WEA s
Long-term effects of Learning English: Experiences from Japanese Primary Schools
This book presents a pioneering longitudinal study on English language instruction at the elementary school (ELES) level in the Japanese public school system. It attempts to identify those domains most sensitive to early English instruction by employing a state-of-the-art quantitative research methodology. English education was formally introduced in Japan for fifth and sixth graders in 2011 an…
- Edition
- -
- ISBN/ISSN
- 978-981-287-493-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Unifying the Philosophy of Truth
This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amster…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9673-6
- Collation
- 30 b/w illustrations
- Series Title
- -
- Call Number
- -
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Ultra Low Bit-Rate Speech Coding
Ultra Low Bit-Rate Speech Coding" focuses on the specialized topic of speech coding at very low bit-rates of 1 Kbits/sec and less, particularly at the lower ends of this range, down to 100 bps. The authors set forth the fundamental results and trends that form the basis for such ultra low bit-rates to be viable and provide a comprehensive overview of various techniques and systems in literature…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-1341-1
- Collation
- 4 b/w illustrations, 56 illustrations in colour
- Series Title
- -
- Call Number
- -
Type Systems for Distributed Programs: Components and Sessions
Formal Languages and Automata Theory
- Edition
- -
- ISBN/ISSN
- 978-94-6239-204-5
- Collation
- 65 b/w illustrations, 4 illustrations in colour
- Series Title
- -
- Call Number
- -
The Ecosystem of the Foreign Language Learner
This volume examines selected aspects of the foreign language learning process from an ecological perspective, adopting a holistic view on complex interrelations among and within organisms (L2 language learners) and their milieus (family, school and society). First of all, the personal ecosystem of the learner is taken into consideration, whereby two powerful influences are intertwined: cogniti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14334-7
- Collation
- XV, 200
- Series Title
- Second Language Learning and Teaching
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography