A COMPARISON OF LIBRARY TOOLS FOR MONOGRAPH VERIFICATION

被引：0

|

作者：

GROOT, EH

机构：

来源：

LIBRARY RESOURCES & TECHNICAL SERVICES | 1981年 / 25卷 / 02期

关键词：

D O I：

暂无

中图分类号：

G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];

学科分类号：

1205 ; 120501 ;

摘要：

引用

收藏

页码：149 / 161

页数：13

相关论文

共 50 条

[1] CONSISTENCY IN CHOICE AND FORM OF MAIN ENTRY - A COMPARISON OF LIBRARY-OF-CONGRESS AND BRITISH LIBRARY MONOGRAPH CATALOGING
JONES, EA
[J]. LIBRARY RESOURCES & TECHNICAL SERVICES, 1992, 36 (02): : 209 - 223
[2] A comparison of tools for teaching formal software verification
Feinerer, Ingo
Salzer, Gernot
[J]. FORMAL ASPECTS OF COMPUTING, 2009, 21 (03) : 293 - 301
[3] The Myth of "Obsolescence": the Monograph in the Digital Library
Hughes, Carol Ann
[J]. PORTAL-LIBRARIES AND THE ACADEMY, 2001, 1 (02) : 113 - 119
[4] Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Lafourcade, Pascal
Terrade, Vanessa
Vigier, Sylvain
[J]. FORMAL ASPECTS IN SECURITY AND TRUST, 2010, 5983 : 173 - 185
[5] Tools for parametric verification. A comparison on a case study
Matousek, P
[J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2004, 10 (10) : 1469 - 1494
[6] MONOGRAPH EVALUATION FOR ACQUISITIONS IN A LARGE RESEARCH LIBRARY
WENGER, CB
SWEET, CB
STILES, HJ
[J]. JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1979, 30 (02): : 88 - 92
[7] Verification of robotic surgery tasks by reachability analysis: a comparison of tools
Bresolin, Davide
Geretti, Luca
Muradore, Riccardo
Fiorini, Paolo
Villa, Tiziano
[J]. 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 659 - 662
[8] Essays on bibliographic activity of the Russian State Library: A monograph" / Russian State Library
Likhovid, Tatiana F.
[J]. NAUCHNYE I TEKHNICHESKIE BIBLIOTEKI-SCIENTIFIC AND TECHNICAL LIBRARIES, 2023, (05): : 154 - 163
[9] Functional programming languages for verification tools: A comparison of Standard ML and Haskell
Leucker M.
Noll T.
Stevens P.
Weber M.
[J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (2) : 184 - 194
[10] EVALUATION OF MONOGRAPH SELECTION IN A HEALTH-SCIENCES LIBRARY
FENSKE, RE
[J]. BULLETIN OF THE MEDICAL LIBRARY ASSOCIATION, 1994, 82 (03): : 265 - 270

← 1 2 3 4 5 →