Information Technology

Per Page:
Sort:

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich
September 10, 1993

...

Algorithms and Data Structures in C++

Alan Parker
August 26, 1993

Algorithms and Data Structures in C++ introduces modern issues in the theory of algorithms, emphasizing complexity, graphs, parallel processing, and visualization. To accomplish this, the book uses an appropriate subset of frequently utilized and representative algorithms and applications in order...

Proceedings of the 1993 International Conference on Parallel Processing

C.Y. Roger Chen, P. Bruce Berra
August 16, 1993

This three-volume work presents a compendium of current and seminal papers on parallel/distributed processing offered at the 22nd International Conference on Parallel Processing, held August 16-20, 1993 in Chicago, Illinois. Topics include processor architectures; mapping algorithms to parallel...

Verification and Validation of Rule-Based Expert Systems

Suzanne Smith, Abraham Kandel
August 16, 1993

This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these...

Proceedings of the 1993 International Conference on Parallel Processing

Salim Hariri, P. Bruce Berra
August 16, 1993

This three-volume work presents a compendium of current and seminal papers on parallel/distributed processing offered at the 22nd International Conference on Parallel Processing, held August 16-20, 1993 in Chicago, Illinois. Topics include processor architectures; mapping algorithms to parallel...

Proceedings of the 1993 International Conference on Parallel Processing

Alok N. Choudhary, P. Bruce Berra
August 16, 1993

This three-volume work presents a compendium of current and seminal papers on parallel/distributed processing offered at the 22nd International Conference on Parallel Processing, held August 16-20, 1993 in Chicago, Illinois. Topics include processor architectures; mapping algorithms to parallel...

Manufacturing Databases and Computer Integrated Systems

Dimitris N. Chorafas
July 23, 1993

Manufacturing Databases and Computer Integrated Systems is the first book to probe the problems and solutions presented by the diversity of databases within the manufacturing industry. The author examines these heterogeneous databases at both the macro (national/international) level and micro (...

Microprogrammed State Machine Design

Michel A. Lynch
January 12, 1993

Microprogrammed State Machine Design is a digital computer architecture text that builds systematically from basic concepts to complex state-machine design. It provides practical techniques and alternatives for designing solutions to data processing problems both in commerce and in research...

Multiple-Valued Logic Design: an Introduction

G Epstein
January 01, 1993

Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a...

Artificial Intelligence Frontiers in Statistics: Al and Statistics III

David J. Hand
December 01, 1992

This book presents a summary of recent work on the interface between artificial intelligence and statistics. It does this through a series of papers by different authors working in different areas of this interface. These papers are a selected and referenced subset of papers presented at the 3rd...

Ensuring Software Reliability

Ann Marie Neufelder
November 12, 1992

Explains how software reliability can be applied to software programs of all sizes, functions and languages, and businesses. This text provides real-life examples from industries such as defence engineering, and finance. It is aimed at software and quality assurance engineers and graduate students....

Uncertain Information Processing In Expert Systems

Petr Hajek, Tomas Havranek, Radim Jirousek
June 29, 1992

Uncertain Information Processing in Expert Systems systematically and critically examines probabilistic and rule-based (compositional, MYCIN-like) systems, the two most important families of expert systems dealing with uncertainty. The book features a detailed introduction to probabilistic systems...

Conferences

Year: