Filter by
Labour Markets in Low-Income Countries Challenges and Opportunities
Employment and job creation are key components in achieving economic growth and sustainable development, particularly in low-income countries. The growing size of the working-age population in many developing regions underscores the need to further strengthen labour market structures in the world’s poorest countries. Despite the importance of studying emerging labour markets, and investigatin…
- Edition
- -
- ISBN/ISSN
- 9780192897107
- Collation
- -
- Series Title
- -
- Call Number
- -
Designs for Research, Teaching and Learning : A Framework for Future Education
This book offers a coherent theoretical and multimodal perspective on research, teaching and learning in different non-formal, semi-formal, and formal learning environments. Drawing on examples across a range of different settings, the book provides a conceptual framework for research on learning in different environments. It provides conceptual models around learning design which act as a fram…
- Edition
- -
- ISBN/ISSN
- 9781000528855
- Collation
- 182 halaman
- Series Title
- -
- Call Number
- 370 DES
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
- -
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
- -
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 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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography