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
- XVIII, 468
- 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
- XIV, 249
- Series Title
- -
- Call Number
- -
Vehicular ad hoc Networks Standards, Solutions, and Research
This book presents vehicular ad-hoc networks (VANETs) from the their onset, gradually going into technical details, providing a clear understanding of both theoretical foundations and more practical investigation. The editors gathered top-ranking authors to provide comprehensiveness and timely content; the invited authors were carefully selected from a list of who’s who in the respective fiel…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15497-8
- Collation
- XII, 544
- Series Title
- -
- Call Number
- -
Vehicular Air Pollution and Urban Sustainability An Assessment from Central …
This Brief examines the impact of the Oxford Transport Strategy in central Oxford as a means of assessing the effect of reduced traffic congestion in the city centre on its sustainability. Air pollution (from vehicular traffic) has been monitored at three locations in central Oxford on the High Street, St Aldates and St Ebbes (background monitoring station). There is a further monitoring site s…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20657-8
- Collation
- VII, 68
- Series Title
- -
- Call Number
- -
Valuing the Innovation Potentials of Firms What Theory Suggests, Practitione…
Jan Buchmann focuses on the valuation of a firm’s innovation potential based on that firm’s position in its lifecycle. Compared to existing research, the author does not center his research exclusively on mathematical valuation methodologies. Instead, the author compares collected valuation input data, data interpretation approaches, and valuation methodologies suggested by theory with the …
- Edition
- -
- ISBN/ISSN
- 978-3-658-09290-0
- Collation
- 9 b/w illustrations
- Series Title
- -
- Call Number
- -
Valuing Banks A New Corporate Finance Approach
This book aims to overcome the limitations the variations in bank-specifics impose by providing a bank-specific valuation theoretical framework and a new asset-side model. The book includes also a constructive comparison of equity and asset side methods. The authors present a novel framework entitled, the “Asset Mark-down Model”. This method incorporates an Adjusted Present Value model, whi…
- Edition
- -
- ISBN/ISSN
- 978-1-137-56142-8
- Collation
- 19 b/w illustrations
- Series Title
- -
- Call Number
- -
Value Chain Marketing A Marketing Strategy to Overcome Immediate Customer In…
Value Chain Marketing (VCM) is a promising strategy to overcome immediate customers’ innovation resistance. By pursuing VCM, material suppliers enlarge their target group beyond their immediate customers and address their downstream customers as well. Treading on relatively unexplored grounds, this book explores the relevance of VCM and comprehends its process; identifies the critical fact…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11376-0
- Collation
- 91 b/w illustrations
- Series Title
- -
- Call Number
- -
Distribution planning and control : managing in the era of supply chain manag…
This third edition provides operations management students, academics, and professionals with a fully up-to-date, practical and comprehensive sourcebook in the science of distribution and Supply Chain Management (SCM). Its objective is not only to discover the roots and detail the techniques of supply and delivery channel networks, but also to explore the impact of the merger of SCM concepts an…
- Edition
- -
- ISBN/ISSN
- 9781489975782
- Collation
- xxv, 915 pages
- Series Title
- -
- Call Number
- 658.4
Using Scribe Insight Developing Integrations and Migrations using the Scribe…
Understand how to utilize the workbench, console, adapters, publisher, and other components in Scribe to ensure you have a rapid development toolkit that will drastically reduce your workload and timeline. In Using Scribe Insight, you’ll learn to build your integrations and migrations with the minimal amount of effort, what shortcuts can be taken to simplify and reduce your labor, and what te…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1624-8
- Collation
- XX, 122
- Series Title
- -
- Call Number
- -
Handbook of Operations Research in Agriculture and the Agri-Food Industry
The scope of this book is Operations Research methods in Agriculture and a thorough discussion of derived applications in the Agri-food industry. The book summarizes current research and practice in this area and illustrates the development of useful approaches to deal with actual problems arising in the agriculture sector and the agri-food industry. This book is intended to collect in one v…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2482-0
- Collation
- XIV, 464
- Series Title
- -
- Call Number
- 658 HAN
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography