検索結果 - ((((((java algorithm) or (jay algorithm))) or (a algorithm))) or (data algorithm))

提案スペルによる検索:
java algorithm » jaya algorithm (検索語の拡大), davar algorithm (検索語の拡大), aaa algorithm (検索語の拡大)
data algorithm » data algorithms (検索語の拡大), jaya algorithm (検索語の拡大)
jay algorithm » jaya algorithm (検索語の拡大), fly algorithm (検索語の拡大), ary algorithm (検索語の拡大)
a algorithm » _ algorithm (検索語の拡大), jaya algorithm (検索語の拡大)

著者: Fenwick, Matthew, Sesanker, Colbert, Schiller, Martin R., Ellis, Heidi JC, Hinman, M. Lee, Vyas, Jay, Gryk, Michael R.
出版事項 2012

“... complex data operations and mathematical constructs in an expressive and natural idiom. The slow adoption...”
全文の入手
全文の入手
全文の入手

Artigo

著者: Shamakhi, Ali, Hojjat, Hossein, Rümmer, Philipp
出版年 Tools and Algorithms for the Construction and Analysis of Systems (2021)

“...JayHorn is a Horn clause-based model checker for Java programs that has been competing at SV-COMP...”
全文の入手
全文の入手

Artigo

絞込み検索