Search Results for Algorithms.

Yazar

Bonakdarpour, Borzoo. editor.

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Yazar

Inoue, Katsumi. editor.

Format:

Electronic Resources

Alıntı:

such as theories, algorithms, representations and languages, systems and applications of ILP, and cover

Yazar

Cassez, Franck. editor.

Format:

Electronic Resources

Alıntı:

Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test Coverage

Yazar

Bojańczyk, Mikołaj. editor.

Format:

Electronic Resources

Alıntı:

Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient

	{displayName}	{count}
{error}