Search Results for Systems Theory, Control.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior

Yazar

Schultz, Patrick. author.

https://doi.org/10.1007/978-3-030-00704-1

Format:

Electronic Resources

Alıntı:

Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions

Yazar

Buscema, Paolo Massimo. author.

https://doi.org/10.1007/978-3-319-75049-1

Format:

Electronic Resources

Alıntı:

Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions /

Logical Foundations of Cyber-Physical Systems

Yazar

Platzer, André. author.

https://doi.org/10.1007/978-3-319-63588-0

Format:

Electronic Resources

Alıntı:

Control, Robotics, Mechatronics. http://scigraph.springernature.com/things/product-market-codes/T

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Dowek, Gilles. editor.

http://dx.doi.org/10.1007/978-3-319-08918-8

Format:

Electronic Resources

Alıntı:

Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}