Index of Conference Proceedings
Author : British Library. Document Supply Centre
Publisher :
Page : 844 pages
File Size : 10,87 MB
Release : 1999
Category : Conference proceedings
ISBN :
Synopsis: An Annual Index of Greek Studies, 1993, 3
Author : Andrew D. Dimarogonas
Publisher : CRC Press
Page : 510 pages
File Size : 28,42 MB
Release : 1998-10-28
Category : Social Science
ISBN : 9789057025624
Book Description
Presents 12,860 entries listing scholarly publications on Greek studies. Research and review journals, books, and monographs are indexed in the areas of classical, Hellenistic, Biblical, Byzantine, Medieval, and modern Greek studies., but no annotations are included. After the general listings, entries are also indexed by journal, text, name, geography, and subject. The CD-ROM contains an electronic version of the book. Annotation copyrighted by Book News, Inc., Portland, OR
Proceedings of the International Conference on Strongly Correlated Electron Systems, SCES '93
Author : Robert P. Guertin
Publisher :
Page : 722 pages
File Size : 29,48 MB
Release : 1994
Category : Antiferromagnetism
ISBN :
Book Description
Correctional Populations in the United States, 1993
Author : Tracy L. Snell
Publisher :
Page : 220 pages
File Size : 11,41 MB
Release : 1995
Category : Corrections
ISBN :
Book Description
Monthly Catalogue, United States Public Documents
Author :
Publisher :
Page : 1070 pages
File Size : 43,98 MB
Release : 1993
Category : Government publications
ISBN :
Book Description
Law Enforcement Management and Administrative Statistics, 1993
Author : Brian Reaves
Publisher : DIANE Publishing
Page : 336 pages
File Size : 38,42 MB
Release : 1995
Category : Political Science
ISBN : 9780788124419
Book Description
Presents 1993 data of the nationwide survey of the Nation's State & local law enforcement agencies. Includes sections showing data on personnel, expenditures & pay, operations & equipment, computers & information systems, & policies & programs. Hundreds of statistical tables.
Formal Description Techniques and Protocol Specification, Testing and Verification
Author : Atsushi Togashi
Publisher : Springer
Page : 544 pages
File Size : 35,75 MB
Release : 2013-06-05
Category : Computers
ISBN : 0387352716
Book Description
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Sheriffs' Departments 1993
Author : Brian Reaves
Publisher :
Page : 32 pages
File Size : 33,20 MB
Release : 1996
Category : Law enforcement
ISBN :
Book Description
Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
Author : Poong-Hyun Seong
Publisher : Springer Science & Business Media
Page : 316 pages
File Size : 50,13 MB
Release : 2008-10-25
Category : Technology & Engineering
ISBN : 1848003846
Book Description
“Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems” provides a comprehensive coverage of reliability issues and their corresponding countermeasures in the field of large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems. Unlike other books which examine theories and issues in individual fields, this book reviews important problems and countermeasures across the fields of software reliability, software verification and validation, digital systems, human factors engineering and human reliability analysis. Divided into four sections dealing with software reliability, digital system reliability, human reliability and human operators in large-scale digital systems, the book offers insights from professional researchers in each specialized field in a diverse yet unified approach.
Resources in Education
Author :
Publisher :
Page : 352 pages
File Size : 14,87 MB
Release : 1995
Category : Education
ISBN :
