Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3151651 obálek a 950616 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Information Systems
Rok: 1985
ISBN: 9780444877062
OKCZID: 110290109
Citace (dle ČSN ISO 690):
SERNADAS, Amílcar, ed., OLIVÉ, A., ed. a BUBENKO, Janis A., ed. Information systems: theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems : Sitges, Barcelona, Spain, 16-18 April, 1985. Amsterdam: North Holland, c1985. x, 236 s.
Anotace
This book contains papers on the theoretical and formal aspects of information systems. The fifteen papers address two main problems in the area: consolidation of the underlying concepts and identification of suitable formal tools for information system development. Several new modeling abstraction mechanisms and languages are presented and discussed, as well as logical formalisms for correctness analysis of specifications.