Electronic Books

Total Books: 4661 - 4680 /4802

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

In spite of the economic role of oil, Venezuela has started developing hydroelectricity since the 1950s. At present, the ...

Based on economic and managerial theories, Maik Kleinschmidt studies the relationship between venture capital, corporate ...

This volume brings together the invited papers and selected participants’ contributions presented at the COST 2102 International ...

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

The book feature current research from the communities of verification, program certification, model checking, debugging ...

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

This book provides the first critical history of the controversy over whether to cull wild badgers to control the spread ...

This book offers a structured overview of tax transfer prices, which have become one of the most important tax challenges ...

This volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...

Provides step-by-step guidance for creating and activating effective video marketing and measuring its success Shows how ...

Despite improvements in service delivery, patient violence remains a major problem at mental health facilities. The book ...

Virotherapy is a treatment using biotechnology to convert viruses into therapeutic agents by reprogramming viruses to treat ...

Virtual Leadership offers practical strategies and proven methods for getting the best out of hybrid or remote work and teams. ...

This book represents a contribution to the consolidation of the already vast amount of empirical knowledge and practical ...

This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...

Total Books: 4661 - 4680 /4802