Search Results for Automatic control.

Skip to:Search ResultsContentBottom

DEFAULT_TR

6 Results

Sort

Filter

000000DEFAULT_TR

Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control

Huang, Bo. editor.

https://doi.org/10.1007/978-3-662-48768-6

Format:

Elektronik Kaynak

Alıntı:

Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control

Applied Physics, System Science and Computers Proceedings of the 1st International Conference on Applied Physics, System Science and Computers (APSAC2016), September 28-30, Dubrovnik, Croatia

Ntalianis, Klimis. editor.

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

Format:

Elektronik Kaynak

Alıntı:

science and computers, exploring automatic circuit control, power systems, computer communication, fluid

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005

Vachoux, A. editor.

http://dx.doi.org/10.1007/978-1-4020-4998-9

Format:

Elektronik Kaynak

Alıntı:

Simulation Based on Wave Exchanges -- Automatic Generation of a Coverification Platform -- UML/XML-Based

Advances in Automatic Differentiation

Bischof, Christian H. editor.

http://dx.doi.org/10.1007/978-3-540-68942-3

Format:

Elektronik Kaynak

Alıntı:

Control -- Development and First Applications of TAC++ -- TAPENADE for C -- Coping with a Variable Number

Intelligent Computer Techniques in Applied Electromagnetics

Wiak, Sławomir. editor.

http://dx.doi.org/10.1007/978-3-540-78490-6

Format:

Elektronik Kaynak

Alıntı:

Elements for FEM-BEM -- On the Use of Automatic Cuts Algorithm for T0 – T – ? Formulation in Nondestructive

Formal Methods Applied to Complex Systems.

Boulanger, Jean-Louis.

Click to View

Format:

Elektronik Kaynak

Alıntı:

. Check_blvar -- 9.4.3. Chaine_verif -- 9.5. Proof of the BCARe validation lemmas -- 9.5.1. Automatic proof

Go to:Search ResultsTop of Page

	{displayName}	{count}
{error}