Resultados da busca - (transaction or transitions) on control, (automation OR automatic) and systems engineering

1

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

Publicado em 2013

Sumário: “...1 On Turbulence Transition In Three-dimensional Boundary Layer Flow -- 2 Efficient Algorithms...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

Web Information Systems Engineering -- WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I /

Publicado em 2013

Sumário: “... User Profile in Recommender Systems -- Time-Aware Travel Attraction Recommendation -- CGMF: Coupled...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

Knowledge Science, Engineering and Management Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings /

Publicado em 2007

Sumário: “... -- Knowledge Technologies for the Social Semantic Desktop -- Knowledge-Based Intelligent Engineering Systems...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

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

Publicado em 2005

Sumário: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Modelling, Computation and Optimization in Information Systems and Management Sciences Second...

Publicado em 2008

Sumário: “... Solution of EOQ Problem -- Linear Reformulations of Integer Quadratic Programs -- Control of Some Graph...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

Network-Based Information Systems First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings /

Publicado em 2007

Sumário: “... -- Wireless Balloon Network for Disaster Information System -- Wireless Networks as an Infrastructure...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

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

Publicado em 2014

Sumário: “... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /

Publicado em 2008

Sumário: “... Architectures -- Modeling Interactions between Biochemical Reactions -- Transaction Calculus -- Stratifying...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

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

Publicado em 2015

Sumário: “... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca