Filter by
Optimization Multicriteria Scheduling Criteria through Analytical Hierarchy P…
- Edition
- -
- ISBN/ISSN
- 978-1-83969-367-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Stability Analysis of Circular Tunnels in Cohesive-Frictional Soil Using the …
- Edition
- -
- ISBN/ISSN
- 978-1-83969-373-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Intelligent Sensor Networks: The Integration of Sensor Networks, Signal Proce…
Although governments worldwide have invested significantly in intelligent sensor network research and applications, few books cover intelligent sensor networks from a machine learning and signal processing perspective. Filling this void, Intelligent Sensor Networks: The Integration of Sensor Networks, Signal Processing and Machine Learning focuses on the close integration of sensing, networking…
- Edition
- Ed. 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 621.3 INT i
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
- -
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
- -
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
- -
- Series Title
- -
- Call Number
- -
Vehicular Engine Design
This book provides an introduction to the design and mechanical development of reciprocating piston engines for vehicular applications. Beginning from the determination of required displacement and performance, coverage moves into engine configuration and architecture. Critical layout dimensions and design trade-offs are then presented for pistons, crankshafts, engine blocks, camshafts, valves,…
- Edition
- -
- ISBN/ISSN
- 978-3-7091-1859-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Vehicular Ad-hoc Networks for Smart Cities First International Workshop, 2014
Vehicular communication is a key technology in intelligent transportation systems. For many years now, the academic and industrial research communities have been investigating these communications in order to improve efficiency and safety of future transportation. Vehicular networking offers a wide variety of applications, including safety applications as well as infotainment applications. T…
- Edition
- -
- ISBN/ISSN
- 978-981-287-158-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book
- Edition
- -
- ISBN/ISSN
- 978-3-319-10623-6
- Collation
- -
- Series Title
- -
- Call Number
- -
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography