Product Description
This book is a comprehensive instructional tool that provides the reader with all the instruction necessary to become an expert user of this popular spreadsheet software. Immediately after new concepts are introduced, users are given activities so that the concepts may be applied.Excel '97 Tutorial and Applications cover beginning through intermediate features of the software. ... Read more

Product Description
This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards large-scale programming and structured software. ... Read more

Customer Reviews (1)

Good Text
Having taught Versa-CAD and losing the textbooks I used, I found it very satisfying to find this text.Very good for the use of this cad system. ... Read more

Customer Reviews (1)

Dated and hard to recommend
Back in 1995 this was a fantastic introduction to Groupware in the broader sense.Today, much of the information is out of date and/or superseded. ... Read more

Product Description
This textbook provides an introduction to microprocessors and computers for first and second year undergraduate and diploma students. It is a thoroughly revised and updated new edition with coverage of the Motorola MC68000 and MC68HC11 and the Acora ARM processors. The book takes an interpreted approach to computers and microprocessor with equal emphasis on components and systems, applications and design. The dual role of the computer as a computing machine and an electronic component is acknowledged and the rationale behind the design of computers is explained together with ways in which they function. ... Read more

Product Description

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of research groups, events, conferences, and summer schools that address the study of foundations for the analysis and the design of security aspects.

This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2004/2005, held in Bertinoro, Italy, in September 2004 and September 2005. The lectures are devoted to: Justifying a Dolev-Yao Model under Active Attacks, Model-based Security Engineering with UML, Physical Security and Side-Channel Attacks, Static Analysis of Authentication, Formal Methods for Smartcard Security, Privacy-Preserving Database Systems, Intrusion Detection, Security and Trust Requirements Engineering.

Product Description
Much of AI research is about problem-solving strategies, andseveraltechniques have been crystalized. One such techniqueis constraintsatisfaction or reasoning based on relations.Constraint-based reasoning is used to solve a wide field ofproblems, and recently constraint techniqueshave beenincorporated into logic programming languages, yielding awhole new field of research and application: constraintlogic programming. Constraint satisfaction techniques havebecome part of almostall introductory books on AI.This monograph is about constraintsatisfaction. It differsfrom others in that it presents all approaches under acommon, generalizing view: dynamic constraints. This new wayof viewing constraints provides new insights about thedifferent approaches, and forms a very practical basis forteaching constraint-based reasoning. A uniform view of theconstraint world is also a good basis for constraintresearch. This text is not intended to be aself-containedtextbook on constraint-based reasoning, but rather acoherent text on an interesting view of the field. ... Read more

Product Description

This book presents revised versions of tutorial lectures given at the IEEE/CS Symposium on modeling, analysis, and simulation of computer and telecommunication systems held in Orlando, FL, USA in October 2003.

The lectures are grouped into three parts on performance and QoS of modern wired and wireless networks, current advances in performance modeling and simulation, and other specific applications of these methodologies.

This tutorial book is targeted to both practitioners and researchers. The practitioner will benefit from numerous pointers to performance and QoS issues; the pedagogical style and plenty of references will be of great use in solving practical problems. The researcher and advanced student are offered a representative set of topics not only for their research value but also for their novelty and use in identifying areas of active research.