Juri Vain - Böcker

Visar alla böcker från författaren Juri Vain.

3 produkter

Kategorier

3 produkter

System Assurances

Modeling and Management

AvPrashant Johri,Adarsh Anand,Juri Vain,Jagvinder Singh,Mohammad Tabrez Quasim,India) Johri, Prashant (Professor, School of Computing Science & Engineering, Galgotias University, Greater Noida,India) Anand, Adarsh (Assistant Professor, Departmetn of Operational Research, University of Delhi, New Delhi,Estonia) Vain, Juri (Tenure Professor of Formal Methods, Department of Software Science, Tallinn University of Technology, Tallinn,India) Singh, Jagvinder (Assistant Professor, USME, DTU East Campus,Saudi Arabia) Quasim, Mohammad Tabrez (Assistant Professor, Univeristy of Bisha

Häftad, Engelska, 2022

1 099 kr

Skickas

Advances in Model and Data Engineering in the Digitalization Era

MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings

AvLadjel Bellatreche,George Chernishev,Antonio Corral,Samir Ouchani,Jüri Vain,Juri Vain

Häftad, Engelska, 2021

1 149 kr

Skickas

Formal Techniques for Networked and Distributed Systems - FORTE 2007

27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings

AvJohn Derrick,Jüri Vain,J. Ri Vain

Häftad, Engelska, 2007

719 kr

Skickas inom 10-15 vardagar