Bibliografías temáticas / Certified library

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Certified library"

Autor: Grafiati
Publicado: 25 de mayo de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Certified library".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Certified library"

1

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Moy, Yannick, and Claire Dross. "Proving the Correctness of GNAT Light Runtime Library." ACM SIGAda Ada Letters 42, no. 1 (2022): 65–67. http://dx.doi.org/10.1145/3577949.3577959.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Benson, Megan, and Kari Mofford. "Librarian/Yoga Teachers: Uncovering a Unique Population." Journal of New Librarianship 7, no. 2 (2022): 10–30. http://dx.doi.org/10.33011/newlibs/12/8.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "Certified library"

1

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.

Texto completo
Resumen
Thesis (Ed. D)--College of Saint Mary -- Omaha, 2009.<br>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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Zucchini, Ré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.

Texto completo
Resumen
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<br>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
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
Dissertação de mestrado em Engenharia Informática<br>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.<br>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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Certified library"

1

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Resumen
“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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Certified library"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Resumen
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 &amp; WEBPath Express (School Databases), Online Information Resources, Citation &amp; 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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Certified library"

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Guo, Yu, Xinyu Jiang, Yiyun Chen, and 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Vindum, Simon Friis, Dan Frumin, and 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. ACM, 2022. http://dx.doi.org/10.1145/3497775.3503689.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Lindeman, Elena, and 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.

Texto completo
Resumen
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&amp;T staff. The RNPLS&amp;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.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Certified library"

1

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), 1998. http://dx.doi.org/10.2172/656862.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía