Gotowe bibliografie tematyczne / Certified library

Gotowa bibliografia na temat „Certified library”

Autor: Grafiati

Data publikacji: 25 maja 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Certified library”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Certified library"

Sambo, Atanda Saliu, Abdulakeem Akoworada Imran i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Sambo, Atanda Saliu, i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Moy, Yannick, i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Benson, Megan, i 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

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

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

"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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Książki na temat "Certified library"

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

“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.

Style APA, Harvard, Vancouver, ISO itp.

Części książek na temat "Certified library"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Okada, Daisuke. "10,000 Newly Certified Librarians, 100 Secure Jobs". W 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Waheed, Zehra. "The British Council Lahore’s Green and LEED-certified Library Building". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Certified library"

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Vindum, Simon Friis, Dan Frumin i Lars Birkedal. "Mechanized verification of a fine-grained concurrent queue from meta’s folly library". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Lindeman, Elena, i Darya Moseeva. "Advanced professional education for library staff: Criteria for program selection and compromises". W 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.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "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), styczeń 1998. http://dx.doi.org/10.2172/656862.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!