Learn IT - Books tags formal

Object Thinking

Microsoft Press, 2004

In Object Thinking, esteemed object technologist David West contends that the mindset makes the programmer—not the tools and techniques. Delving into the history, philosophy, and even politics of object-oriented programming. West reveals how the best programmers rely on analysis and conceptualization—on...

Modelling and Reasoning with Vague Concepts

Springer, 2006

Vagueness is central to the flexibility and robustness of natural language descriptions. Vague concepts are robust to the imprecision of our perceptions, while still allowing us to convey useful, and sometimes vital, information. The study of vagueness in Artificial Intelligence (AI) is therefore motivated by the desire to incorporate this...

ASP Made Simple (Made Simple Programming)

Made Simple, 2003

ASP Made Simple provides a brief introduction to ASP for the person who favours self teaching and/or does not have expensive computing facilities to learn on. The book will demonstrate how the principles of ASP can be learned with an ordinary PC running Personal Web Server, MS Access and a general text editor like Notepad.

After working through...

Curves and Singularities

Cambridge University Press, 1985

The object of this book is to introduce to a new generation of students an area of mathematics that has received a tremendous impetus during the last twenty years or so from developments in singularity theory.

The differential geometry of curves, families of curves and surfaces in Euclidean space has fascinated mathematicians and users...

101 Boardroom Problems and How to Solve Them

AMACOM, 2008

Before becoming a consultant on meetings and effective decision making, I was employed as an engineer. My motto then was: Silence is golden. Keeping quiet in meetings was safe and risk-free, and rarely did anyone solicit my ideas anyway. Had I shared my input, however, it might have improved the quality of my team’s decisions and reduced its...

Operating System Concepts with Java

John Wiley & Sons, 2009

Operating systems are an essential part of any computer system. Similarly, a course on operating systems is an essential part of any computer-science education. This field is undergoing rapid change, as computers are now prevalent in virtually every application, from games for children through the most sophisticated planning...

Probability and Schrodinger's Mechanics

World Scientific Publishing, 2003

The presentation and interpretation of (non-relativistic) quantum mechanics is a very well-worked area of study; there have to be very good reasons for adding to the literature on this subject.

My reasons are (obviously) that I am far from satisfied with much of the published work and find difficulties with some points, in...

International Development Assistance and the BRICS (Governing China in the 21st Century)

Palgrave Macmillan, 2019

This book aims to bring together a series of analyses on international development assistance in the BRICS, the group of countries that includes Brazil, Russia, India, China and South Africa. The BRICS states comprise approximately 3 billion people (~40% of the World’s population) and in terms of GDP account for 16.8 trillion...

Principles of Model Checking

MIT Press, 2008

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...

Parallel Algorithm Derivation and Program Transformation

Springer, 1993

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little...

Foundations of Computing

Thomson Delmar Learning, 1997

It may sound surprising that in computing, a field which develops so fast that the future often becomes the past without having been the present, there is nothing more stable and worthwhile learning than its foundations.

It may sound less surprising that in a field with such a revolutionary methodological impact on all sciences and...

GeoSpatial Semantics: 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011

Springer, 2011

The fourth edition of the International Conference on Geospatial Semantics (GeoS 2011) was held in Brest, France, during May 12–13, 2011.

Geospatial semantics (GEOS) is an emerging research area in the domain of geographic information science. It aims at exploring strategies, computational methods, and tools to support...

Result Page: 59 58 57 56 55 54 53 52 51 50