This paper introduces a novel research tool for the field of linguistics: The Lin|gu|is|tik web portal provides a virtual library which offers scientific information on every linguistic subject. It comprises selected internet sources and databases as well as catalogues for linguistic literature, and addresses an interdisciplinary audience. The virtual library is the most recent outcome of the S...

Oliver Wendell Holmes Hall, the reading room of the Countway Library's Rare Books & Special Collections department, re-opened its doors to researchers on May 1 7, 1999 after being closed for two months while the department moved into newly renovated quarters. Holmes Hall-or the "new," elegant Holmes Hall-is the crown jewel ofthe "new" Rare Books & Special Collections department. The department,...

In this paper we present a general library to reason about floating-point numbers within the Coq system. Most of the results of the library are proved for an arbitrary floating-point format and an arbitrary base. A special emphasis has been put on proving properties for exact computing, i.e. computing without rounding errors.

Library; Bacon’s Media Directory; Cabell’s Directories; CSA Illumina; DBLP; GetCited; Google Scholar; INSPEC; JournalTOCs; Library & Information Science Abstracts (LISA); MediaFinder; Norwegian Social Science Data Services (NSD); SCOPUS; The Index of Information Systems Journals; The Standard Periodical Directory; Ulrich’s Periodicals Directory Special Issue on Evidence Based Management for Ser...

This paper is a presentation of symbolic analysis of switched currents (SI) circuits by software for analysis of switched capacitors (SC) circuits – SCSYRUP. It is a special library of functions for MAPLE software which allows the symbolic analysis of switched circuits. An example of an SI circuit analysis by means of this library is presented in this paper.

INCLUDEDI N THE BIBLIOGRAPHY to this paper are several references that include listings of library consultants directly or indirectly related to library automation (Berry, Cibbarelli, Finnigan, International Microfilm Source Book, Kruzas, Special Libraries Association, Warnken, Wasserman). Beyond the more than 200 companies identified in them are uncounted numbers of individuals who serve as co...

Library; Bacon’s Media Directory; Cabell’s Directories; Compendex (Elsevier Engineering Index); DBLP; GetCited; Google Scholar; HCIBIB; INSPEC; JournalTOCs; Library & Information Science Abstracts (LISA); MediaFinder; Norwegian Social Science Data Services (NSD); PsycINFO®; SCOPUS; The Index of Information Systems Journals; The Standard Periodical Directory; Ulrich’s Periodicals Directory Speci...

University libraries play a vital role in the information society through provision of quality effectively and efficiently to academic community. The proliferation Information Technology opens avenues for easy accessibility eliminates need physical library visits satisfy needs. It is crucial that university adopt innovative strategies tech-savvy users this digital era. Therefore, management sho...