Academic : Computer Science

A fundamental understanding of Protected Mode vs. Real Mode operation is key to understanding the basic PC platform. MindShare's book, Protected Mode Software Architecture , details Protected Mode and Real Mode operation and the challenges associated with each. more...

Price: $12.95

A comprehensive reference for addressing in a TCP/IP environment. This volume presents an overview of the binary numbering system and detailed information on such topics as: subnetting; network address translation; and the transfiguration of workstations, servers and routers. more...

Price: $59.95

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete. The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning. This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (forinstance, temporal, epistemic and probabilistic logics). more...

Price: $209.00

Providing an introduction to Mathematica, this text is designed to help build the necessary skills for using the software effectively. more...

Price: $69.95

The book is aimed at novice programmers who wish to learn programming with C# and the .NET framework. The book starts with absolute programming basics. It then moves into Web and Windows programming, data access (databases and XML), and more advanced technologies such as graphics programming with GDI+ and basic networking. The book is divided into sections including:.:.; The C# Language: Basic language skills using console application. Content moves from the absolute basics to fairly involved OOP skills.; Windows Vista Programming: Using basic Windows applications, reinforcing earlier OOP and debugging skills.; Web Programming: Putting together basic Web applications, highlighting differences between Web and Windows programming.; Data Access: Accessing all kinds of data sources from Web and Windows applications, including SQL usage, XML, file system data, and Web Services.; Additional Techniques: "The fun stuff", including Windows Presentation Foundation, Windows Workflow, Windows Communication Foundation, GDI+, networking, Windows Services, and so on. The book makes complicated subjects seem easy to learn, and it inspires readers to investigate areas further on their own by providing references to additional material, and exercise questions that require significant effort and personal research to complete. more...

Price: $44.99