Computer Science and Educational Software Design

This book presents a wide range of modelling, analysis and assurance techniques that address computer network dependability, security and quality of service (QoS). In-depth coverage of technical mater

Introduction to Logic and Computer Design by Alan Marcovitz takes the successful formula realized in the author's previous books and makes it even better. With the inclusion of several chapters on com

Based on the ACM model curriculum guidelines, this easy-to-read and easy-to-navigate text covers all the fundamentals of computer science required for first year students embarking on a computing degr

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical f

Advances in computer technology and in the development of modern microwave test instruments over the past decade have given electrical engineers, researchers and university students a number of new ap

This book compact resource connects traditional engineering graphics with computer-aided design. Efficiently explores necessary topics such as basic concepts, conventions, and terminology for engine

Theoretically, the term "script" appears to be rather ill-defined.This book clarifies the use of the term "script" in education. It approaches the term from at least three perspectives: cognitive psyc

Provides information on scripting computer-supported collaborative learning.

Simulation is the art of using tools – physical or conceptual models, or computer hardware and software, to attempt to create the illusion of reality. The discipline has in recent years expanded

Computer simulations based on mathematical models have become ubiquitous across the engineering disciplines and throughout the physical sciences. Successful use of a simulation model, however, require

"Discrete Mathematics for Computer Science" is the perfect text to combine the fields of mathematics and computer science. Written by leading academics in the field of computer science, readers will g

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.

The purpose of the book is to help readers learn general programming topics, structured programming principles, and how to use basic tools and algorithms. There are two modules contained in Messinge

Computer-aided design (CAD) and computer-aided manufacturing (CAM) techniques have not been widely applied to designing and manufacturing molds to create plastic or metal parts. Such molds continue to

The Concise Encyclopedia of Computer Science has been adapted from the full Fourth Edition to meet the needs of students, teachers and professional computer users in science and industry. As an

Software engineering and computer science students need a resource that explains how to apply design patterns at the enterprise level, allowing them to design and implement systems of high stability a

Practicing researchers provide an overview of how to investigate education in computer science, including such domains as informatics, computing, information systems, and software engineering, for tho

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a d

Using the same approach as the popular Milestones in Science and Technology and Milestones in Health and Medicine, this unique reference features more than 600 concise entries describing the most sig

This book describes methods for designing and analyzing experiments conducted using computer code in lieu of a physical experiment. It discusses how to select the values of the factors at which to run

Comprehensive and thorough development of both probability and statistics for serious computer scientists; goal-oriented: "to present the mathematical analysis underlying probability results"Special e

The use of computers has opened up remarkable opportunities for innovative design, improved productivity, and greater efficiency in the use of materials. Uniquely, this book focuses on the practical

Geometric Programming is currently of interest in CAD (Computer Aided Design) and related areas such as computer graphics, modeling and animation, scientific simulation and robotics. A growing interes

All Computer Scientists and Software Engineers need to understand software design, but until now there hasn't been one, complete, up-to-date guide to its theory and practice.Eric Braude's Software Des

CAMD or Computer Aided Molecular Design refers to the design of molecules with desirable properties. That is, through CAMD, one determines molecules that match a specified set of (target) properties.

A collection of papers from a conference held at Kings College, London. Computer-based Design focuses on all areas of design using computational methods and examines how all these individual tools can

Eric Salt and Robert Rothery's Design for Electrical and Computer Engineers guides students through each stage of the engineering process, from start to finish. As students work through the text, they

The computer is in every design professional's studio and in everydesign classroom, the primary tool for those entering the field and forold hands alike.

This is the definitive compendium of design patterns in communication software, gathered together by Linda Rising, Ph.D., a recognized leader in the field. Contributors include James O. Coplien, Douglas C. Schmidt, Robert Hanmer, Greg Utas, Just van den Broecke, Don Olson, Carlos O'Ryan, Christopher D. Gill, and other experts from the patterns community. This is the ideal reference for engineers and other professionals working in the field of communications software development.

Innovative techniques and cutting-edge research in computer arithmetic designComputer arithmetic is a fundamental discipline that drives many modern digital technologies. High-performance VLSI impleme

Probabilistic and Statistical Methods in Computer Science

A complete lexicon of technical information, the Dictionary of Computer Science, Engineering, and Technology provides workable definitions, practical information, and enhances general computer science

What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulate language and invent new means of communicating with

This advanced text addresses system error analysis and performance accountability in a comprehensive and up-to-date manner. Covering a wide range of topics from instrumentation, sensors, and signal co

This college textbook introduces algorithms for solving real problems that arise frequently in computer applications, basic principles of computational complexity, and NP -completeness and parallel a

Illustrates recently developed computer-aided fixture design (CAFD) techniques such as the application of computers to edit and modify a fixture design based in a fixture component database, a group t

New edition of a reference work on the design, evaluation, and use of reliable computer systems. Covers fault avoidance techniques, analytical evaluations of compare and contrast techniques, and hard

Since the introduction of personal computers, software has emerged as a driving force in the global economy and a major industry in its own right. During this time, the U.S. government has reversed i

Budimir (electronic systems, U. of London) focuses on the optimization-oriented approach to the design of radio frequency, microwave, and millimeter-wave filters. Topics include transmission lines, lu