Skip to main content

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • Oracle Real Application Clusters

    • 1st Edition
    • Murali Vallath
    • English
    Clustered configuration first hit the scene nearly 20 years ago when Digital Equipment Corporation (DEC) introduced the VaxCluster. Until now, the topic of Real Application Clusters (RAC) implementation had never been fully explored. For the first time, Murali Vallath dissects RAC mysteries in his book Oracle Real Application Clusters to enlighten and educate readers on the internals of RAC operations, cache fusion, fusion recovery processes and the fast reconfiguration of RAC.This book provides comprehensive coverage of the features, technology and principles of RAC that is part of the Oracle9i release of Oracle's RDBMS product. It is divided into three main parts: application/database design, development and maintenance life cycles. Compared to its predecessor OPS, the architecture behind RAC implementation have changed significantly. Vallath discusses Oracle9i features in a RAC implementation with respect to usage and design considerations, as well as those parameters that are and are not applicable. Areas covered include partitioning, indexes, tablespace management, transaction management, backup and recovery principles. Performance tuning with examples, troubleshooting and problem solving scenarios are covered in detail, as well as discussions on the migration process from a single instance database to RAC and migration from an OPS implementation to RAC.Oracle Real Application Clusters takes readers through a logical flow from RAC concepts to operations, covering each facet with a fine-tooth comb. Vallath's skilled writing style makes each chapter entertaining and informative as only a true RAC connoisseur can provide. New and experienced users of RAC, as well as those seeking to expand their knowledge of this dynamic technology, will find this book to be a necessity for both home and office reference libraries.
  • Many-Dimensional Modal Logics: Theory and Applications

    • 1st Edition
    • Volume 148
    • A. Kurucz + 3 more
    • English
    Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.The genre of the book can be defined as a research monograph. It 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). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.Key Features:• Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science• Written by internationally leading researchers in the field of pure and applied logic• Combines mathematical theory of modal logic and applications in artificial intelligence and computer science• Numerous open problems for further research• Well illustrated with pictures and tables
  • MCSE Planning, Implementing, and Maintaining a Microsoft Windows Server 2003 Active Directory Infrastructure (Exam 70-294)

    Study Guide and DVD Training System
    • 1st Edition
    • Syngress
    • English
    Syngress Study Guides guarantee comprehensive coverage of all exam objectives. There are no longer any short cuts or gimmicks that allow candidates to pass Microsoft's new, more rigorous exams. The days of cramming to become a "paper MCSE" are over; candidates must have a full grasp of all core concepts and plenty of hands-on experience to become certified. This book provides complete coverage of Microsoft Exam 70-277 and features one-of-a-kind integration of text, instructor-led training, and Web-based exam simulation and remediation, this study guide gives students 100% coverage of official Microsoft exam objectives plus realistic test prep. The System package consists of: STUDY GUIDE. 800 pages of coverage explicitly organized in the identical structure of Microsoft's exam objectives. Sections are designed to "standalone", allowing readers to focus on those areas in which they are weakest and skim topics they may have already mastered. ONLINE PRACTICE EXAMS AND E-BOOK. Most exam candidates indicate that PRACTICE EXAMS are their single most valuable exam prep tool. Buyers of our Study Guides have immediate access to our exam simulations located at WWW.SYNGRESS.COM/SOL... Syngress practice exams are highly regarded for rigor or the questions, the extensive explanation of the right AND wrong answers, and the direct hyperlinks from the exams to appropriate sections in the e-book for remediation.
  • The Best Damn Firewall Book Period

    • 1st Edition
    • Syngress
    • English
    This book is essential reading for anyone wanting to protect Internet-connected computers from unauthorized access. Coverage includes TCP/IP, setting up firewalls, testing and maintaining firewalls, and much more. All of the major important firewall products are covered including Microsoft Internet Security and Acceleration Server (ISA), ISS BlackICE, Symantec Firewall, Check Point NG, and PIX Firewall. Firewall configuration strategies and techniques are covered in depth.The book answers questions about firewalls, from How do I make Web/HTTP work through my firewall? To What is a DMZ, and why do I want one? And What are some common attacks, and how can I protect my system against them?The Internet's explosive growth over the last decade has forced IT professionals to work even harder to secure the private networks connected to it—from erecting firewalls that keep out malicious intruders to building virtual private networks (VPNs) that permit protected, fully encrypted communications over the Internet's vulnerable public infrastructure.The Best Damn Firewalls Book Period covers the most popular Firewall products, from Cisco's PIX Firewall to Microsoft's ISA Server to CheckPoint NG, and all the components of an effective firewall set up. Anything needed to protect the perimeter of a network can be found in this book.
  • MCSE Planning and Maintaining a Microsoft Windows Server 2003 Network Infrastructure (Exam 70-293)

    Guide & DVD Training System
    • 1st Edition
    • Syngress
    • English
    Syngress Study Guides guarantee comprehensive coverage of all exam objectives. There are no longer any short cuts or gimmicks that allow candidates to pass Microsoft's new, more rigorous exams. The days of cramming to become a "paper MCSE" are over; candidates must have a full grasp of all core concepts and plenty of hands-on experience to become certified. This book provides complete coverage of Microsoft Exam 70-293 and features one-of-a-kind integration of text, DVD-quality instructor-led training, and Web-based exam simulation and remediation, this study guide & DVD training system gives students 100% coverage of official Microsoft exam objectives plus realistic test prep. The System package consists of:1) STUDY GUIDE. 800 pages of coverage explicitly organized in the identical structure of Microsoft's exam objectives. Sections are designed to "standalone", allowing readers to focus on those areas in which they are weakest and skim topics they may have already mastered. 2) DVD: A full hour of instructor-led training, complete with on-screen configurations and networking schematics, demystifying the toughest exam topics.3) ONLINE PRACTICE EXAMS AND E-BOOK. Most exam candidates indicate that PRACTICE EXAMS are their single most valuable exam prep tool. Buyers of our Study Guides have immediate access to our exam simulations located at WWW.SYNGRESS.COM/SOL... Syngress practice exams are highly regarded for rigor or the questions, the extensive explanation of the right AND wrong answers, and the direct hyperlinks from the exams to appropriate sections in the e-book for remediation.
  • Applying UML

    Advanced Applications
    • 1st Edition
    • Rob Pooley + 1 more
    • English
    Unified Modeling Language (UML) is a general-purpose notation language for specifying and visualizing complex software, especially large, object-oriented projects. Object-oriented programming is when a programmer defines not only the data type of a data structure, but also the types of operations/functions that can be applied to the data structure. Applying UML addresses the practical issues faced by users in adopting UML. As the title suggests, it helps the reader in actually applying UML to real life situations, rather than just in learning the language. The book covers in depth detail of UML, including notation on profiles and extensions. The scope of the book assumes prior experience in software engineering and/or business modeling, an understanding of object-oriented concepts and a basic knowledge of UML.
  • MCSA/MCSE Managing and Maintaining a Windows Server 2003 Environment (Exam 70-290)

    Study Guide & DVD Training System
    • 1st Edition
    • Syngress
    • English
    MCSA/MCSE Managing and Maintaining a Windows Server 2003 Environment: Exam 70-290 Study Guide and DVD Training System is a one-of-a-kind integration of text, DVD-quality instructor led training, and Web-based exam simulation and remediation. This system gives you 100% coverage of the official Microsoft 70-290 exam objectives plus test preparation software for the edge you need to pass the exam on your first try.In June, 2003 Microsoft will launch beta exams for the Windows Server 2003 certification line. Exams will likely go live the following August and September. This launch is a comprehensive revamping of the MCSE (Microsoft Certified System Enginner) track with all new core exams and all new electives. In addition, the MCSA (Microsoft Certified System Administrator) certification will expand its program to include an additional upgrade exam for MCSAs wanting to become MCSEs. The launch of this new certification track means that all current MCSEs, representing an installed base of approximately 200,000 (source: MCP Magazine) will need to recertify under Windows Server 2003. In addition, any MCP looking to become an MCSE--estimates are about 1.2 million (source: MCP Magazine)--will also have to continue their certifications under the new program. Many industry experts expect the Windows 2003 certification, and product line as well, to be a more popular track since many organziations are still using NT and plan to skip 2000 and go directly to 2003.
  • QuickTime for the Web

    For Windows and Macintosh
    • 3rd Edition
    • Steven Gulie
    • English
    QuickTime is the industry standard for developing and distributing multimedia content on the Web and CD-ROM, for both Windows and Macintosh computers. This book includes QuickTime Pro 6 and a full set of content development tools for both Windows and Macintosh developers. This third edition of the best-selling and award-winning QuickTime for the Web is a hands-on guide showing how to integrate animation, video, recorded sound, MIDI, text, still images, VR, live streams, games, and user interactivity into a Web site. It now also covers how to benefit from QuickTime support for the MPEG-4 global multimedia standard.Written for Web masters, site designers, HTML and multimedia authors, and anyone else who wants to incorporate sound or video into their Web site, this book offers clear and detailed instruction in an engaging style. Written by an expert at Apple Computer, this is the most complete and authoritative source for creating QuickTime content for the Web.The first edition of this book won the Touchstone 2000 Merit Award for Books awarded annually by STC (Society for Technical Communications).
  • Using the Internet for Political Research

    Practical Tips and Hints
    • 1st Edition
    • Heather Dawson
    • English
    This book is a practical guide to using the Internet for political science research. The growth of the Internet means that an increasing amount of political information is becoming available on the web; however, it can often be difficult for users to locate high quality resources. This book shows the reader how to develop effective Internet searching strategies and indicates what is available online. It covers some of the key political science areas, including elections, parliamentary information and political parties, showing how to successively locate and evaluate Internet resources. The book covers political research mainly in the UK, and the USA.
  • Fuzzy Logic for Embedded Systems Applications

    • 1st Edition
    • Ahmad Ibrahim
    • English
    Fuzzy Logic for Embedded Systems Applications, by a recognized expert in the field, covers all the basic theory relevant to electronics design, with particular emphasis on embedded systems, and shows how the techniques can be applied to shorten design cycles and handle logic problems that are tough to solve using conventional linear techniques. All the latest advances in the field aree discussed and practical circuit design examples presented.Fuzzy logic has been found to be particularly suitable for many embedded control applications. The intuitive nature of the fuzzy-based system design saves engineers time and reduces costs by shortening product development cycles and making system maintenance and adjustments easier. Yet despite its wide acceptance—and perhaps because of its name—it is still misunderstood and feared by many engineers. There is a need for embedded systems designers—both hardware and software—to get up to speed on the principles and applications of fuzzy logic in order to ascertain when and how to use them appropriately. Fuzzy Logic for Embedded Systems Applications provides practical guidelines for designing electronic circuits and devices for embedded systems using fuzzy-based logic. It covers both theory and applications with design examples.