Filter by
Reliable Software Technologies – Ada-Europe 2015
This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. They are organized in topical sections on language technology, real-time applications, cri…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Relational and Algebraic Methods in Computer Science
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fi…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Early Greek Alphabetic Writing : A Linguistic Approach
Despite the flourishing of epichoric studies on the Archaic Greek scripts in the 1960s, embodied by archaeologists Lilian Hamilton Jeffery and Margherita Guarducci, most scholarship on early alphabetic writing in Greece has focused on questions around the origin of ‘the Greek alphabet’ instead of acknowledging the diversity of alphabetic systems that emerged in Geometric and Archaic times. …
- Edition
- -
- ISBN/ISSN
- 9780000000845
- Collation
- -
- Series Title
- -
- Call Number
- 411 AST e
A Guide to NIP Theories
The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory: graduate students and researchers in the field, as well as those in nearby areas such as combi…
- Edition
- -
- ISBN/ISSN
- 9781107415133
- Collation
- -
- Series Title
- -
- Call Number
- -
Roots of Language
Roots of language was originally published in 1981 by Karoma Press (Ann Arbor). It was the first work to systematically develop a theory first suggested by Coelho in the late nineteenth century: that the creation of creole languages somehow reflected universal properties of language. The book also proposed that the same set of properties would be found to emerge in normal first-language acquisi…
- Edition
- Vol. 2.0
- ISBN/ISSN
- 9783946234104
- Collation
- -
- Series Title
- -
- Call Number
- 400 BIC r
Grammaticalization in the North : Noun phrase morphosyntax in Scandinavian ve…
This book looks at some phenomena within the grammar of the noun phrase in a group of traditional North Germanic varieties mainly spoken in Sweden and Finland, usually seen as Swedish dialects, although the differences between them and Standard Swedish are often larger than between the latter and the other standard Mainland Scandinavian languages. In addition to being conservative in many respe…
- Edition
- Vol. 6.0
- ISBN/ISSN
- 9783944675558
- Collation
- -
- Series Title
- -
- Call Number
- 400 DAH g
A Grammar of Tariana, from Northwest Amazonia
This is a comprehensive reference grammar of Tariana, an endangered Arawak language from a remote region in the northwest Amazonian jungle. Its speakers traditionally marry someone speaking a different language, and as a result most people are fluent in five or six languages. Because of this rampant multilingualism, Tariana combines a number of features inherited from the protolanguage with pro…
- Edition
- -
- ISBN/ISSN
- 9781107050952
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography