Clojure Programming

An introduction to the mathematical theory of multistage decision processes, this text takes a "functional equation" approach to the discovery of optimum policies. The text examines existence and uni

Today truly useful and interactive graphics are available on affordable computers. While hardware progress has been impressive, widespread gains in software expertise has come more slowly. Information

This book explains in a clear and coherent manner how Unix works, how to understand existing Unix programs, and how to design and create new Unix programs. The book is organized by subsystem, each pre

This step-by-step tutorial teaches you all language features and explains their practical usage. Josuttis goes well beyond the basics, demonstrating how to combine templates with object-oriented progr

Do you need to develop flexible software that can be customized quickly? Do you need to add the power and efficiency of frameworks to your software? The ADAPTIVE Communication Environment (ACE) is an

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

A developer's guide to the Symbian OS communications architecture.The Symbian OS communications architecture is the cornerstone of Symbian OS - enabling the combination of voice communications, wirele

Barnaby describes how to use the new .NET technologies to build fast, scalable, and robust distributed applications.

Explains how to create web applications with active server pages .NET (ASP.NET). The guide covers the basic features of visual basic .NET (VB.NET), the .NET framework class library, managed components

The popular open source KDE desktop environment for Unix was built with Qt, a C++ class library for writing GUI applications that run on Unix, Linux, Windows 95/98, Windows 2000, and Windows NT platfo

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of ty

For programmers who prefer content to frills, this guide has succinct and straightforward information for putting Access to its full, individually tailored use.

This was the first cross-over book into the history of science written by an historian of economics. It shows how 'history of technology' can be integrated with the history of economic ideas. The analysis combines Cold War history with the history of postwar economics in America and later elsewhere, revealing that the Pax Americana had much to do with abstruse and formal doctrines such as linear programming and game theory. It links the literature on 'cyborg' to economics, an element missing in literature to date. The treatment further calls into question the idea that economics has been immune to postmodern currents, arguing that neoclassical economics has participated in the deconstruction of the integral 'self'. Finally, it argues for an alliance of computational and institutional themes, and challenges the widespread impression that there is nothing else besides American neoclassical economic theory left standing after the demise of Marxism.

This was the first cross-over book into the history of science written by an historian of economics. It shows how 'history of technology' can be integrated with the history of economic ideas. The analysis combines Cold War history with the history of postwar economics in America and later elsewhere, revealing that the Pax Americana had much to do with abstruse and formal doctrines such as linear programming and game theory. It links the literature on 'cyborg' to economics, an element missing in literature to date. The treatment further calls into question the idea that economics has been immune to postmodern currents, arguing that neoclassical economics has participated in the deconstruction of the integral 'self'. Finally, it argues for an alliance of computational and institutional themes, and challenges the widespread impression that there is nothing else besides American neoclassical economic theory left standing after the demise of Marxism.

Hardcore JFC is a comprehensive guide to the functionality and practical use of the Java Foundations Classes (JFC), a component library designed for the Java programming language and operating environment. It presents intermediate and advanced techniques in exploiting the power and flexibility of JFC and the Swing component set. The book describes the inner workings of Swing and how its design principles can be used to add tremendous value to Java applications. The important features of JFC components are investigated thoroughly with a focus on the comprehension of fundamentals and the pragmatic application of advanced techniques. Included are concrete illustrations of how to enhance the JFC architecture: leveraging the 'Model/View/Controller' paradigm, customizing and developing new components and techniques for creating 'look and feel' user interface classes. Explanations of design and development techniques are introduced through effective, well-constructed and reusable example code

Having worked as a platform libraries architect for Java since 1996, Bloch shares with programmers what he has learned about what works, what does not, and how to use the language and its libraries to

The rapid and widespread acceptance of shared-memory multiprocessor architectures has created a pressing demand for an efficient way to program these systems. At the same time, developers of technica

A guide to XP leads the developer, project manager, and team leader through the software development planning process, offering real world examples and tips for reacting to changing environments quick

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to sel

A comprehensive explanation of CGI for people who hold on to the dream of providing their own information servers on the Web. This edition has been completely rewritten to use the current techniques

A guide for experienced programmers to the protocol suite's more subtle features and techniques. Self-contained lessons offer tips, practices, and rules of thumb for learning high-performance TCP/IP p

S is a high-level language for manipulating, analysing and displayingdata. It forms the basis of two highly acclaimed and widely used dataanalysis software systems, the commercial S-PLUSR and the Open

More than three-quarters of a million programmers have benefited from this book in all of its editions Written by Bjarne Stroustrup, the creator of C++, this is the world's most trusted and widely

Use MFC, ActiveX, ATL, ADO and COM+ to develop COM applications Implement client/server applications with ease with this example-oriented approach to the details and implementation of COM technology i

This is the first book to demonstrate how to use Python as a serious Windows development and administration tool. It addresses all the basic technologies for common integration tasks on Windows, expl

This one-of-a-kind book provides a thorough understanding of the fundamentals of ObjectARX and an understanding of the underlying AutoCAD database structure. While intended for users who have experi

Far too many programmers and software designers consider efficient C++ to be an oxymoron. They regard C++ as inherently slow and inappropriate for performance-critical applications. Consequently, C++

The Internet's "killer app" is not the World Wide Web or Push technologies: it is humble electronic mail. More people use email than any other Internet application. As the number of email users swel

If you're ready to take the next step with Excel, then look no further. By using VBA (Visual Basic Application), you can discover a side of Microsoft Excel that most users never uncover. Excel 2000 Pr

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

Written for C++ practitioners, this book is the first to explore advanced Common Object Request Broker Architecture (CORBA) topics and techniques. Michi Henning and Steve Vinoski share the benefits of

Engineers face numerous uncertainties in the design and development of products and processes. To deal with the uncertainties inherent in measured information, they make use of a variety of statistical techniques. This 1999 book presents single-variable statistical distributions that are useful in engineering design and analysis. It lists significant properties of these distributions and describes methods for estimating parameters and their standard errors, constructing confidence intervals, testing hypotheses, and plotting data. Figures are used extensively to clarify concepts. Methods are illustrated by numerous fully worked examples in the form of Mathcad documents that readers can use as templates for their own data, eliminating the need for programming. Intended as both a text and reference, the book assumes an elementary knowledge of calculus and probability. Graduate and advanced undergraduate students, as well as practising engineers and scientists, will be able to use this bo