Search Results for Systems theory.

17.

Yazar

Rueher, Michel. editor.

Format:

Electronic Resources

Alıntı:

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

18.

Yazar

Kulikov, Alexander S. editor.

Format:

Electronic Resources

Alıntı:

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia

19.

Yazar

Olivetti, Nicola. editor.

Format:

Electronic Resources

Alıntı:

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

20.

Yazar

Bonsangue, Marcello M. editor.

Format:

Electronic Resources

Alıntı:

–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.

	{displayName}	{count}
{error}