Author: Royal Society (Great Britain). Library
Publisher:
ISBN:
Category : Learned institutions and societies
Languages : en
Pages : 474
Book Description
Catalogue of the Periodical Publications in the Library of the Royal Society of London
Author: Royal Society (Great Britain). Library
Publisher:
ISBN:
Category : Learned institutions and societies
Languages : en
Pages : 474
Book Description
Publisher:
ISBN:
Category : Learned institutions and societies
Languages : en
Pages : 474
Book Description
Selected Papers and Proceedings
Author: Royal Astronomical Society of Canada
Publisher:
ISBN:
Category : Astronomy
Languages : en
Pages : 1502
Book Description
List of members in volumes for 1892-99, 1901-05.
Publisher:
ISBN:
Category : Astronomy
Languages : en
Pages : 1502
Book Description
List of members in volumes for 1892-99, 1901-05.
Union List of Serials in the Libraries of Rochester
Author: Rochester Public Library (Rochester, N.Y.)
Publisher:
ISBN:
Category : Learned institutions and societies
Languages : en
Pages : 158
Book Description
Publisher:
ISBN:
Category : Learned institutions and societies
Languages : en
Pages : 158
Book Description
Current Catalog
Author: National Library of Medicine (U.S.)
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1000
Book Description
Includes subject section, name section, and 1968-1970, technical reports.
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1000
Book Description
Includes subject section, name section, and 1968-1970, technical reports.
Handbook of Learned Societies and Institutions
Author: James David Thompson
Publisher:
ISBN:
Category : Education
Languages : en
Pages : 612
Book Description
Publisher:
ISBN:
Category : Education
Languages : en
Pages : 612
Book Description
Special Publications
Author: Harvard University. Library
Publisher:
ISBN:
Category : Bibliography
Languages : en
Pages : 384
Book Description
Publisher:
ISBN:
Category : Bibliography
Languages : en
Pages : 384
Book Description
The English Catalogue of Books [annual].: 1863-1871
Author: Sampson Low
Publisher:
ISBN:
Category : English imprints
Languages : en
Pages : 470
Book Description
Volumes for 1898-1968 include a directory of publishers.
Publisher:
ISBN:
Category : English imprints
Languages : en
Pages : 470
Book Description
Volumes for 1898-1968 include a directory of publishers.
The English catalogue of books
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 464
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 464
Book Description
Dictionary Catalog of the University Library, 1919-1962
Author: University of California, Los Angeles. Library
Publisher:
ISBN:
Category : Library catalogs
Languages : en
Pages : 1034
Book Description
Publisher:
ISBN:
Category : Library catalogs
Languages : en
Pages : 1034
Book Description
Transactions and Database Dynamics
Author: Gunter Saake
Publisher: Springer
ISBN: 3540464662
Category : Computers
Languages : en
Pages : 255
Book Description
These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.
Publisher: Springer
ISBN: 3540464662
Category : Computers
Languages : en
Pages : 255
Book Description
These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.