Skip to main content
View Cart

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.

  • Higher Order Logic Theorem Proving and its Applications

    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • 1st Edition
    • Volume 20
    • L.J.M. Claesen + 1 more
    • English
    The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system. Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic. Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.

  • Machine Learning Proceedings 1988

    • 1st Edition
    • John Laird
    • English
    Proceedings of the Fifth International Conference on Machine Learning provides careful theoretical analyses that make clear contact with traditional problems in machine learning. This book discusses the key role of learning in cognition. Organized into 10 parts encompassing 49 chapters, this book begins with an overview of the OTIS induction system that learns concepts from positive and negative examples by searching through the space of possible concept descriptions. This text then reviews the methods to selecting examples, and explores the ramifications of one in detail. Other chapters consider a reported phenomenon in machine concept learning wherein concept descriptions can be simplified with little ill-effect on classification accuracy. This book discusses as well an implemented system that learns structural models of shape from noisy image data. The final chapter provides a discussion of the relationship between learning and forgetting. This book is a valuable resource for psychologists, scientists, theorists, and research workers.

  • IT Perspectives Conference

    The Future of Information Technology
    • 1st Edition
    • Sam Stuart
    • English
    IT Perspectives Conference is a documentation of the top-level conference sponsored by the publishers of Computer Weekly, which aims to examine the issues that concern computer professionals and to provide at least some of the answers while indicating the directions which IT may be expected to take moving on to the 1990s. Leading figures from the IT industry and from major computer users show how they are tackling the transition from the limited task based approach of traditional computing to the more wide-ranging strategic issues implicit in the concept of information as a resource to be managed, used competitively, and even sold. In looking towards a future characterized by transaction-oriented systems, online databases, and distributed processing, the significance of tools such as fourth generation languages and computer-assisted software engineering is described and the vital role of communications at all levels from local area networks to the development of international standards is examined. This book will be useful to anyone wishing to discern the main trends in IT development and computer systems implementation as they set out to develop the systems of the 1990s.

  • Analysis, Design and Evaluation of Man-Machine Systems 1989

    Selected Papers from the Fourth IFAC/IFIP/IFORS/IEA Conference, Xi'an, PRC, 12-14 September 1989
    • 1st Edition
    • B. Hu
    • English
    The twenty-seven papers cover recent advances in both empirical and theoretical aspects of man-machine interaction with special emphasis on the subjects of man-automation and man-computer interaction. They provide information on a subject which has grown rapidly in importance during recent years.

  • Real Time Programming 1988

    Proceedings of the 15thIFAC/IFIP Workshop, Valencia, Spain, 25-27 May 1988
    • 1st Edition
    • A. Crespo + 1 more
    • English
    Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry.

  • Approximate Reasoning in Intelligent Systems, Decision and Control

    • 1st Edition
    • E. Sanchez + 1 more
    • English
    Documents realistic applications of approximate reasoning techniques, with emphasis placed on operational systems. The papers presented explore new areas of practical decision-making and control systems by considering important aspects of fuzzy logic theory and the latest developments in the field of expert systems. Specific fields of application covered include modelling and control, management, planning, diagnostics, finance and software. Contains 12 papers.

  • Integrated Broadband Communication Networks and Services

    Proceedings of the IFIP TC6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993
    • 1st Edition
    • Volume 18
    • V.B. Iversen
    • English
    The importance of Broadband Communications in shaping the future telecommunication network has achieved world-wide recognition. This volume validates the huge significance of the field and explores key items concerning research, development and applications. The ideas and experiences presented will be of great interest to operators and users, for research and development, from both a technical and a commercial perspective.

  • Computer Hardware Description Languages and their Applications

    Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93 Sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993
    • 1st Edition
    • Volume 32
    • D. Agnew + 2 more
    • English
    Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification.

  • Microprocessor Interfacing

    • 1st Edition
    • R E Vears
    • English
    Microprocessor Interfacing provides the coverage of the Business and Technician Education Council level NIII unit in Microprocessor Interfacing (syllabus U86/335). Composed of seven chapters, the book explains the foundation in microprocessor interfacing techniques in hardware and software that can be used for problem identification and solving. The book focuses on the 6502, Z80, and 6800/02 microprocessor families. The technique starts with signal conditioning, filtering, and cleaning before the signal can be processed. The signal conversion, from analog to digital or vice versa, is explained to answer why conversion is necessary for the microcomputer or processor. The types of analogue to digital converter, voltage measurements, scaling, and interfacing with ADC to a microcomputer are all taken into account. After the signal has been converted into readable data, the date transfer techniques are described. For data between systems and subsystems to be efficient, the timing, electrical, I/O lines, serial data, and bus structure should be considered. A more detailed explanation of parallel I/O controllers as applied to Z80 PIO and the 6821 PIA follows. For serial I/O controllers, the serial data transfers, speed in baud rate, software routines, and ASCII codes are all examined. Finally, the dedicated I/O controllers involving keyboard encoding, the ASCII (QWERTY) keyboard interface, the visual display unit, cathode ray tube controller devices, and the drive controllers are discussed, as each of these requires one specific application. This book is useful for computer engineers, software engineers, computer technicians, teachers, and instructors in the field of computing learning. This text can also be an informative reading for those have great interest in computer hardware.

  • Students' Guide to Business Computing

    • 1st Edition
    • Norman Stang + 1 more
    • English
    Students' Guide to Business Computing discusses topics concerning the use of computers in business. The book is comprised of nine chapters that define systems requirements and discuss the issues in designing a system. Chapter 1 covers the business enterprise, while Chapter 2 tackles business computers. Chapter 3 talks about initiating the systems development life cycle, and then Chapter 4 deals with determining system requirements. The book also covers systems design and choosing and using a programming language. Applications software and systems testing and implementation are also discussed. The last chapter talks about selecting business computing hardware and software. The text will be useful to entrepreneurs who want to integrate information technology into their business.

Related subjects