12,556円 Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods,...

10,569円 Digital controllers are part of nearly all modern personal, industrial, and transportation systems. Every senior or graduate student of electrical, chemical or mechanical engineering should therefore be familiar with the basic theory of digital controllers. This new text covers the fundamental pr...

5,070円 FPGAs are central to electronic design! The engineers designing these devices are in need of essential information at a moment's notice. The Instant Access Series provides all the critical content that a computer design engineer needs in his or her daily work. This book provides an introduction t...

2,534円 "Clear, correct, and deep, this is a welcome addition to discussions of law and computing for anyone -- even lawyers!"-- Lawrence Lessig, Professor of Law at Stanford Law School and founder of the Stanford Center for Internet and Society If you work in information technology, intellectual propert...

14,600円 Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable computations. In general, a rel...

3,617円 Architects of buildings and architects of software have more in common than most people think. Both professions require attention to detail, and both practitioners will see their work collapse around them if they make too many mistakes. It's impossible to imagine a world in which buildings get bu...

4,642円 A user guide (written in Chinese) and training manual written for Project Management Professionals who wish to learn how to plan and control projects in an established Primavera Enterprise environment with or without Resources and Roles. This book is an update of the authors Primavera P6 Version ...

827円 This book is for readers of IT Fields. Key features of this book include: Used systematic approach throughout the book Programming advances in C without requiring prior knowledge in C language Simple language has been adopted to make the topics easy and clear to the readers This book covers virtu...

5,282円 The exponential explosion of images and videos concerns everybody's common life, since this media is now present everywhere and in all human activities. Scientists, artists and engineers, in any field, need to be aware of the basic mechanisms that allow them to understand how images are essential...

562円 "Raspberry Pi Programming Guide" is a text that gives the reader a bit of insight into this form of technology. It is European based and is just making a debut in North America so many are curious about it and what exactly this technology can do. The aim that the author has with this text is to h...

562円 Understanding the Basics of Raspberry Pib is a text written by a very enthusiastic author that loves technology and wants to share it with as many people as he possibly can. Though he is aware that almost everyone has some sort of computer or Smartphone he is aware that there are many other thing...

6,868円 Learn how to use PTC® Mathcad Prime® 3.0, one of the world's leading tools for technical computing, in the context of engineering, science, and math applications. Quickly harness the power of PTC Mathcad Prime 3.0 to solve both simple and complex problems. Essential PTC® Mathcad Prime® 3.0 is per...