Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Evidence, Documentary --- Criminal investigation --- Electronic records --- Computer files

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Digital television --- Copyright --- Copyright infringement --- Fair use (Copyright) --- Internet --- Law and legislation --- Computer files

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Digital preservation --- Emblem books --- Emblems --- Computer files --- Digital curation --- Digital media --- Electronic preservation --- Preservation of digital information --- Preservation of materials --- Heraldry --- Signs and symbols --- Symbolism --- Illustrated books --- Digitization --- Computer network resources --- Conservation and restoration --- Preservation --- Book conservation --- Iconography --- Europe

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Digital futures: strategies for the information age looks at how librarians and other information workers can develop the means to locate the electronic resources most relevant to the needs of their users, integrate these resources into the infrastructure of their institutions, manage the necessary technology, and anticipate future trends in the digital age. The text is relevant to the needs of libraries and information organizations of all types - educational, public, and corporate. A full bibliography is provided, together with a helpful glossary. This is an indispensable guide for all information managers and archivists needing to keep abreast of developments in communications technologies, manage change in the library environment, and implement new modes and methods of resource management. Others in the information and culture world, such as museum curators, media professionals and web content providers will also find it essential reading, as will students of digital culture on library and information studies and other courses.

Information systems --- Library automation --- Digital preservation --- Data protection --- Numérisation --- Protection de l'information (Informatique) --- 025.7 --- 651.59 --- Data governance --- Data regulation --- Personal data protection --- Protection, Data --- Electronic data processing --- Computer files --- Digital curation --- Digital media --- Electronic preservation --- Preservation of digital information --- Preservation of materials --- Conserveren van boeken. Inbinden. Microfilmeren. Digitaliseren --- Conservation and restoration --- Preservation --- 025.7 Conserveren van boeken. Inbinden. Microfilmeren. Digitaliseren --- Numérisation --- Digital libraries. --- Libraries --- Digital preservation. --- Special collections --- Electronic information resources.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer Science --- Engineering & Applied Sciences --- Computer programs --- Verification --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer Science, general. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- 681.3*D24 --- 681.3*D31 --- 681.3*F31 --- 681.3*F32 --- Computer files --- Computer software --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Computer programs - Verification - Congresses