Filter by
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
- Edition
- -
- ISBN/ISSN
- 9783319194585
- Collation
- XVI, 213 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Theory and Practice of Model Transformations 8th International Conference, I…
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21155-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
One Hundred Prisoners and a Light Bulb
A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no f…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16693-3
- Collation
- IX, 188
- Series Title
- -
- Call Number
- -
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography