Filter by
Algebraic Informatics: 6th International Conference, CAI 2015, Stuttgart, Ger…
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stocha…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-23021-4
- Collation
- VIII, 223
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 519.6 ALG a
WAC and Second-Language Writers : Research Towards Linguistically and Cultura…
In WAC and Second-Language Writers, the editors and contributors pursue the ambitious goal of including within WAC theory, research, and practice the differing perspectives, educational experiences, and voices of second-language writers. The chapters within this collection not only report new research but also share a wealth of pedagogical, curricular, and programmatic practices relevant to sec…
- Edition
- -
- ISBN/ISSN
- 978-1-64215-055-1
- Collation
- -
- Series Title
- -
- Call Number
- 410.1 WAC
WAC Partnerships Between Secondary and Postsecondary Institutions
Working with educators at all academic levels involved in WAC partnerships, the authors and editors of this collection demonstrate successful models of collaboration between schools and institutions so others can emulate and promote this type of collaboration. The chapters in this collection describe and reflect on collaborative partnerships among middle schools, high schools, colleges, and uni…
- Edition
- -
- ISBN/ISSN
- 978-1-64215-073-5
- Collation
- -
- Series Title
- -
- Call Number
- 808.042 071 2 WAC
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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography