בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
1
יצא לאור 2005
תוכן הענינים:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2014
תוכן הענינים:
“... of Distributed Systems -- Automated Real Proving in PVS via MetiTarski -- Quiescent Consistency: Defining...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2015
תוכן הענינים:
“... Coordinator Agent in Multi-Agent Automation Environment of Transit Cargo Terminal -- On The Performance...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני