📚 Verification

Runtime Verification

International Conference on Runtime Verification (creator), Bettina Könighofer (editor), Hazem Torfah (editor)

ISBN: 9783032054340

75,26 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Verification of Autonomous Systems

Signe Redfield (editor), Donald A. Sofge (editor), Mae Seto (editor), John Sustersic (editor)

ISBN: 9783031885457

177,48 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Validation and Verification of Automated Driving Systems

Daniel Watzenig (editor), Michael Stolz (editor)

ISBN: 9783032132680

167,86 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

The Calculus of Computation : Decision Procedures with Applications to Verification

Bradley, Aaron R.

Datum izdaje: 19. oktober 2010

ISBN: 9783642093470

40,08 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

AI Verification

Mirco Giacobbe (editor), Anna Lukina (editor)

ISBN: 9783031999901

61,45 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Neurodynamic Methods for Continuum Robot Control

Ning Tan, Peng Yu, Yunong Zhang

ISBN: 9781394402731

164,22 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Verification and Evaluation of Computer and Communication Systems

VECoS (Conference) (creator), Belgacem Ben Hedia (editor), Sébastien Bardin (editor), Riadh Robbana (editor)

ISBN: 9783032204394

60,19 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Digital Design Using VerilogHDL

Shilpi Birla, B. P. Singh, Neeraj Kumar Shukla

Datum izdaje: 2025

ISBN: 9780443290886

184,22 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

AI Verification

International Symposium on AI Verification (creator), Guy Avni (editor)

Datum izdaje: 2024

ISBN: 9783031651113

147,53 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Power System Resource Adequacy for Clean Energy

Renchang Dai

ISBN: 9781394318193

89,15 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo