Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Change Management for Semantic Web Services
Change Management for Semantic Web Services

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
Information Modeling for Internet Applications

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)
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa)

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
Making Sense of the Social World: Methods of Investigation

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
Natural Language Processing with Python
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)
Spatial Representation and Reasoning for Robot Mapping: A Shape-Based Approach (Springer Tracts in Advanced Robotics)

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
Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007
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
Applied Systems Theory

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...

Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods.  Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...

Fundamentals of Digital Television Transmission
Fundamentals of Digital Television Transmission
Many engineers familiar with analog television broadcast systems are now faced with designing, operating, and maintaining digital television systems. A major reason for this introductory book is to make the transition from analog to digital television broadcasting as painless as possible for these engineers. The emphasis is on radio-frequency (RF)...
Static Analysis of Software: The Abstract Interpretation (ISTE)
Static Analysis of Software: The Abstract Interpretation (ISTE)

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.

This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space,...

Encyclopedia of Genocide (2 Volumes)
Encyclopedia of Genocide (2 Volumes)

The Encyclopedia is designed in an innovative structure that combines four types of entries:

  • Traditional Entries, or basic encyclopedic summaries of the knowledge in a typical area or field of study;
  • Feature Entries, which include...
unlimited object storage image
Result Page: 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy