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
- -
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 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
- -
Vector Control of Three-Phase AC Machines System Development in the Practice
This book addresses the vector control of three-phase AC machines, in particular induction motors with squirrel-cage rotors (IM), permanent magnet synchronous motors (PMSM) and doubly-fed induction machines (DFIM), from a practical design and development perspective. The main focus is on the application of IM and PMSM in electrical drive systems, where field-orientated control has been successf…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46915-6
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
- Series Title
- -
- Call Number
- -
Statistical Physics of Spin Glasses and Information Processing: An Introduction
Spin glasses are magnetic materials with strong disorder. Statistical mechanics has been a powerful tool to theoretically analyse various unique properties of spin glasses. A number of new analytical techniques have been developed to establish a theory of spin glasses. Surprisingly, these techniques have offered new tools and viewpoints for the understanding of information processing problems, …
- Edition
- Ed. 1
- ISBN/ISSN
- 9780198509400
- Collation
- 256
- Series Title
- International Series of Monographs on Physics
- Call Number
- 006.32 NIS s
Unsupervised Learning Algorithms
This book summarizes the state-of-the-art in unsupervised learning. The contributors discuss how with the proliferation of massive amounts of unlabeled data, unsupervised learning algorithms, which can automatically discover interesting and useful patterns in such data, have gained popularity among researchers and practitioners. The authors outline how these algorithms have found numerous appli…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24211-8
- Collation
- -
- Series Title
- -
- Call Number
- -
The Proceedings of the Third International Conference on Communications, Sign…
The Proceedings of The Third International Conference on Communications, Signal Processing and Systems provides the state-of-art developments of Communications, Signal Processing and Systems. The conference covered such topics as wireless communications, networks, systems, signal processing for communications. This book is a collection of contributions coming out of Third International Conferen…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-08991-1
- Collation
- Computer
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 004.5
Social and Intellectual Networking in the Early Middle Ages
Social and Intellectual Networking in the Early Middle Ages seeks to expand our understanding of early medieval connectivity by interrogating social and intellectual collaborations, competitions, and communications among persons, places, things, and ideas in the European and Mediterranean West during the second half of the first millennium CE. In so doing, its contributors explore the existence…
- Edition
- -
- ISBN/ISSN
- 9781685710552
- Collation
- -
- Series Title
- -
- Call Number
- -
Understanding Network Hacks Attack and Defense with Python
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44437-5
- 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