Filter by
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
- -
- 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
- -
- Series Title
- -
- Call Number
- -
Venture Capital and the Inventive Process VC Funds for Ideas-Led Growth
The inventive process is the most important driver of economic growth. Venture capital (VC) funds have contributed a small, but critical, part to the inventive process. VC funds boost the inventive process by selecting a small number of radical ideas out a large flow of ideas and invest in their testing, development and commercialization. They bring together capital from general savings, manage…
- Edition
- -
- ISBN/ISSN
- 978-1-137-53660-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Venom Genomics and Proteomics
This volume provides the reader with recent advances in the fields of molecular toxinology, the biotechnological applications of venom toxins, and antivenom production. The content of the twenty chapters of Venom Genomics and Proteomics illustrates not only the enormous progress made since the implementation of omics technologies in the field of toxinology, but one also realizes the road still …
- Edition
- -
- ISBN/ISSN
- 978-94-007-6416-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Kastom, property and ideology : Land transformations in Melanesia
The relationship between customary land tenure and ‘modern’ forms of landed property has been a major political issue in the ‘Spearhead’ states of Melanesia since the late colonial period, and is even more pressing today, as the region is subject to its own version of what is described in the international literature as a new ‘land rush’ or ‘land grab’ in developing countries. T…
- Edition
- -
- ISBN/ISSN
- 9781760461065
- Collation
- 434p
- Series Title
- -
- Call Number
- 333.73130995
Political Life Writing in the Pacific : Reflections on Practice
This book aims to reflect on the experiential side of writing political lives in the Pacific region. The collection touches on aspects of the life writing art that are particularly pertinent to political figures: public perception and ideology; identifying important political successes and policy initiatives; grappling with issues like corruption and age-old political science questions about le…
- Edition
- -
- ISBN/ISSN
- 9781925022612
- Collation
- 180p
- Series Title
- -
- Call Number
- 324.2092
Politics of preferential development : Trans-global study of affirmative acti…
The book is a critical examination of affirmative action, a form of preferential development often used to address the situation of disadvantaged groups. It uses a trans-global approach, as opposed to the comparative approach, to examine the relationship between affirmative action, ethnic conflict and the role of the state in Fiji, Malaysia and South Africa. While affirmative action has noble g…
- Edition
- -
- ISBN/ISSN
- 9781925021035
- Collation
- 282p
- Series Title
- -
- Call Number
- 305.8
The Role of Community-Mindedness in the Self-Regulation of Drug Cultures : a …
This book analyzes heroin users and the drug subculture on the Shetland Islands, an area known for its geographical remoteness, rural character and relative wealth. It fills the scientific gap created by the conventional research in heroin research, which is usually conducted in urban areas and relies on treatment and prison populations. Based on qualitative, in-depth interviews with twenty-fou…
- Edition
- -
- ISBN/ISSN
- 9789400738614
- Collation
- 379p
- Series Title
- -
- Call Number
- 362.293
Modernisation in Russia since 1900
"Modernisation has been a constant theme in Russian history at least since Peter the Great launched a series of initiatives aimed at closing the economic, technical and cultural gap between Russia and the more ‘advanced’ countries of Europe. All of the leaders of the Soviet Union and post-Soviet Russia have been intensely aware of this gap, and have pursued a number of strategies, some more…
- Edition
- -
- ISBN/ISSN
- 9789518580211
- Collation
- 332 halaman
- Series Title
- -
- Call Number
- 900 KAN m
The Tools of Owatatsumi : Japan’s Ocean Surveillance and Coastal Defence Ca…
Japan is quintessentially by geography a maritime country. Maritime surveillance capabilities – underwater, shore-based and airborne – are critical to its national defence posture. This book describes and assesses these capabilities, with particular respect to the underwater segment, about which there is little strategic analysis in publicly available literature. Since the end of the Col…
- Edition
- -
- ISBN/ISSN
- 9781925022278
- Collation
- 162p
- Series Title
- -
- Call Number
- 621.38928
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography