Filter by
Thornton's Elementary Arabic : A Grammar
This is the first volume in a series of four books, first published in 1905. The series treats Arabic grammar in a highly technical way and was written as an abridgment of Wright's Grammar, a foundational text. The book is divided into three sections: introduction to the alphabet, parts of speech, and syntax.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 400 THO t
Thornton's Arabic Series Volume II : Elementary Arabic, First Reading-Book
This is the second volume in a series of four books, first published in 1919. The series treats Arabic grammar in a highly technical way and was written to expand up the foundational Arabic text, Wright's Grammar. This volume of Elementary Arabic is divided into four sections of readings, including extract from the Qur'an, stories of warriors, hadith, and historical extracts. It ends with a glo…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 400 THO t
New Mathematical Cuneiform Texts
This monograph presents in great detail a large number of both unpublished and previously published Babylonian mathematical texts in the cuneiform script. It is a continuation of the work A Remarkable Collection of Babylonian Mathematical Texts (Springer 2007) written by Jöran Friberg, the leading expert on Babylonian mathematics. Focussing on the big picture, Friberg explores in this book …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-44596-0
- Collation
- XVII, 553
- Series Title
- -
- Call Number
- -
New Frontiers in Artificial Intelligence:JSAI-isAI 2014 Workshops, LENLS, JUR…
This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2014 Workshops LENLS, JURISIN, and GABA which took place on November 2014, in Japan. The 26 contributions in this volume were carefully reviewed and selected from 57 submissionsfrom the 3 workshops (LENLS11, JURISIN2014, and GABA2014). LENLS (Logic and Engineering of Natural Language Semantics) is an an…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-48118-9
- Collation
- XIII, 357
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Developments in language theory : 19th International Conference, DLT 2015, Li…
This book constitutes the proceedings of the 19th International Conference on Developments in Language Theory, DLT 2015, held in Liverpool, UK. The 31 papers presented together with 5 invited talks were carefully reviewed and selected from 54 submissions. Its scope is very general and includes, among others, the following topics and areas: combinatorial and algebraic properties of words and lan…
- Edition
- -
- ISBN/ISSN
- 9783319215006
- Collation
- xxii, 440 pages
- Series Title
- -
- Call Number
- 511.3
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography