Thematische Bibliographien / Certified library

Inhaltsverzeichnis

Zeitschriftenartikel
Dissertationen
Bücher
Buchteile
Konferenzberichte
Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „Certified library“

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Certified library" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Certified library"

Sambo, Atanda Saliu, Abdulakeem Akoworada Imran und Mohammed Lawal Akanbi Akanbi. „Digital Literacy Skills Among Certified Librarians in Nigerian Libraries: Library Overview“. Journal of Digital Learning and Education 2, Nr. 2 (29.08.2022): 70–79. http://dx.doi.org/10.52562/jdle.v2i2.316.

Der volle Inhalt der Quelle

Annotation:

Certified librarians in Nigeria libraries must be proactive and come on board to adopt a new intellectualizes digital literacy as a required ability that an individual must compulsorily possess. Three objectives such as types digital literacy skills, how it acquires and challenges faced by certified librarians. The study employed a social survey technique of research with a questionnaire as the research instrument. The study was carried out using the Statistical Package for the Social Sciences (SPSS) application software. The findings of this study show that the majority of certified librarians have digital literacy skills that they sponsor themselves for digital literacy training, and that some acquired digital literacy skills through trial and error among others. Certified librarians in Nigerian libraries to redouble their efforts in ensuring that these future librarians and scholars are well-trained to be digitally up-to-date in order to save the profession's future and contribute as much as possible to Nigeria's digital technology revival.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

K. Townsend, Andrea. „Environmental sustainability and libraries: facilitating user awareness“. Library Hi Tech News 31, Nr. 9 (28.10.2014): 21–23. http://dx.doi.org/10.1108/lhtn-07-2014-0059.

Der volle Inhalt der Quelle

Annotation:

Purpose – The purpose of this research paper is to examine how Canadian Leadership in Energy and Environmental Design (LEED)-certified libraries are facilitating awareness about environmental sustainability to library users. Design/methodology/approach – Twenty-four Canadian LEED-certified libraries were surveyed regarding internal initiatives, and methods used to promote their certification and green building features to library users. Findings – The research found that the majority of Canadian LEED-certified libraries were incorporating a variety of internal initiatives and methods to highlight their LEED-certification to library users. The findings show the majority of these libraries were actively involved in creating awareness about this topic to library users. Originality/value – This research may provide valuable information for libraries wanting to incorporate initiatives that bring awareness to environmental sustainability, or for libraries wanting to use existing green building features to help leverage awareness and learning about this topic.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Sambo, Atanda Saliu, und Gloria Oyovwe-Tinuoye. „Awareness and Perception of certified librarians of Nigeria towards the use of robotic technologies in the libraries“. Ghana Library Journal 28, Nr. 1 (10.07.2023): 26–34. http://dx.doi.org/10.4314/glj.v28i1.3.

Der volle Inhalt der Quelle

Annotation:

The study adopted the social survey technique and the population of the study comprised 452 certified librarians of Nigeria libraries that were certified by the Librarians’ Registration Council of Nigeria (LRCN) on November, 24th, 2021. The librarians who took part in the survey were chosen using a random sampling method. One out of every three librarians being admitted on the day was given the questionnaire. The researcher used Statistical Package for the Social Sciences (SPSS version 20.0) application software with simple percentages chosen for easier analysis and interpretation. The findings of this study revealed that certified librarians are averagely aware of the existence of robotic technologies usage for library services and the anxiety of employee retrenchment is the major anxiety, despite they are aware that, the innovative apparatuses will increase global recognition and enhance library services. It shows that certified librarians are faced challenges towards the use of robotic technologies such as potential job loss, inadequate funding and epileptic among others. The study recommended that certified librarians should keep up with modern trends in information dissemination by learning fundamental skills that are technologically compatible among others.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

CHLIPALA, ADAM. „Modular development of certified program verifiers with a proof assistant“,. Journal of Functional Programming 18, Nr. 5-6 (15.08.2008): 599–647. http://dx.doi.org/10.1017/s0956796808006904.

Der volle Inhalt der Quelle

Annotation:

AbstractWe report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checked proof of full correctness. The verifier is able to prove memory safety of x86 machine code programs compiled from code that uses algebraic datatypes. The tool's soundness theorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions. We take advantage of Coq's support for programming with dependent types and modules in the structure of the development. The approach is based on developing a library of reusable functors for transforming a verifier at one level of abstraction into a verifier at a lower level. Using this library, it is possible to prototype a verifier based on a new type system with a minimal amount of work, while obtaining a very strong soundness theorem about the final product.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Moy, Yannick, und Claire Dross. „Proving the Correctness of GNAT Light Runtime Library“. ACM SIGAda Ada Letters 42, Nr. 1 (15.12.2022): 65–67. http://dx.doi.org/10.1145/3577949.3577959.

Der volle Inhalt der Quelle

Annotation:

The GNAT light runtime library is a version of the runtime library targeted at embedded platforms and certification, which has been certified for use at the highest levels of criticality in several industrial domains. It contains around 180 units focused mostly on I/O, numerics, text manipulation, memory operations. We have used SPARK to prove the correctness of 40 of them: that the code is free of runtime errors, and that it satisfies its functional specifications.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

LAMBOV, BRANIMIR. „RealLib: An efficient implementation of exact real arithmetic“. Mathematical Structures in Computer Science 17, Nr. 1 (Februar 2007): 81–98. http://dx.doi.org/10.1017/s0960129506005822.

Der volle Inhalt der Quelle

Annotation:

This paper is an introduction to the RealLib package for exact real number computations. The library provides certified accuracy, but tries to achieve this at performance close to the performance of hardware floating point for problems that do not require higher precision. The paper gives the motivation and features of the design of the library and compares it with other packages for exact real arithmetic.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Takaike, Norihiko. „Academic libraries in certified evaluation and accreditation of universities“. Library and Information Science 75 (30.06.2016): 1–36. http://dx.doi.org/10.46895/lis.75.1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Benson, Megan, und Kari Mofford. „Librarian/Yoga Teachers: Uncovering a Unique Population“. Journal of New Librarianship 7, Nr. 2 (25.09.2022): 10–30. http://dx.doi.org/10.33011/newlibs/12/8.

Der volle Inhalt der Quelle

Annotation:

A survey was created to determine whether or not there is a community of librarians/library workers who are also certified to teach yoga. The survey helped to identify the size of the community and explored the participant’s experiences associated with the dual skills sets. Results show there are strong benefits for those library workers who have their yoga certification, but there are also concerns and challenges that demonstrate a need for a more formal community and further research.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wardana, Billy Eka. „Certified Manajemen Pendidikan Islam (Teori, Prinsip, Aspek, Fungsi, dan Konsep)“. Asian Journal of Management Analytics 1, Nr. 2 (11.11.2022): 79–88. http://dx.doi.org/10.55927/ajma.v1i2.1448.

Der volle Inhalt der Quelle

Annotation:

Reorientasi Pendidikan dengan mengembalikan ke garis pendidikan Ki Hajar Dewantara yang dikembangkan secara konstekstual dan lebih maju bukan sekedar menyiapkan peserta didik sebagai sekrup industrialisasi ekonomi tetapi merupakan prosen belajar seutuhmya. Tujuan pendidikan islam secara efektif dan efisien diletakkan atas 4 sandaran yaitu sandar teologis, rasional, empiris, dan teoretis. Metode Penelitian ini berupa data kualitatif dengan menggunakan pendekatan library research (studi kepustakaan). Hasil dan pembahasan menerangkan fungsi manajemen atau tugas kepemimpinan dalam pelaksanaannya meliputi: Perencanaan, pengorganisasian, pengarahan dan pengawasan. Metodologi pendidikan Islam adalah sebagai berikut 1) Menolong, 2) Berpikir sehat, rajin, sabar, dan teliti, 3) Pembelajaran secara efektif dan efisien. 4) Belajar mengajar yang kondusif dan komunikatif.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Herzberg, Tina S., und Laura M. Stough. „The Production of Brailled Instructional Materials in Texas Public Schools“. Journal of Visual Impairment & Blindness 101, Nr. 8 (August 2007): 465–78. http://dx.doi.org/10.1177/0145482x0710100803.

Der volle Inhalt der Quelle

Annotation:

This study investigated the background of personnel who are responsible for transcribing braille in Texas. Most respondents were not certified by the Library of Congress and believed that they had begun their careers less than adequately prepared, yet they rated the quality of the materials that they produced as either excellent or good.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mehr Quellen

Dissertationen zum Thema "Certified library"

Moos, Daniel D. Hawkins Peggy L. Morin Patricia J. Hadenfeldt Sharon. „Barriers to the publication of scientific literature by academic certified registered nurse anesthetists“. Click here for access, 2009. http://www.csm.edu/Academics/Library/Institutional_Repository.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ed. D)--College of Saint Mary -- Omaha, 2009.
A dissertation submitted by Daniel D. Moos in partial fulfillment of the requirement for the degree of Doctor in Education with an emphasis on Health Professions Education. This dissertation has been accepted for the faculty of College of Saint Mary by: Peggy Hawkins, RN, PhD, chair ; Patricia J. Morin, RN, PhD, committee member ; Sharon Hadenfeldt, CRNA, PhD, committee member. Includes bibliographical references.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Zucchini, Rébecca. „Bibliothèque certifiée en Coq pour la provenance des données“. Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG040.

Der volle Inhalt der Quelle

Annotation:

La présente thèse se situe à l'intersection des méthodes formelles et des bases de données, et s'intéresse à la formalisation de la provenance des données à l'aide de l'assistant de preuve Coq. L'étude de la provenance des données, qui permet de retracer leur origine et leur historique, est essentielle pour assurer la qualité des données, éviter les interprétations erronées et favoriser la transparence dans le traitement des données. La thèse propose ainsi la formalisation de deux types de provenance des données couramment utilisés, la How-provenance et la Where-provenance. Cette formalisation a permis de comparer leur sémantique, mettant en évidence leurs différences et leurs complémentarités. En outre, elle a conduit à la proposition d'une structure algébrique et d'une sémantique unificatrice pour ces deux types de provenance
This thesis is about the formalization of data provenance using the Coq proof assistant, at the intersection of formal methods and database communities. It explores the importance of data provenance, which tracks the origin and history of data, in addressing issues such as poor data quality, incorrect interpretations, and lack of transparency in data processing. The thesis proposes formalizations of two commonly used types of data provenance, How-provenance and Where-provenance. Formalizing both types of provenance allowed us to compare their semantics, highlighting their differences and complementarities. Additionally, the formalization of these two types of provenance led to the proposal of an algebraic structure that provides a unifying semantics

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Fernandes, Nuno Filipe Trovisco. „Cryptographic library support for a certified compiler“. Master's thesis, 2014. http://hdl.handle.net/1822/37511.

Der volle Inhalt der Quelle

Annotation:

Dissertação de mestrado em Engenharia Informática
An essential component regarding the development of information systems is the compiler: a tool responsible for translating high-level language code, like C or Java, into machine code. The issue is, compilers are themselves big and complex programs, making them also vulnerable to failures that may be propagated to the compiled programs. To overcome those risks research on “certified compilers” has been made, and recently some proposals have appeared. That sort of compilers guarantees that the compilation process runs as specified. In this dissertation is studied the applicability of the certified compiler CompCert in cryptographic software development. The first point being addressed was the use of support libraries, such as big number libraries. As a matter of fact, such libraries are an essential requisite for the considered type of application, therefore the study of different options for using these libraries, always considering the impact in program’s performance and semantic preservation offered by the compiler. The second point being addressed was the use of SIMD extensions available on recent processors. Here the objective was to demonstrate how one could overcome the current CompCert’s limitations as to discuss other solutions.
Um componente essencial na produção de sistemas informáticos é o compilador: a ferramenta responsável por traduzir o código numa linguagem de alto nível como o C ou o Java em instruções do processador que serão efectivamente executadas. Mas os compiladores são eles próprios programas grandes e complexos, vulneráveis a falhas que se podem propagar de forma incontrolável por todos os programas por eles processados. Com o objectivo de ultrapassar esse risco surgiram recentemente as primeiras propostas de "compiladores certificados" onde se garante que o processo de compilação está conforme o especificado. Nesta dissertação é estudada a aplicabilidade do compilador certificado CompCert no desenvolvimento de software criptográfico. O primeiro aspecto abordado foi a utilização de bibliotecas de suporte, como as bibliotecas de números grandes. De facto, tais bibliotecas são um requisito essencial para tipo de aplicação considerado, estudando-se por isso diferentes alternativas para a utilização dessas bibliotecas, considerando quer o impacto na eficiência dos programas, quer as garantias de preservação semântica oferecidas pelo compilador. Um segundo aspecto abordado foi a utilização de extensões SIMD disponibilizadas pelos processadores mais recentes. Aqui o objectivo foi o de mostrar como é possível ultrapassar as limitações da versão actual do CompCert, assim como discutir soluções mais abrangentes ao problema.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

„Digital libraries in schools: The best practices of national board certified library media specialists“. UNIVERSITY OF MARYLAND, COLLEGE PARK, 2009. http://pqdtopen.proquest.com/#viewpdf?dispub=3359753.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bücher zum Thema "Certified library"

Sales und Marketing Foundation staff. Advanced Sales Skills (The Certified Sales Professionals Library). Irwin Professional Pub, 1996.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Executive Sales Management Skills (The Certified Sales Professional Library). Irwin Professional Pub, 1995.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Basic Sales Management Skills (The Certified Sales Professional Library). Irwin Professional Pub, 1994.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Stephens, Claire Gatrell, und Patricia Franklin. School Library Collection Development. ABC-CLIO, LLC, 2012. http://dx.doi.org/10.5040/9798216011231.

Der volle Inhalt der Quelle

Annotation:

This practical manual demystifies the process of creating and maintaining a quality school library collection—an invaluable resource for anyone working in a library media center. Today's school librarians have many different responsibilities, but arguably the most important aspect of their job is developing and maintaining a collection that their library customers love. School Library Collection Development: Just the Basics is an accessible, practical manual that explains the fundamentals of purchasing, developing, and managing a collection. Containing information useful to anyone from a paraprofessional working under the guidance of a certified school librarian to a newcomer to the field to a certified media specialist, this book covers all of the basics through best practices. The authors provide much-needed advice on how to add to an existing collection, how to weed books no longer needed, and how to process and inventory that collection. This book is a must-have resource for staff members who are new to school libraries and need an easy-to-read guide to help them quickly learn the job.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Mulford, Sam McBane, und Ned A. Himmel. How Green is My Library? ABC-CLIO, LLC, 2009. http://dx.doi.org/10.5040/9798400666629.

Der volle Inhalt der Quelle

Annotation:

While there is a broad spectrum of ecological sophistication within libraries nationwide and some regions are at the forefront of sustainable of sustainable design and operations, others are just beginning or have yet to integrate materials recycling into their daily practice. A few jurisdictions are mandating LEED certified buildings and carbon-neutral practices, while others do not yet have these concepts on their radars.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Messner, Patricia A., und Brenda S. Copeland. School Library Management. ABC-CLIO, LLC, 2011. http://dx.doi.org/10.5040/9798216011309.

Der volle Inhalt der Quelle

Annotation:

Written in clear, simple language, this book provides information that will help an aide or paraprofessional manage a school library. Setting up and managing a library media center is a complex task best handled by a certified and experienced librarian, but the fact of the matter is that many school districts have had to cut librarian positions and are attempting to fill the gaps with aides. School Library Management: Just the Basics describes the step-by-step process of setting up the management processes in a school library and outlines easy management concepts that will guide aides through challenges like setting up activity centers and establishing rules for behavior. With over three decades of experience in librarianship between them, the authors cover topics such as student incentives and rewards; scheduling and supervising computer usage; circulation procedures; training materials for volunteers; passes, book marks, and other patterns; and privacy issues. This book can also serve as an effective training guide for district librarians responsible for training aides who are running multiple centers.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Sapstead, Gareth. Ultimate Abs. Human Kinetics, 2022. http://dx.doi.org/10.5040/9781718225756.

Der volle Inhalt der Quelle

Annotation:

“Ultimate Abs does more than give you workouts. It teaches the principles of core training, setting you up for sustainable, long-term success.” Ebenezer Samuel, CSCS Fitness Director at Men’s Health "You want a strong, jacked core? Ultimate Abs shows you a much better way to train your abs and obliques. It’s your workout guide for building an athletic core." Nick Tumminello Author of Your Workout Perfected “Ultimate Abs just set the new standard for core training in our field, and nothing is likely to surpass it.” Joel Seedman, PhD Neuromuscular Physiologist Performance Specialist Founder and CEO of Advanced Human Performance You want chiseled abs but haven’t seen results. Ultimate Abs: The Definitive Guide to Developing a Chiseled Six-Pack provides a science-based approach to abdominal training designed to help you finally achieve that elusive six-pack. Featuring 130 of the best abdominal exercises, certified strength and conditioning specialist and fitness expert Gareth Sapstead helps you successfully reach your training goals by providing progressions and regressions of each exercise to accommodate your specific fitness level. Whether you are training in a fully equipped gym or at home, Sapstead provides programming that will help you achieve results based on the equipment you have available. Sapstead’s distinctive approach to delivering effective and innovative fitness content has made him one of the most followed fitness experts on social media and earned him the moniker “the Fitness Maverick.” In Ultimate Abs he addresses the principles that underpin effective ab training and addresses the misconceptions surrounding abdominal training to cut a direct path to the most effective way to develop a six-pack. Filled with expert coaching cues and an abdominal exercise library like none other, Ultimate Abs is a must-have guide for achieving the abs you have been working toward.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buchteile zum Thema "Certified library"

Braibant, Thomas. „Coquet: A Coq Library for Verifying Hardware“. In Certified Programs and Proofs, 330–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-25379-9_24.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Marco-Buzunariz, Miguel Ángel, und Marcos Rodríguez. „SIROCCO: A Library for Certified Polynomial Root Continuation“. In Mathematical Software – ICMS 2016, 191–97. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-42432-3_24.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Okada, Daisuke. „10,000 Newly Certified Librarians, 100 Secure Jobs“. In Internationalization of Library and Information Science Education in the Asia-Pacific Region, 78–101. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-2273-8.ch004.

Der volle Inhalt der Quelle

Annotation:

This chapter discusses the status, challenges, and issues encountered in librarianship in Japan, especially school librarianship. Specifically, it focuses on the certifications for school library staff, the curriculum model, and the employability of certified librarians. Topics related to Library and Information Studies schools, training programs for certified librarians, summer and distance education, qualifications and accreditation of teacher librarians are discussed as well. Currently, librarianship and school librarianship are not close to implementing internationalization; however, this discussion cannot be avoided. Hence, this chapter argues that it is necessary to incorporate the specific trends in Japan along with global trends.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Waheed, Zehra. „The British Council Lahore’s Green and LEED-certified Library Building“. In Green Behavior and Corporate Social Responsibility in Asia, 17–25. Emerald Publishing Limited, 2019. http://dx.doi.org/10.1108/978-1-78756-683-520191004.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bohuski, Laura. „What If Your Library Can't Go Green?“ In Advances in Library and Information Science, 13–26. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-5225-9825-1.ch002.

Der volle Inhalt der Quelle

Annotation:

Environmentalism and climate change are hot topics of conversation in society today, but libraries have long been a supporter of the environmental movement and going green. Often libraries have shown their agreement with green movement ideas through the construction or renovation of green libraries. However, with decreasing budgets, many libraries cannot afford new construction or the fees associated with becoming green certified. How then can libraries continue to support the green movement while on a budget? This chapter argues that while green certification is a good goal to have, if libraries would switch their focus to the wellness of their employees and patrons instead, then libraries could still have a positive impact on the well-being of their communities and enact healthy and environmentally sound initiatives, while also staying within their budget.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Abdul Majid, Mayasari, und Shamila Mohamed Shuhidan. „Information Literacy Module“. In Advances in Library and Information Science, 100–117. IGI Global, 2022. http://dx.doi.org/10.4018/978-1-7998-8942-7.ch006.

Der volle Inhalt der Quelle

Annotation:

The school library is recognized as an information center for learning, staffed by certified and professional school librarians, that collaborates with educators. This International School, known as IS1, offers library lesson periods for their primary and secondary students starting from January 2021 to assist and guide students equipping themselves with information literacy skills in supporting their academic purposes. The five information literacy modules were developed, namely Information Resources, OPAC & WEBPath Express (School Databases), Online Information Resources, Citation & References, and Basic Research Steps. After completing the information literacy modules, researchers interview the subject teachers about the perception of the implementation of the information literacy module with the students. Findings show that the implementation of the IL module was a good initiative to collaborate with school librarians to produce self-guided learning to boost student motivation and achievement.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Atanda, Sambo Saliu. „Digital Preservation Challenges in Nigeria Libraries“. In Advances in Library and Information Science, 41–53. IGI Global, 2017. http://dx.doi.org/10.4018/978-1-5225-1653-8.ch003.

Der volle Inhalt der Quelle

Annotation:

The population consists of 172 participants that were presence at 2nd Conference of Certified Librarians by Librarians' Registration Council of Nigeria held in Abuja, 2015.The instrument used to generate data is the questionnaire and data generated was analyzed using frequency, bar charts, percentages and mean. The outcome of the study revealed that many librarians do not have training on digital preservation management despite the awareness of digital preservation challenges. The findings revealed major challenges such as hardware and software obsolesces, lack of training, lack of backup/standard, lack of strategy policy, lack of fund and lack of legal right. Recommendations were made to protect and safeguard digital preservation challenges in the libraries. Such as training and retraining of librarians on new technology/ trend in managing library digital content, software and hardware technology should be improved, Nigerian Library Association (NLA) should create a standard policy and ensure compliance by all libraries for them to enjoy increased funding. Among others.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "Certified library"

Paulson, Lawrence C. „Porting the HOL light analysis library: some lessons (invited talk)“. In CPP '17: Certified Proofs and Programs. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3018610.3023366.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bauer, Andrej, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau und Bas Spitters. „The HoTT library: a formalization of homotopy type theory in Coq“. In CPP '17: Certified Proofs and Programs. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3018610.3018615.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Guo, Yu, Xinyu Jiang, Yiyun Chen und Chunxiao Lin. „A Certified Thread Library for Multithreaded User Programs“. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07). IEEE, 2007. http://dx.doi.org/10.1109/tase.2007.1.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Vindum, Simon Friis, Dan Frumin und Lars Birkedal. „Mechanized verification of a fine-grained concurrent queue from meta’s folly library“. In CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3497775.3503689.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Lindeman, Elena, und Darya Moseeva. „Advanced professional education for library staff: Criteria for program selection and compromises“. In The Book. Culture. Education. Innovations. Russian National Public Library for Science and Technology, 2020. http://dx.doi.org/10.33186/978-5-85638-223-4-2020-137-139.

Der volle Inhalt der Quelle

Annotation:

The quality of programs in library and information activity offered by various advanced professional training centers are discussed along with the issues and vectors of advanced training of the RNPLS&T staff. The RNPLS&T has to choose between expensive courses when new knowledge and skills are guaranteed, and online express courses (fast, easy, cheaply) where no new competences are guaranteed though employees get standard certificates. This trend facilitates establishing more and more online training centers that are just making money due to the demand for standardized certification. The double standards of education programs evaluation influence the quality of knowledge, though documented and certified. The authors argue that the above mentioned educational organizations have to be controlled, the more so, as the libraries are to accomplish their staff appraisal.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "Certified library"

Rubin, M. Optical Data Library {number_sign}5 for use with the WINDOW 4.1 computer program including NFRC certified data. Office of Scientific and Technical Information (OSTI), Januar 1998. http://dx.doi.org/10.2172/656862.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!