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
- -
Innovation on Education and Social Sciences: Proceedings of the International…
After a year of a global Covid-19 pandemic, still, we have more questions than answers to the future of education and our social life. It is more important than ever to follow the developments closely in the coming period, pay attention to critical concerns such as inequality, as well as positive signs of transformation and innovation in all aspects of the world of teaching and learning. Expect…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781000581607, 9781032207537
- Collation
- 254
- Series Title
- -
- Call Number
- 624 INN i
Philosophy of Technology after the Empirical Turn
This volume features 16 essays on the philosophy of technology that discuss its identity, its position in philosophy in general, and the role of empirical studies in philosophical analyses of engineering ethics and engineering practices. This volume is published about fifteen years after Peter Kroes and Anthonie Meijers published a collection of papers under the title The empirical turn in …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-33717-3
- Collation
- Filsafat
- Series Title
- Philosophy of Engineering and Technology
- Call Number
- 100
Hyper-lattice Algebraic Model for Data Warehousing
This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an alternative to lattice. The authors analyze some of the shortcomings of conventional lattice structure and propose a novel algebraic structure in the form of Hyper-lattice to overcome problems with lattice. They establish how Hyper-lattice supports dynamic insertion of elements in a partial order set with…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28042-4
- Collation
- X, 63
- Series Title
- -
- Call Number
- 621 SEN h
Highway Travel Time Estimation With Data Fusion
This monograph presents a simple, innovative approach for the measurement and short-term prediction of highway travel times based on the fusion of inductive loop detector and toll ticket data. The methodology is generic and not technologically captive, allowing it to be easily generalized for other equivalent types of data. The book shows how Bayesian analysis can be used to obtain fused estim…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48856-0
- Collation
- XVIII, 212
- Series Title
- -
- Call Number
- 621 MAR h
Intertwined Histories
How do we understand the boundaries of individual creatures? What are the systems of interdependency that bind all living creatures together? Plants were among the the first to colonize the planet. They created the soil and the atmosphere that made life possible for animals. They are some of the largest and oldest life forms on Earth. In spite of their primacy, Western cultures have traditional…
- Edition
- -
- ISBN/ISSN
- 9781773850917
- Collation
- -
- Series Title
- -
- Call Number
- -
Heterogeneous Vehicular Networks
This brief examines recent developments in the Heterogeneous Vehicular NETworks (HETVNETs), integrating cellular networks with Dedicated Short-Range Communication (DSRC) for meeting the communications requirements of the Intelligent Transport System (ITS)services. Along with a review of recent literature, a unified framework of the HetVNET is presented. The brief focuses on introducing efficien…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25620-7
- Collation
- XI, 82
- Series Title
- SpringerBriefs in Electrical and Computer Engineering
- Call Number
- 671 ZHE e
Heterogeneous Vehicular Networks
This brief examines recent developments in the Heterogeneous Vehicular NETworks (HETVNETs), integrating cellular networks with Dedicated Short-Range Communication (DSRC) for meeting the communications requirements of the Intelligent Transport System (ITS)services. Along with a review of recent literature, a unified framework of the HetVNET is presented. The brief focuses on introducing efficien…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25620-7
- Collation
- XI, 82
- Series Title
- -
- Call Number
- 621 ZHE h
A Handbook of Wireless Telegraphy Its Theory and Practice, for the Use of El…
James Erskine-Murray (1868–1927) was a Scots expert in wireless technology who studied under Lord Kelvin for six years at Glasgow University before arriving at Trinity College, Cambridge as a research student. He eventually became a telegraphy consultant and published this work in 1907. Its aim was to inform engineers, students, and radio operators about many aspects of a rapidly changing tec…
- Edition
- -
- ISBN/ISSN
- 9780511795411
- Collation
- -
- Series Title
- Cambridge Library Collection - Technology
- Call Number
- -
A Guide to Hands-on MEMS Design and Prototyping
Whether you are a student taking an introductory MEMS course or a practising engineer who needs to get up to speed quickly on MEMS design, this practical guide provides the hands-on experience needed to design, fabricate and test MEMS devices. You will learn how to use foundry multi-project fabrication processes for low-cost MEMS projects, as well as computer-aided design tools (layout, modelin…
- Edition
- Ed. 1
- ISBN/ISSN
- 9780511984662
- 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