Teaching the science and the technology of programming as a unified discipline that shows the deep relationships between programming paradigms. This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language—a simple core language that consists of a small number of programmer-significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.

This book introduces multiple criteria and multiple constraint levels linear programming (MC2LP), which is an extension of linear programming (LP) and multiple criteria linear programming (MCLP). In the last decade, the author and a group of researchers from the USA, China, Korea, Germany, and Hungary have been working on the theory and applications of MC2LP problems. This volume integrates their main research results ranging from theoretical bases to broad areas of real world applications. The theoretical bases include the formulation of MC2LP; integer MC2LP and MC2 transportation model; fuzzy MC2LP and fuzzy duality of MC2LP; optimal system designs and contingency plans; MC2 decision support system; and MC2 computer software development. The application areas are accounting, management information systems, production planning, and telecommunications management. The book serves as a seminar text for both undergraduates and graduates who have a linear algebra or equivalent background. For practitioners, it will help in handling LP type problems in multiple decision making environment.

Integrating theory and practices of supply chain management, this book incorporates more than 15 years of supply chain and operations management research and industry consulting experience to both government and industry firms.The coverage focuses on how to build a competitive supply chain using viable management strategies, operational models, decision-making techniques, and information technology. It includes a core presentation on supply chain management and new initiatives such as e-commerce, collaborative planning, forecasting, and replenishment (CPFR), data mining, knowledge management, and business intelligence.

Archaeological Concepts, Techniques, and Terminology for American Prehistory Lithic Technology by Wm Jack Hranicky is a 600-page comprehensive publication that encompasses the study of American prehistoric stone tools and implements. It is a look-up volume for studying the material culture of prehistoric people and using its concepts and methods for researching this aspect of archaeology. There are over 3000 entries which are defined and illustrated. It also has an extensive set of references and an overview for the study of stone tools.

For the last two decades, IS researchers have conducted empirical studies leading to better understanding of the impact of Systems Analysis and Design methods in business, managerial, and cultural contexts. SA & D research has established a balanced focus not only on technical issues, but also on organizational and social issues in the information society.This volume presents the very latest, state-of-the-art research by well-known figures in the field. The chapters are grouped into three categories: techniques, methodologies, and approaches.

The hypermedia authoring process has been vividly described in a special issue of the Economist as a combination of writing a book, a play, a film, and a radio or television show: A hypermedia document combines all these elements and adds some of its own. The author' s first job is to structure and explain all of the infor mation. The author then must distill the information into brief, descriptive nodes. Each node has to contain a Iist of the ingredients, and instructions on how the ingredients are mixed together to the greatest advantage. The structure of the material provided is translated into an architectural metaphor of some kind; much of the designer' s work is the creation of this imaginary space. Then, the designers must chart the details of what to animate, what to film, who to inter view, and how to arrange the information in the space tobe built [Eco95a]. This book presents guidelines, tools, and techniques for prospective authors such that they can design better hypermedia documents and applications. lt surveys the different techniques used to organize, search, and structure infor mation in a large information system. It then describes the algorithms used to locate, reorganize, and link data to enable navigation and retrieval. It Iooks in detail at the creation and presentation of certain types of visual information, namely algorithm animations. It introduces new mechanisms for editing audio and video data streams.