Hakutulokset - (transactions or transitions) on control, automation and systems engineering

1

IAENG Transactions on Engineering Technologies Special Issue of the International MultiConference of Engineers and Computer Scientists 2012 /

Julkaistu 2013

Sisällysluettelo: “...1 On Turbulence Transition In Three-dimensional Boundary Layer Flow -- 2 Efficient Algorithms...”
Hae kokoteksti

Elektroninen E-kirja

2

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Julkaistu 2005

Sisällysluettelo: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Hae kokoteksti

Elektroninen E-kirja

3

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Julkaistu 2014

Sisällysluettelo: “... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”
Hae kokoteksti

Elektroninen E-kirja

4

Artificial Intelligence Perspectives and Applications Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 1: Artificial Intelligence Perspectives and Ap...

Julkaistu 2015

Sisällysluettelo: “... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua