Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

Buy
This book is the result of an evolutionary process which took place over a number of years. The contents of this book are based on my seminar for experienced software developers, which I instruct internationally, andon courses which I have taught as an external lecturer in the Informatics Department of the Johann Wolfgang Goethe University in Frankfurt/Main, Germany. These are based, in trun, on my own experience applying this material in commercial software development practice.

The questions posed by participants at my seminar and students have influenced the organizaton and structure of this book sugnificantly. Also the skepticism about the practical applicability of this material sometimes expresed by experinced software developers and their managers has affected my choices of the content of this work and its presentation.
(HTML tags aren't allowed.)

Advances in Visual Computing: 6th International Symposium, ISVC 2010, Part I
Advances in Visual Computing: 6th International Symposium, ISVC 2010, Part I

It is with great pleasure that we present the proceedings of the 6th International, Symposium on Visual Computing (ISVC 2010), which was held in Las Vegas, Nevada. ISVC provides a common umbrella for the four main areas of visual computing including vision, graphics, visualization, and virtual reality.

The goal is to provide a...

Hands-on with ASP.NET MVC Covering MVC 6
Hands-on with ASP.NET MVC Covering MVC 6

MVC (Model-View-Controller) is the popular Microsoft technology which enables you to build dynamic, data-driven, mobile websites, TDD site. Hands-On with ASP.NET MVC is not only written for those who are going to have affair with MVC for the 1st time, rather it is written in such a way that even experienced professional will love reading this...

Magnetic Communications: From Theory to Practice
Magnetic Communications: From Theory to Practice

This book covers comprehensively the theories and practical design of magnetic communications. It emphasizes the differences between it and RF communications. It first provides the models and signal propagation principles of magnetic communication systems. Then it describes the hardware architecture of the system, including...


Administering VMware Site Recovery Manager 5.0 (VMware Press Technology)
Administering VMware Site Recovery Manager 5.0 (VMware Press Technology)

The Complete, Hands-On Guide to Installing and Configuring VMware Site Recovery Manager 5.0

 

Administering VMware Site Recovery Manager 5.0 is the complete, technical, hands-on guide to VMware Site Recovery Manager (SRM) 5.0...

Toward Artificial Sapience: Principles and Methods for Wise Systems
Toward Artificial Sapience: Principles and Methods for Wise Systems
The current attempt to emulate human sapience (wisdom) by artificial means should be a step in the right direction beyond the Artificial/Computational Intelligence and Soft Computing disciplines, but is it warranted? Have humans achieved a level of modeling smart systems that justifies talking about sapience-wisdom?

This book presents...

Hands-On Java Deep Learning for Computer Vision: Implement machine learning and neural network methodologies to perform computer vision-related tasks
Hands-On Java Deep Learning for Computer Vision: Implement machine learning and neural network methodologies to perform computer vision-related tasks

Leverage the power of Java and deep learning to build production-grade Computer Vision applications

Key Features

  • Build real-world Computer Vision applications using the power of neural networks
  • Implement image classification, object detection, and face recognition
  • ...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy