Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
1
Pubblicazione 2005
Sommario:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”Testo
Elettronico
eBook
2
Pubblicazione 2014
Sommario:
“... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”Testo
Elettronico
eBook
3
Pubblicazione 2015
Sommario:
“... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”Testo
Elettronico
eBook



