|
|
|
|
Broadband Communications, Networks, and Systems: 9th International EAI Conference, Broadnets 2018, Faro, Portugal, September 19–20, 2018, Proceedings ... and Telecommunications Engineering, 263)
This book constitutes the refereed post-conference proceedings of the 9th International Conference on Broadband Communications, Networks, and Systems, Broadnets 2018, which took place in Faro, Portugal, in September 2018.
The 30 revised full and 16 workshop papers were carefully reviewed and selected from 68 ... | | Biosignatures for Astrobiology (Advances in Astrobiology and Biogeophysics)
This book aims at providing a brief but broad overview of biosignatures. The topics addressed range from prebiotic signatures in extraterrestrial materials to the signatures characterising extant life as well as fossilised life, biosignatures related to space, and space flight instrumentation to detect biosignatures either in situ or from ... | | Encyclopedia of Big Data Technologies
The Encyclopedia of Big Data Technologies provides researchers, educators, students and industry professionals with a comprehensive authority over the most relevant Big Data Technology concepts. With over 300 articles written by worldwide subject matter experts from both industry and academia, the encyclopedia covers topics... |
|
Information and Communication Technologies in Education, Research, and Industrial Applications: 14th International Conference, ICTERI 2018, Kyiv, ... in Computer and Information Science, 1007)
This book contains extended versions of the best papers presented at the 14th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2018, held in Kyiv, Ukraine, in May 2018.
The 14 revised full papers included in this volume along with one ... | | | | Formal Verification of Floating-Point Hardware Design
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has... |
|
Result Page: 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 |