Witnessing America
Witnessing America

Author: Library of Congress

Publisher: Viking Adult

Published: 1996

Total Pages: 584

ISBN-13:

DOWNLOAD EBOOK

Presents a portait of America's social and cultural history between 1600 and 1900, told through letters, diaries, memoirs, tracts, and other articles and first-hand accounts found in the collections of the Library of Congress.

Parliament and Congress
Parliament and Congress

Author: William McKay

Publisher: Oxford University Press

Published: 2010-06-03

Total Pages: 596

ISBN-13: 0199273626

DOWNLOAD EBOOK

In Parliament and Congress the constitutional background and the procedures are described and where possible compared in an entirely fresh look at the two legislatures. Though their constitutional positions and development are quite distinct, they nevertheless have much in common historically and face many of the same contemporary problems.

Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory

Author: Giovanni Sambin

Publisher: Clarendon Press

Published: 1998-10-15

Total Pages: 292

ISBN-13: 0191606936

DOWNLOAD EBOOK

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.

LC21
LC21

Author: National Research Council

Publisher: National Academies Press

Published: 2001-01-23

Total Pages: 284

ISBN-13: 0309171687

DOWNLOAD EBOOK

Digital information and networks challenge the core practices of libraries, archives, and all organizations with intensive information management needs in many respectsâ€"not only in terms of accommodating digital information and technology, but also through the need to develop new economic and organizational models for managing information. LC21: A Digital Strategy for the Library of Congress discusses these challenges and provides recommendations for moving forward at the Library of Congress, the world's largest library. Topics covered in LC21 include digital collections, digital preservation, digital cataloging (metadata), strategic planning, human resources, and general management and budgetary issues. The book identifies and elaborates upon a clear theme for the Library of Congress that is applicable more generally: the digital age calls for much more collaboration and cooperation than in the past. LC21 demonstrates that information-intensive organizations will have to change in fundamental ways to survive and prosper in the digital age.