Filter by
Yorùbá Yé Mi : A Beginning Yorùbá Textbook
The Yorùbá Yé Mi textbook, combined with an open access, multi-media website, is an interactive, communicative, introductory Yorùbá program. It provides college/university students with basic listening, speaking, reading and writing skills of language learning in Yorùbá. It exposes the learner not only to Yorùbá language in meaningful situations but also to the culture of the Yorùbá-…
- Edition
- -
- ISBN/ISSN
- 9781937963026
- Collation
- -
- Series Title
- -
- Call Number
- 400 MOS y
The Ik language : Dictionary and grammar sketch
This book is a dictionary and grammar sketch of Ik, one of the three Kuliak (Rub) languages spoken in the beautiful Karamoja region of northeastern Uganda. It is the lexicographic sequel to A grammar of Ik (Icé-tód): Northeast Uganda’s last thriving Kuliak language (Schrock 2014). The present volume includes an Ik-English dictionary with roughly 8,700 entries, followed by a reversed English…
- Edition
- Vol. 1.0
- ISBN/ISSN
- 9783944675961
- Collation
- -
- Series Title
- African Language Grammars and Dictionaries 1
- Call Number
- 400 SCH i
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
- -
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
- -
Trends in Functional Programming 15th International Symposium, TFP 2014, Soe…
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional prog…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14675-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Rough Sets XIX
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, su…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47815-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connecte…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48567-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only relat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-74772-9
- Collation
- XXXIII, 454
- Series Title
- Outstanding Contributions to Logic
- Call Number
- -
Precedence: Social Differentiation in the Austronesian World
This collection of papers is the sixth volume in the Comparative Austronesian series. The papers that comprise this volume examine the concept of precedence as a form of local discourse and as a mechanism for ordering status, at different levels, within specific Austronesian-speaking societies. This is the first volume of its kind to focus entirely on precedence and to provide an explication of…
- Edition
- -
- ISBN/ISSN
- -
- 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