Current Catalog

Current Catalog
Author: National Library of Medicine (U.S.)
Publisher:
Total Pages: 1144
Release:
Genre: Medicine
ISBN:

First multi-year cumulation covers six years: 1965-70.

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Author: Martin Grohe
Publisher:
Total Pages: 901
Release: 2016-07-05
Genre: Computer logic
ISBN: 9781450343916

LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science Jul 05, 2016-Jul 08, 2016 New York, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.

Readings in Object-Oriented Database Systems

Readings in Object-Oriented Database Systems
Author: Stanley B. Zdonik
Publisher: Morgan Kaufmann
Total Pages: 646
Release: 1990
Genre: Computers
ISBN: 9781558600003

This comprehensive collection is a survey of research in object-oriented databases, offering a substantive overview of the field, section introductions, and over 40 research papers presented in their original scope and detail. The balanced selection of articles presents a confluence of ideas from both the language and database research communities that have contributed to the object-oriented paradigm. The editors develop a general definition and model for object-oriented databases and relate significant research efforts to this framework. Further, the collection explores the fundamental notions behind object-oriented databases, semantic data models, implementation of object-oriented systems, transaction processing, interfaces, and related approaches. Research and theory are balanced by applications to CAD systems, programming environments, and office information systems.

Advances in Petri Nets 1991

Advances in Petri Nets 1991
Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
Total Pages: 590
Release: 1991-08-28
Genre: Computers
ISBN: 9783540543985

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.

Cognitive Ergonomics

Cognitive Ergonomics
Author: Pierre Falzon
Publisher: Academic Press
Total Pages: 274
Release: 2015-09-03
Genre: Technology & Engineering
ISBN: 1483288498

This reference work covers the breadth of cognitive ergonomics in human*b1computer interaction (HCI). Covering models for design, learning procedures, and planning and understanding, this book is specifically concerned with the cognitive ergonomics of human*b1computer interaction--from analogical thinking to spreadsheet calculation, office organization to process control. It provides an overview of HCI issues from the cognitive perspective.