Filter by
Descriptional complexity of formal systems : 17th International Workshop, DCF…
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is conc…
- Edition
- -
- ISBN/ISSN
- 9783319192253
- Collation
- xii, 293 pages
- Series Title
- -
- Call Number
- 518.1
Design procedures for the use of composites in strengthening of reinforced co…
This book analyses the current knowledge on structural behaviour of RC elements and structures strengthened with composite materials (experimental, analytical and numerical approaches for EBR and NSM), particularly in relation to the above topics, and the comparison of the predictions of the current available codes/recommendations/guidelines with selected experimental results. The book shows po…
- Edition
- -
- ISBN/ISSN
- 9789401773362
- Collation
- -
- Series Title
- -
- Call Number
- 666.893
Design science research : a method for science and technology advancement
Consolidating existing knowledge in Design Science, this book proposes a new research method to aid the exploration of design and problem solving within business, science and technology. It seeks to overcome a dichotomy that exists in the field between theory and practice to enable researches to find solutions to problems, rather than focusing on the explanation and exploration of the problems …
- Edition
- -
- ISBN/ISSN
- 9783319073736
- Collation
- xviii, 161 pages : illustrations ; 25 cm
- Series Title
- -
- Call Number
- 001.42
The Hsp60 Chaperonin
In this unique overview of the Hsp60 chaperonin, Peter Bross addresses molecular biologists, medical research scientists and individuals interested in molecular or general biology. First, Bross discusses the basics of the Hsp60 chaperonin in terms of its structure and the molecular mechanisms determining its function. Second, the author highlights the multiple roles of Hsp60 for cellular system…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26088-4
- Collation
- XV, 85,15 b/w illustrations, 4 illustrations in colour
- Series Title
- SpringerBriefs in Molecular Science
- Call Number
- -
The Introverted Presenter: Ten Steps for Preparing and Delivering Successful …
The introvert is a personality type that draws energy from the outside inward. According to standard personality testing assessments, most people are introverts and no group is more introverted than technical professionals. Introverts are congenitally programmed to recoil from the prospect of public speaking with fear and loathing, yet making presentations to expert and non-expert audiences i…
- Edition
- -
- ISBN/ISSN
- 978-1484210895
- Collation
- 113 pages
- Series Title
- The Introverted Presenter
- Call Number
- -
C++ Recipes : A Problem-Solution Approach
C++ Recipes: A Problem-Solution Approach is a handy code cookbook reference guide that cover the latest C++ 14 as well as some of the code templates available in the latest Standard Template Library (STL). In this handy reference, you'll find numbers, strings, dates, times, classes, exceptions, streams, flows, pointers and more. Also, you'll see various code samples, templates for C++ algori…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 699
C# 6.0 and the .NET 4.6 Framework
This new 7th edition of Pro C# 6.0 and the .NET 4.6 Platform has been completely revised and rewritten to reflect the latest changes to the C# language specification and new advances in the .NET Framework. You'll find new chapters covering all the important new features that make .NET 4.6 the most comprehensive release yet, including: A Refined ADO.NET Entity Framework Programming Model Num…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 699
Changing Land Use, Changing Livelihoods : Smallholders Today
his book brings together eleven works by scholars within and beyond geography, to argue the case for a continued engagement with smallholder agricultural studies. The research detailed is largely empirical and draws on a wide spectrum of mixed qualitative and quantitative methodologies. The case studies cover a range of geographic locations, including Brazil, Burkina Faso, South Africa, Botswan…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 630 CHA
The International Dimensions of Democratization in Egypt
This book purports to examine the international dimensions of the democratization process in Egypt in the post Cold War era; a theme which acquired significance at the academic and policy-oriented levels in light of the growing internationalization of reform arrangements in the Arab world in post 9/11 and the greater involvement of external powers in Arab politics following the Arab Spring upri…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16700-8
- Collation
- XVI, 179, 1 b/w illustrations, 6 illustrations in colour
- Series Title
- Hexagon Series on Human and Environmental Security and Peace
- Call Number
- -
The International Criminal Court and the End of Impunity in Kenya
The period immediately following Kenya's 2007 presidential election left a shocking trail of atrocities, with over 1,000 people dead and countless thousands left victimised and displaced. In response, the International Criminal Court began a series of investigations and trials, promising no impunity for even the highest ranking perpetrators. When the country's president and vice-president were …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-10729-5
- Collation
- XV, 267, 6 illustrations in colour
- Series Title
- Springer Series in Transitional Justice
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography