Newly acquired books now on display and ready for borrowing as of July 2009

NEW_REFERENCE BOOK

Handbook of parallel computing : models, algorithms and applications

Author Sanguthevar Rajasekaran and John Reif
Place of Publication Boca Raton
Date of Publication 2007
Publisher Taylor & Francis Group

Parallel computing plays a vital role in solving complex computing problems. “The Handbook of Parallel Computing; Models, Algorithms, and Applications” provides comprehensive coverage on all aspects of parallel computing, focusing on the foundational principles and recent advances in the areas of models, algorithms, and applications. This book addresses applications to computational biology, homeland security, and simulations of parallelism such as fuel cells, biological cells, and coastal waves. It covers the parallel disk model, which has been proposed to alleviate the input and output bottleneck. The book also presents recently discovered parallel clustering algorithms that are relevant to processing large datasets.

NEW RESERVE BOOKS

Ad hoc mobile wireless networks : protocols and systems

Author C.-K. Toh
Place of Publication Upper Saddle River, N.J.
Date of Publication c2002
Publisher Prentice Hall PTR

This book is about “non-infrastructured” wireless networks, which are referred to as “AD HOC” wireless networks. Wireless networks comprise both infrastructured and non-infrastructured systems. Infrastructured wireless networks refer to base station oriented WLANS. This book covers routing which is the most significant difference between Ad Hoc networks and base station networks. It covers in detail new routing protocols for Ad Hoc networks, such as Associativity Based routing (ABR) and other IETF MANET protocols. It also discusses implementation issues and presents prototype implementation.


Digital signal processing : a hands-on approach

Author Charles Schuler, Mahesh Chugani
Place of Publication Boston
Date of Publication c2005
Publisher McGraw-Hill

This text is intended for two-year and four-year electronics students, as well as industry practitioners who need to learn about applied Digital Signal Processing. This text is written in a very practical “hands-on” approach. It is written for those students who will apply and troubleshoot modern electronic systems. The approach used in the text presents critical ideas and then immediately applies them via software simulations and examples. These activities will clearly illustrate core concepts to increase understanding and aid retention. The CD-ROM included with the text contains five programs that support the hands-on activities. Three of the programs were specially prepared for beginners just learning DSP and two are demo versions of professional software used by DSP designers.

Programming challenges : the programming contest training manual

Author Steven S. Skiena, Miguel A. Revilla.
Place of Publication New York
Date of Publication c2003
Publisher Springer

 

This is an ideal resource for improving programming knowledge. The challenges of problems from international programming competitions are an effective way to improve algorithmic and coding skills and understanding. This book uses international programming competition-type problems to motivate the study of algorithms, programming, and other topics in computer science. It includes more than 100 programming challenges, as well as the theory and key concepts necessary for approaching them. Problems are organized by topic, and supplemented by complete tutorial material. Readers gain a concrete understanding of both algorithmic techniques and advanced coding topics. This title offers a wealth of rich programming problems suitable for self-study - all with on-line judging at website. It presents practice training for all major programming contests - ACM International Collegiate Programming Contest (ACM ICPC), International Olympiad in Informatics (IOI), and Topcoder Challenge. It serves as a convenient, web-based means of adding a programming component to any algorithms or software engineering course.It contains complete working code for fundamental data structures and graph, string, numerical and geometric algorithms. It provides a brief-yet-thorough treatment of key elements in number theory, geometry, dynamic programming, and graph algorithms. It supports all popular programming languages (C, C++, Pascal, Java). Steven S. Skiena is a member of the faculty of computer science at SUNY Stony Brook and is author of many widely used books, including “The Algorithm Design Manual”. He received the 2001 IEEE Computer Society Undergraduate Teaching Award. Miguel Revilla is a member of the faculty of computer science at the University of Valladolid, Spain. He is official website archivist of the ACM ICPC and creator/maintainer of the primary robot-judge, contest-hosting website.

Reliability evaluation of power systems, 2nd ed.

Author Roy Billinton and Ronald N. Allan.
Place of Publication New York
Date of Publication c1996
Publisher Plenum Press

 

The Second Edition of this well-received textbook presents over a decade of new research in power system reliability - while maintaining the general concept, structure, and style of the original volume. This edition features new chapters on the growing areas of Monte Carlo simulation and reliability economics. In addition, chapters cover the latest developments in techniques and their application to real problems. The text also explores the progress occurring in the structure, planning, and operation of real power systems due to changing ownership, regulation, and access. This work serves as a companion volume to “Reliability Evaluation of Engineering Systems: Second Edition (1992).”

Concepts, techniques, and models of computer programming

Author Peter Van Roy, Seif Haridi
Place of Publication Cambridge, Mass.
Date of Publication c2004
Publisher MIT Press

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. Specialised 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.

Core PHP programming

Author Leon Atkinson
Place of Publication Upper Saddle River, N.J.
Date of Publication c2004
Publisher Prentice Hall/PTR

Core PHP Programming, Third Edition is the authoritative guide to the new PHP 5 for experienced developers. Top PHP developer Leon Atkinson and PHP 5 contributor/Zend Engine 2 co-creator Zeev Suraski cover every facet of real-world PHP 5 development, from basic syntax to advanced object-oriented development — even design patterns! It’s all here: networking, data structures, regular expressions, math, configuration, graphics, MySQL/PostgreSQL support, XML, algorithms, debugging, optimization!and 650 downloadable code examples, with a Foreword by PHP 5 contributor and Zend Engine 2 co-creator Andi Gutmans!.

Fundamentals of data structures in C

Author Ellis Horowitz, Sartaj Sahni, Susan Anderson-Freed.
Place of Publication Summit, N.J.
Date of Publication c2007
Publisher Silicon Press

This text offers a complete rendering of basic data structure implementations in the popular language C++.

Micro mechanical transducers : pressure sensors, accelerometers, and gyroscopes

Author Min-Hang Bao
Place of Publication Amsterdam
Date of Publication c2000
Publisher Elsevier

ILogic-based formalizations of argumentation, which assume a set of formulae and then lay out arguments and counterarguments that can be obtained from these formulae, have been refined in recent years in an attempt to capture more closely real-world practical argumentation. In Elements of Argumentation, Philippe Besnard and Anthony Hunter introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasizing emerging formalizations for practical argumentation. Besnard and Hunter discuss how arguments can be constructed, how key intrinsic and extrinsic factors can be identified, and how these analyses can be harnessed for formalizing argumentation for use in real-world problem analysis and decision making.

The book focuses on a monological approach to argumentation, in which there is a set of possibly conflicting pieces of information (each represented by a formula) that has been collated by an agent or a pool of agents. The role of argumentation is to construct a collection of arguments and counterarguments pertaining to some particular claim of interest to be used for analysis or presentation.

Elements of Argumentation is the first book to elucidate and formalize key elements of deductive argumentation. It will be a valuable reference for researchers in computer science and artificial intelligence and of interest to scholars in such fields as logic, philosophy, linguistics, and cognitive science.

Compilers : principles, techniques, & tools, 2nd ed.

Author Alfred V. Aho … [et al.]
Place of Publication Boston
Date of Publication c2007
Publisher Pearson/Addison Wesley

Compilers: Principles, Techniques and Tools, known to professors, students, and developers worldwide as the “Dragon Book,” is available in a new edition. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published. The authors, recognizing that few readers will ever go on to construct a compiler, retain their focus on the broader set of problems faced in software design and software development. New chapters include: Chapter 10 Instruction-Level Parallelism Chapter 11 Optimizing for Parallelism and Locality Chapter 12 Interprocedural Analysis

File structures : an object-oriented approach with C++

Author Michael J. Folk, Bill Zoellick, Greg Riccardi.
Place of Publication Reading, Mass.
Date of Publication c1998
Publisher Addison-Wesley

This best-selling book provides the conceptual tools to build file structures that can be quickly and efficiently accessed. It teaches good design judgment through an approach that puts the “hands-on” work of constructing and running programs at the center of the learning process. This third edition presents the practice of object-oriented design and programming with complete implementations in C++ of many of the file structures techniques, including direct access I/O, buffer packing and unpacking, indexing, cosequential processing, B-trees, and external hashing. By following the examples, students will gain a significant understanding of file structure techniques, and see how C++ can be made an effective software development tool. Every line of code in the book has been tested on a variety of C++ systems. In addition, the class definitions and bodies are collected together in appendices.

Signals, systems, and transforms, 4th ed.

Author Charles L. Phillips, John M. Parr, Eve A. Riskin.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2008
Publisher Pearson/Prentice Hall

For sophomore/junior-level signals and systems courses in Electrical and Computer Engineering departments. This text provides a clear, comprehensive presentation of both the theory and applications in signals, systems, and transforms. It presents the mathematical background of signals and systems, including the Fourier transform, the Fourier series, the Laplace transform, the discrete-time and the discrete Fourier transforms, and the z-transform. The contents of each chapter are organized into well-defined units that allow instructors great flexibility in course emphasis. The text integrates MATLAB examples into the presentation of signal and system theory and applications.

RF circuit design : theory and applications, 2nd ed.

Author Reinhold Ludwig, Gene Bogdanov.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2009
Publisher Prentice-Hall


Its objective is to develop the RF circuit design aspects in such a way that the need for transmission line principles is made clear without adopting an electromagnetic field approach.

Power generation, operation, and control, 2nd ed.

Author Allen J. Wood, Bruce F. Wollenberg
Place of Publication New York
Date of Publication 1996
Publisher Wiley

The electric power industry is undergoing unprecedented change due to deregulation, open access to transmission systems, and the start up of independent power producers. These changes have spurred many technical issues that affect the business and market structure of the industry. This second edition addresses the changes that have taken place in the industry in the last decade.

Electronic devices and circuit theory, 10th ed.

Author Robert L. Boylestad, Louis Nashelsky.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2009
Publisher Pearson/Prentice Hall

For upper-level courses in Devices and Circuits at 2-year or 4-year Engineering and Technology institutes. Highly accurate and thoroughly updated, this text has set the standard in electronic devices and circuit theory for nearly 30 years. Boylestad and Nashelsky offer students a complete and comprehensive survey, focusing on all the essentials they will need to succeed on the job. This very readable text is supported by strong pedagogy and content that is ideal for new students of this rapidly changing field. Its colorful, student-friendly layout boasts a large number of stunning photographs. Topics covered include semiconductor diodes, BJT devices, DC biasing, FET devices, Op-Amp applications, power amplifiers, linear-digital ICs, power supplies and voltage regulators, and other two-terminal devices. This text is an excellent reference work for anyone involved with electronic devices and other circuitry applications, such as electrical and technical engineers. A broad range of ancillary materials is available for instructor support.

Computer networks and internets, 5th ed.

Author Douglas E. Comer.
Place of Publication Upper Saddle River, N.J.
Date of Publication c2009
Publisher Pearson/Prentice Hall

Appropriate for all introductory-to-intermediate courses in computer networking, the Internet, or Internet applications; students need no background in networking, operating systems, or advanced mathematics. Leading networking authority Douglas Comer presents a wide-ranging, self-contained tour of the concepts, principles, and technologies that enable today’s Internet to support applications ranging from web browsing to telephony and multimedia. This Fifth Edition has been thoroughly reorganized, revised, and updated: it includes extensive new coverage of topics ranging from wireless protocols to network performance, while reducing or eliminating coverage of older protocols and technologies. Comer begins by illuminating the applications and facilities offered by today’s Internet. Next, he systematically introduces the underlying network technologies and protocols that make them possible: low-level data communications; packet switching, LAN, and WAN technologies; and Internet protocols such as TCP, IP, UDP, and IPv6.With these concepts and technologies established, he introduces several of the most important contemporary issues faced by network implementers and managers, including quality of service, Internet telephony, multimedia, network security, and network management.Comer has carefully designed this book to support both top-down and bottom-up teaching approaches. Students need no background in operating systems, and no sophisticated math: Comer relies throughout on figures, drawings, examples, and analogies, not mathematical proofs.

NEW CIRCULATION BOOKS

Multimedia signal processing : theory and applications in speech, music and communications

Author Saeed V. Vaseghi.
Place of Publication Hoboken, N. J.
Date of Publication c2007
Publisher Wiley

“Multimedia Signal Processing” is a comprehensive and accessible text to the theory and applications of digital signal processing (DSP). The applications of DSP are pervasive and include multimedia systems, cellular communication, adaptive network management, radar, pattern recognition, medical signal processing, financial data forecasting, artificial intelligence, decision making, control systems and search engines.This book is organised in to three major parts making it a coherent and structured presentation of the theory and applications of digital signal processing. A range of important topics are covered in basic signal processing, model-based statistical signal processing and their applications. Part 1: Basic Digital Signal Processing gives an introduction to the topic, discussing sampling and quantization, Fourier analysis and synthesis, Z-transform, and digital filters. Part 2: Model-based Signal Processing covers probability and information models, Bayesian inference, Wiener filter, adaptive filters, linear prediction hidden Markov models and independent component analysis.Part 3: Applications of Signal Processing in Speech, Music and Telecommunications explains the topics of speech and music processing, echo cancellation, deconvolution and channel equalization, and mobile communication signal processing.This book covers music signal processing, explains the anatomy and psychoacoustics of hearing and the design of MP3 music coder. It examines speech processing technology including speech models, speech coding for mobile phones and speech recognition. It covers single-input and multiple-inputs denoising methods, bandwidth extension and the recovery of lost speech packets in applications such as voice over IP (VoIP). It is illustrated throughout, including numerous solved problems, Matlab experiments and demonstrations. It offers a companion website features Matlab and C++ programs with electronic copies of all figures. This book is ideal for researchers, postgraduates and senior undergraduates in the fields of digital signal processing, telecommunications and statistical data analysis. It will also be a valuable text to professional engineers in telecommunications and audio and signal processing industries.

Digital television : technology and standards

Author John Arnold, Michael Frater, Mark Pickering.
Place of Publication Hoboken, N.J.
Date of Publication c2007
Publisher Wiley

The only single, comprehensive textbook on all aspects of digital television. The next few years will see a major revolution in the technology used to deliver television services as the world moves from analog to digital television. Presently, all existing textbooks dealing with analog television standards (NTSC and PAL) are becoming obsolete as the prevalence of digital technology continues to become more widespread. Now, “Digital Television: Technology and Standards” fills the need for a single, authoritative textbook that covers all aspects of digital television technology.Divided into three main sections, “Digital Television” explores: Video - MPEG-2, which is at the heart of all digital video broadcasting services; Audio - MPEG-2 Advanced Audio Coding and Dolby AC-3, which will be used internationally in digital video broadcasting systems; and, Systems - MPEG, modulation transmission, forward error correction, datacasting, conditional access, and digital storage media command and control.Complete with tables, illustrations, and figures, this valuable textbook includes problems and laboratories at the end of each chapter and also offers a number of exercises that allow students to implement the various techniques discussed using MATLAB. The authors’ coverage of implementation and theory makes this a practical reference for professionals, as well as an indispensable textbook for advanced undergraduates and graduate-level students in electrical engineering and computer science programs.

3D online multimedia & games : processing, transmission and visualization

Author Irene Cheng … [et al.]
Place of Publication Singapore Hackensack, N.J.
Date of Publication c2009
Publisher World Scientific

Online applications have been gaining wide acceptance among the general public. Companies like Amazon, Google, Yahoo! and NetFlicks have been doing extremely well over the last few years largely because of people becoming more comfortable and trusting of the Internet. The increasing acceptance of online products makes it increasingly important to address some of the scientific techniques involved in developing efficient 3D online systems. The topics discussed in this book broadly cover four categories: networking issues in online multimedia; joint texture-mesh simplification and view independent transmission; view dependent transmission and server-side rendering; content and background creation; and creating simple online games.

Data mining for business intelligence : concepts, techniques, and applications in Microsoft Office Excel with XLMiner

Author Galit Shmueli, Nitin R. Patel, Peter C. Bruce
Place of Publication Hoboken, NJ
Date of Publication c2007
Publisher Wiley-Intersicence

In today’s world, businesses are becoming more capable of accessing their ideal consumers, and an understanding of data mining contributes to this success. “Data Mining for Business Intelligence”, which was developed from a course taught at the Massachusetts Institute of Technology’s Sloan School of Management, and the University of Maryland’s Smith School of Business, uses real data and actual cases to illustrate the applicability of data mining intelligence to the development of successful business models.Featuring XLMiner, the Microsoft Office Excel add-in, this book allows readers to follow along and implement algorithms at their own speed, with a minimal learning curve. In addition, students and practitioners of data mining techniques are presented with hands-on, business-oriented applications. An abundant amount of exercises and examples are provided to motivate learning and understanding.”Data Mining for Business Intelligence”: provides both a theoretical and practical understanding of the key methods of classification, prediction, reduction, exploration, and affinity analysis; features a business decision-making context for these key methods; illustrates the application and interpretation of these methods using real business cases and data. This book helps readers understand the beneficial relationship that can be established between data mining and smart business practices, and is an excellent learning tool for creating valuable strategies and making wiser business decisions.

Engineering computation with MATLAB

Author David M. Smith
Place of Publication Boston
Date of Publication c2008
Publisher Pearson/Addison Wesley

Engineering Computation with MATLAB(R) introduces the power of computing to engineering students with no previous programming experience. By spending time on meaningful engineering examples, professor and trained engineer David Smith places the fundamental tenets of computer programming into the context of MATLAB, a user-friendly language for engineers. Engineering Computation with MATLAB(R) employs hands-on exercises, examples from the world of engineering, and a variety core tools to increase general proficiency and capability in computer programming, preparing engineering students to fluidly adapt learned programming concepts to other languages.

Manage software testing

Author Peter Farrell-Vinay
Place of Publication Boca Raton
Date of Publication c2008
Publisher Auerbach Publications

Digital signal processing is commonplace in most electronics including MP3 players, HDTVs, and phones, just to name a few of the applications. The engineers creating these devices are in need of essential information at a moment’s notice. The Instant Access Series provides all the critical content that a signal or communications engineer needs in his or her daily work.

This book provides an introduction to DSPs as well as succinct overviews of linear systems, digital filters, and digital compression. This book is filled with images, figures, tables, and easy to find tips and tricks for the engineer that needs material fast to complete projects to deadline.

Principles of parallel programming

Author Calvin Lin, Lawrence Snyder
Place of Publication Boston, Mass.
Date of Publication c2009
Publisher Pearson/Addison Wesley

Digital video is everywhere! The engineers creating HDTV, mp3 players, and smart phones and their components are in need of essential information at a moment’s notice. The Instant Access Series provides all the critical content that a digital video engineer needs in his or her daily work.

With the rise of multi-core architecture, parallel programming is an increasingly important topic for software engineers and computer system designers. Written by well-known researchers Larry Snyder and Calvin Lin, this highly anticipated first edition emphasizes the principles underlying parallel computation, explains the various phenomena, and clarifies why these phenomena represent opportunities or barriers to successful parallel programming. Ideal for an advanced upper-level undergraduate course, Parallel Programming supplies enduring knowledge that will outlive the current hardware and software, aiming to inspire future researchers to build tomorrow’s solutions. “…the first basic book on the subject that I’ve ever seen that seems to have the pulse on the true issues of parallelism that are relevant for students.” –Alan Edelman, MIT “Principles of Parallel Programming is a wonderful book and I plan to use it in our new parallel programming course…”—Peiyi Tang, University of Arkansas, Little Rock “I like [Principles of Parallel Programming] very much for a few specific reasons: it’s concise, covers the most relevant topics but does not take thousand pages to do it, it is hands on and it covers…recent developments with multi-core and GPGPU.” –Edin Hodzic, Santa Clara University

Advanced 2D game development

Author Jonathan S. Harbour
Place of Publication Boston, Mass.
Date of Publication c2009
Publisher Course Technology

This book is a comprehensive guide to 2D game programming, covering every significant 2D game subject in one volume. It includes coverage of 2D animated sprites, tile-based scrolling, level editing, vector graphics, 2D physics, and the major game genres - real time strategy (Command & Conquer), turn based strategy (Civilization IV), vertical scrolling shoot-em-ups (Mars Matrix), horizontal shoot-em-ups (R-Type), scrolling platform-style games (Mario), and of course, role-playing games (Ultima). It includes discussion of overall game theory and development, explaining how to create a real time strategy game from concept to completion.Readers will create their own professional-quality RTS game using a royalty-free library of RTS artwork, C++, and the cross-platform game library Allegro. In addition to the basic graphics engine (which will run in 2D), this book covers each key feature of an RTS game, including pathfinding, enemy AI, grouping, unit formations, and other related subjects, each covered in a dedicated chapter. Each chapter’s skills will be applied to the final game created by the reader.

Computational intelligence in biomedical engineering

Author Rezaul Begg, Daniel T.H. Lai, Marimuthu Palaniswami
Place of Publication Boca Raton
Date of Publication c2008
Publisher CRC Press

In recent years, there has been an explosion of interest in computational intelligence (CI) techniques as evidenced by numerous applications in various fields. Biomedical research and applications have benefited enormously as a result of applications of such tools and techniques. Most such scientific literature concerning the application of CI for modeling and pattern recognition are scattered around the world in different journals and conference proceedings. “Computational Intelligence in Bioengineering” provides a comprehensive account of the recent research efforts in this emerging area. It brings together cutting-edge research and applications of computational intelligence in a single volume.

Security policies and procedures : principles and practices

Author Sari Stern Greene
Place of Publication Upper Saddle River, N.J.
Date of Publication c2006
Publisher Pearson Prentice Hall

For advanced information security courses on policies and procedures. Security Policies and Procedures: Principles and Practices was created to teach information security policies and procedures and provide students with hands-on practice developing a security policy. This text provides an introduction to security policy, coverage of information security regulation and framework, and policies specific to industry sectors, including financial, healthcare and small business.

Design and analysis of distributed algorithms

Author Nicola Santoro
Place of Publication Hoboken, N.J.
Date of Publication c2007
Publisher Wiley

This text is based on a simple and fully reactive computational model that allows for intuitive comprehension and logical designs. The principles and techniques presented can be applied to any distributed computing environment (e.g., distributed systems, communication networks, data networks, grid networks, internet, etc.). The text provides a wealth of unique material for learning how to design algorithms and protocols perform tasks efficiently in a distributed computing environment.

Combinatorial and computational geometry

Author edited by Jacob E. Goodman, János Pach, Emo We
Place of Publication Cambridge New York
Date of Publication c2005
Publisher Cambridge University Press

During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This volume, which contains 32 papers on a broad range of topics of current interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.

Electrical Power System Essentials

Author Pieter Schavemaker and Lou van der Sluis
Place of Publication Chichester, England Hoboken, N.J.
Date of Publication c2008
Publisher Wiley

Much of the basic hardware that generates, transmits and distributes electricity has changed little over the past century. However, the techniques applied in the power system have advanced, leading to greater transformer efficiency and more economic transmission and distribution. As the demand for electricity in both the developed and developing world increases, governments and electricity providers continue to look for alternative means of creating energy through renewable sources. Today’s needs also include well-designed systems that are capable of producing large quantities of electricity in the safest, most cost-effective way for the benefit of both individuals and industry. This book provides an accessible introduction to the interesting world of alternating current (AC) power systems, focusing on the system as a whole.After laying out the basics for a steady-state analysis of three-phase power systems, the book examines: the generation, transmission, distribution, and utilization of electric energy; the principles of thermal, nuclear and renewable energy plants; power system control and operation; and, the organization of electricity markets, the changes currently taking place, and the developments that could lead to alternative power systems in the future. Inside, you will find appendices that support the key text, supplying information on the modeling of power system components and including basic equations derived from Maxwell’s laws. Numerous practical examples, case studies and illustrations, demonstrate the theory, techniques and results presented in the text, and an accompanying solutions manual with problems and worked through answers is available on a supplementary website. With its pragmatic approach, “Power System Essentials” is ideal for senior undergraduate students in electrical engineering who require an up-to-date overview of the subject.This book also acts as a concise reference, suitable for postgraduates and professionals from a range of disciplines who would like to work in this field.

Fundamentals of microelectronics

Author Behzad Razavi
Place of Publication Hoboken, N.J.
Date of Publication c2008
Publisher Wiley

Designed to build a strong foundation in both design and analysis of electronic circuits, Razavi teaches conceptual understanding and mastery of the material by using modern examples to motivate and prepare students for advanced courses and their careers. Razavi’s unique problem-solving framework enables students to deconstruct complex problems into components that they are familiar with which builds the confidence and intuitive skills needed for success.

Software system reliability and security

Author edited by Manfred Broy, Johannes Grünbauer and Tony Hoare.
Place of Publication Amsterdam Washington, DC
Date of Publication c2007
Publisher IOS Press

The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pay due diligence to the importance of security-related aspects, and align current methods and techniques to information security, integrity, and system reliability. However, based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. As a consequence of the wide distribution of software and software infrastructure, information security depends on the quality and excellent understanding of its functioning. Only when this functionality is guaranteed as safe, customers and information are protected against adversarial attacks. Thus, to make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development.Such development is difficult, mainly because of the conflict between development costs and verifiable correctness. The articles in this book describe the state-of-the-art ideas on how to meet these challenges in software engineering.

Leave a Comment

Please note: Comment moderation is enabled and may delay your comment. There is no need to resubmit your comment.