Computer Engineering

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The...

Master Puppet for configuration management of your systems in an enterprise deployment About This Book * This book is an advanced guide to using and deploying Puppet 4 in your organization with a special focus on issues faced in larger enterprise...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783038979180Author Donald G BaileyFormat PaperbackPage Count 204Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 170g

This book constitutes the refereed proceedings of the 7th International Conference on Pervasive Computing, Pervasive 2009, held in Nara, Japan, in May 2009. The 20 revised full papers and 7 revised short papers presented were carefully reviewed and...

Leverage Puppet 5 for medium to large scale enterprise deployment.Key FeaturesUse and deploy Puppet 5, irrespective the size of your organizationScaling, performance improvements, and managing multiple developer requestsTroubleshooting techniques, tips...

Telepresence: Actual and Virtual explores the history of telepresence from the 1948 developments of master–slave manipulation, through to current telepresence technology used in space, undersea, surgery and telemedicine, operations in nuclear and other...

This book constitutes the refereed proceedings of the 5th European Semantic Web Conference, ESWC 2008, held in Tenerife, Canary Islands, Spain, in June 2008. The 51 revised full papers presented together with 3 invited talks and 25 system description...

This book constitutes the refereed proceedings of the 4th International Conference on Pervasive Computing, PERVASIVE 2006, held in Dublin, Ireland, in May 2006. The 24 revised full papers presented here are organized in topical sections on activity...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789389944105Author Dr Ashwini C Mrs BokhareFormat PaperbackPage Count 106Imprint Nirali PrakhashanPublisher Nirali PrakhashanWeight(grams) 227g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639034172Author Javad LavaeiFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 286g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639050639Author Shahin MaghsoudiFormat PaperbackPage Count 152Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams)...

The "Fifth International Conference on Simulation of Semiconductor Devices and Processes" (SISDEP 93) continues a series of conferences which was initiated in 1984 by K. Board and D. R. J. Owen at the University College of Wales, Swansea, where...

The 2nd International Conference on Product Focused Software Process - provement(PROFES2000)continuedthesuccessofthePROFES'99conference. It was organized in Oulu, Finland, June 20-22, 2000. The PROFES conference has its roots in the PROFES Esprit project...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639087246Author Rajani Shankar SadasivamFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 299g

Swarm intelligence algorithms are a form of nature-based optimization algorithms. Their main inspiration is the cooperative behavior of animals within specific communities. This can be described as simple behaviors of individuals along with the...

Hybrid Simulation deals with a rapidly evolving technology combining computer simulation (typically finite element) and physical laboratory testing of two complementary substructures. It is a cost effective alternative to shaking table test, and allows...

VANET (vehicular ad hoc network) is a subgroup of MANET (mobile ad hoc network). It enables communication among vehicles on the road and between related infrastructures. This book addresses the basic elements of VANET along with components involved in...

In modern healthcare, various medical modalities play an important role in improving the diagnostic performance in healthcare systems for various applications, such as prosthesis design, surgical implant design, diagnosis and prognosis, and detection of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530002392Author Iztok KorenFormat HardbackPage Count 86Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams) 494g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530002385Author Iztok KorenFormat PaperbackPage Count 86Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams) 222g

This book serves both as an introduction to computer architecture and as a guide to using a hardware description language (HDL) to design, model and simulate real digital systems. The book starts with an introduction to Verilog - the HDL chosen for the...

This textbook provides a clear and concise introduction to computer architecture and implementation. Two important themes are interwoven throughout the book. The first is an overview of the major concepts and design philosophies of computer architecture...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530004754Author Yang HuFormat HardbackPage Count 138Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams) 612g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530004747Author Yang HuFormat PaperbackPage Count 138Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams) 336g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530004990Author Rafi AhmedFormat HardbackPage Count 138Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams) 612g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530004983Author Rafi AhmedFormat PaperbackPage Count 138Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams) 336g

This book serves both as an introduction to computer architecture and as a guide to using a hardware description language (HDL) to design, model and simulate real digital systems. The book starts with an introduction to Verilog - the HDL chosen for the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530003351Author Andrew KalmanFormat HardbackPage Count 174Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams) 694g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780530003344Author Andrew KalmanFormat PaperbackPage Count 174Imprint Dissertation Discovery CompanyPublisher Dissertation Discovery CompanyWeight(grams)...

Device testing represents the single largest manufacturing expense in the semiconductor industry, costing over $40 billion a year. The most comprehensive and wide ranging book of its kind, Testing of Digital Systems covers everything you need to know...

This textbook provides a clear and concise introduction to computer architecture and implementation. Two important themes are interwoven throughout the book. The first is an overview of the major concepts and design philosophies of computer architecture...

Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan...

Easier to install and reconfigure than cabled networks, the advantages of wireless are increasingly obvious as installation costs continue to decrease. This is a single-source reference on the practical aspects of wireless messaging and data networking...

Model order reduction (MOR) techniques reduce the complexity of VLSI designs, paving the way to higher operating speeds and smaller feature sizes. This book presents a systematic introduction to, and treatment of, the key MOR methods employed in general...

We are very pleased to introduce Open Source Development, Communities and Quality. The International Conference on Open Source Systems has come to its fourth edition - OSS 2008. Now, Free, Libre, and Open Source software is by all means now one of the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780792391265Author Donald E. ThomasFormat HardbackPage Count 240Imprint Kluwer Academic PublishersPublisher Kluwer Academic Publishers

Relationships abound in the library and information science (LIS) world. Those relationships may be social in nature, as, for instance, when we deal with human relationships among library personnel or relationships (i. e. , "public relations") between an...

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780755214822Author Hugh McGregor RossFormat PaperbackPage Count 214Imprint New Generation PublishingPublisher New Generation PublishingWeight(grams)...

The Apple Macintosh Encyclopedia provides easily accessible, brief and understandable information on the topics that you are most likely to have questions about. We have carefully digested the manuals, books, magazine articles, and other information...