Libros de Informática práctica, página 15 de 347

Mediante Solidworks y LabVIEW se pueden dise ar m quinas virtuales en el computador, simular su comportamiento, realizar pruebas de esfuerzos, de tal forma de solucionar problemas en la etapa de dise o en lugar de gastar dinero luego que el equipo ya se ha construido. "Rob tica industrial prototipo y sistemas de visi n artificial," muestra un ejemplo del proceso de dise o de m quinas virtuales, y su posterior construcci n y control, usando plataformas de control avanzadas basadas en LabVIEW de National Instruments. Se abordan aspectos b sicos a considerar cuando se planea construir un robot, as como tambi n la teor a base de visi n por computador, la cual proporciona informaci n del entorno al robot prototipo.

Stinson, Douglas Stinson, DouglasTHE LEGACY- First introduced in 1995, Cryptography: Theory and Practice garnered enormous praise and popularity, and soon became the standard textbook for cryptography courses around the world. The second edition was equally embraced, and enjoys status as a perennial bestseller. Now in its third edition, this authoritative text continues to provide a solid foundation for future breakthroughs in cryptography. WHY A THIRD EDITION? The art and science of cryptography has been evolving for thousands of years. Now, with unprecedented amounts of information circling the globe, we must be prepared to face new threats and employ new encryption schemes on an ongoing basis. This edition updates relevant chapters with the latest advances and includes seven additional chapters covering: · Pseudorandom bit generation in cryptography · Entity authentication, including schemes built from primitives and special purpose "zero-knowledge" schemes · Key establishment including key distribution and protocols for key agreement, both with a greater emphasis on security models and proofs · Public key infrastructure, including identity-based cryptography · Secret sharing schemes · Multicast security, including broadcast encryption and copyright protection THE RESULT- Providing mathematical background in a "just-in-time" fashion, informal descriptions of cryptosystems along with more precise pseudocode, and a host of numerical examples and exercises, Cryptography: Theory and Practice, Third Edition offers comprehensive, in-depth treatment of the methods and protocols that are vital to safeguarding the mind-boggling amount of information circulating around theworld.

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products.There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness.The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.