( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
NEVRLATE: Scalable Resource Discovery.

, , , и . CCGRID, стр. 382-388. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kristina Calvert

Henry Calvert

Carl W David

David W Pao

David W Kuck

 

Другие публикации лиц с тем же именем

BioWarehouse: a bioinformatics database warehouse toolkit., , , , , , и . BMC Bioinformatics, (2006)Using PVS to Prove a Z Refinement: A Case Study., , и . FME, том 1313 из Lecture Notes in Computer Science, стр. 573-588. Springer, (1997)NEVRLATE: Scalable Resource Discovery., , , и . CCGRID, стр. 382-388. IEEE Computer Society, (2002)Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS., , и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 205-220. Springer, (2002)PVS: An Experience Report., , , и . FM-Trends, том 1641 из Lecture Notes in Computer Science, стр. 338-345. Springer, (1998)