<--- Back to Details
First PageDocument Content
Library science / Open access / Science / Academic publishing / Open Archives Initiative / Open archive / BASE / Office of Scientific and Technical Information / Archival science / Digital libraries / Information science
Date: 2008-09-17 08:31:42
Library science
Open access
Science
Academic publishing
Open Archives Initiative
Open archive
BASE
Office of Scientific and Technical Information
Archival science
Digital libraries
Information science

OSTI OAI Repository Manual

Add to Reading List

Source URL: www.osti.gov

Download Document from Source Website

File Size: 51,03 KB

Share Document on Facebook

Similar Documents

Hadoop / Computing / Cloud computing / Free software / Apache Hadoop / Apache Hive / Apache Spark / MapR / Sqoop / Apache HBase / Cloudera / Apache Pig

Big Data Hadoop Certification Training About Intellipaat Intellipaat is a fast-growing professional training provider that is offering training in over 150 most sought-after tools and technologies. We have a learner base

DocID: 1xVAd - View Document

Cryptocurrencies / Economy / Money / Finance / Counterparty / Initial coin offering / Blockchain / Bitcoin / Tokenization / Tether / Ethereum / Smart contract

Conceptual Framework for Legal & Risk Assessment of Blockchain Crypto Property (BCP) The New Property on the Block The age of tokenized ecosystems has begun – the shift from centralized to decentralized blockchain-base

DocID: 1xVtc - View Document

Computing / Python programming language) / Software / Free statistical software / Computational notebook / Cross-platform software / Apache Software Foundation / Cluster computing / IPython / Scikit-learn / NumPy / Python

Python Certification Training About Intellipaat Intellipaat is a fast-growing professional training provider that is offering training in over 150 most sought-after tools and technologies. We have a learner base of 600,0

DocID: 1xUFt - View Document

Theoretical computer science / Mathematical logic / Mathematics / Constraint programming / Automated theorem proving / Logic in computer science / Formal methods / Propositional calculus / Satisfiability modulo theories / DPLL algorithm / Unit propagation / Solver

Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base

DocID: 1xUl2 - View Document

Computing / Business software / Economy / Business / Tableau / Dashboard

Tableau Desktop Training About Intellipaat Intellipaat is a fast-growing professional training provider that is offering training in over 150 most sought-after tools and technologies. We have a learner base of 600,000 in

DocID: 1xTTC - View Document