Learn IT - Books tags formal

Shut Up and Listen: The Truth about How to Communicate at Work

Kogan Page, 2004

We are much better communicators when we know more about ourselves, think about how and what we communicate and act according to the changes in our circumstance and environment. These are the principles this book is based on.

So, there are three main sections, starting with a short course in self-awareness so that you can find out...

Real-Time Systems: Scheduling, Analysis, and Verification

John Wiley & Sons, 2002

This text is based on two rich sources: (1) materials in lecture notes I taught to senior and graduate-level computer science and electrical engineering students at Rice University and at the University of Houston, and (2) my research in the area of timing analysis and verification of real-time systems since the late 1980s,...

Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006), Volume 150

IOS Press, 2006

Since ancient times, ontology, the analysis and categorisation of what exists, has been fundamental to philosophical enquiry. But, until recently, ontology has been seen as an abstract, purely theoretical discipline, far removed from the practical applications of science. However, with the increasing use of sophisticated computerised information...

Patterns in Network Architecture: A Return to Fundamentals

Prentice Hall, 2008

Groundbreaking Patterns for Building Simpler, More Powerful Networks

In Patterns in Network Architecture, pioneer John Day takes a unique approach to solving the problem of network architecture. Piercing the fog of history, he bridges the gap between our experience from the...

Change Management for Semantic Web Services

Springer, 2011

Software automates a wide variety of business processes in modern enterprises. Changes made to software are, in effect, changes made to the business processes themselves that govern and automate the internal and external operations of an organization.Without a proper disciplined approach to change management, enterprises lack a full...

Information Modeling for Internet Applications

Idea Group Publishing, 2002

Different kinds of objects containing data are found on the Internet, including structured (e.g., relational) databases, collections of documents, and search engines. On the one hand, creating, storing, manipulating, and retrieving Internet documents can benefit from techniques known from the databases and data modeling...

Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa)

Springer, 1983

The journal Computing has established a series of supplement volumes the fourth of which appears this year. Its purpose is to provide a coherent presentation of a new topic in a single volume. The previous subjects were Computer Arithmetic 1977, Fundamentals of Numerical Computation 1980, and Parallel Processes and Related Automata...

Making Sense of the Social World: Methods of Investigation

Sage Publications, 2019

Congratulations to Daniel F. Chambliss, winner of the ASA Distinguished Contribution to Teaching Prize for 2018.

The new Sixth Edition of Making Sense of the Social World continues to be an unusually accessible and student-friendly introduction to the variety of social research...

Natural Language Processing with Python

O'Reilly, 2009

This book offers a highly accessible introduction to Natural Language Processing, the field that underpins a variety of language technologies, ranging from predictive text and email filtering to automatic summarization and translation. With Natural Language Processing with Python, you'll learn how to write Python programs to work with large...

Spatial Representation and Reasoning for Robot Mapping: A Shape-Based Approach (Springer Tracts in Advanced Robotics)

Springer, 2008

This book demonstrates bene?ts of abstract and qualitative reasoning that have not received much attention in the context of autonomous robotics before. Bremen, Christian Freksa December 2007 Director of the SFB/TR 8 Spatial Cognition Preface This book addresses spatial representations and reasoning techniques for - bile robot mapping,...

Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007

Springer, 2008

This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007.

The 10 revised full papers presented together with 9 invited papers were carefully reviewed and selected from 29 submissions. The papers cover topics such as algebraic semantics on...

Applied Systems Theory

Springer, 2014

Offering an up-to-date account of systems theories and its applications, this book provides a different way of resolving problems and addressing challenges in a swift and practical way, without losing overview and not having a grip on the details. From this perspective, it offers a different way of thinking in order to incorporate different...

Result Page: 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32