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
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
- -
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
- -
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
- -
Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2301-6
- Collation
- 61 b/w illustrations
- Series Title
- -
- Call Number
- -
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Introduction to Programming Languages
Introduction to Programming Languages is designed to formalize and consolidate the knowledge of programming languages gained in the introductory courses a computer science curriculum and to provide a base for further studies in the semantics and translation of programming languages. This book is intended as an undergraduate text in the theory of programming languages. To gain maximum benefit…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 AAB i
Exploring Innovative Pedagogy in the Teaching and Learning of Chinese as a Fo…
Teachers of Chinese as a foreign language in many international contexts are searching for pedagogic solutions to promote effective learning. Models of innovative and successful approaches are urgently needed. This volume presents a collection of compelling and empirically rich research studies that showcases innovative developments in the practice of teaching Chinese as a foreign language. The…
- Edition
- -
- ISBN/ISSN
- 978-981-287-772-7
- Collation
- 23 b/w illustrations
- Series Title
- -
- Call Number
- -
Evolving Computability 11th Conference on Computability in Europe, CiE 2015,…
This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20028-6
- Collation
- 20 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography