Search Results for Systems theory.

Yazar

Pesant, Gilles. editor.

Format:

Electronic Resources

Alıntı:

, algorithms, environments, languages, models, systems, and applications such as decision making, resource

Yazar

Beckmann, Arnold. editor.

Format:

Electronic Resources

Alıntı:

conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic

Yazar

Olivetti, Nicola. editor.

Format:

Electronic Resources

Alıntı:

Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving

Yazar

Rueher, Michel. editor.

Format:

Electronic Resources

Alıntı:

computing with constraints, including theory, algorithms, environments, languages, models, systems, and

	{displayName}	{count}
{error}