Filter by
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Impact of Formal and Informal Institutions on Economic Growth A Case Stu…
Regarding the Arab region, GDP per capita virtually stagnated for more than 20 years from 1980. During the same period, GDP per capita in the world’s highly industrialized states further increased and the gap between the Middle East and North Africa (MENA) and the highly developed countries widened. However, the differences between Arab countries and the Western states exist not only economic…
- Edition
- -
- ISBN/ISSN
- 9783653008838
- Collation
- -
- Series Title
- -
- Call Number
- -
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, …
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23707-7
- Collation
- X, 211
- Series Title
- -
- Call Number
- 510
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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography