8

Using ASP for knowledge management with user authorization

Year:
2010
Language:
english
File:
PDF, 1019 KB
english, 2010
33

Test frame updating in CPM testing of Prolog programs

Year:
2008
Language:
english
File:
PDF, 462 KB
english, 2008
35

Abstract model checking for Web services

Year:
2008
Language:
english
File:
PDF, 319 KB
english, 2008
43

Synthesis of selenolate-protected Au18(SeC6H5)14 nanoclusters

Year:
2013
Language:
english
File:
PDF, 388 KB
english, 2013
47

Fungicidal mechanism of chlorine dioxide onSaccharomyces cerevisiae

Year:
2013
Language:
english
File:
PDF, 460 KB
english, 2013