Knjige avtorja: Zhe Hou

Automated Technology for Verification and Analysis Programming and Software Engineering

Zhe Hou (editor), Vijay Ganesh (editor)

Datum izdaje: 2021

ISBN: 9783030888848

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

71,17 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods and Software Engineering Programming and Software Engineering

Shang-Wei Lin (editor), Zhe Hou (editor), Brendan Mahony (editor)

Datum izdaje: 2020

ISBN: 9783030634056

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

49,67 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Sports Analytics

International Conference on Sports Analytics (creator), Jin Song Dong (editor), Masoumeh Izadi (editor), Zhe Hou (editor)

Datum izdaje: 2024

ISBN: 9783031690723

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

163,22 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification

Hou, Zhe

Datum izdaje: 2022

ISBN: 9783030878818

Razpoložljivost: Na zalogi

Vezava: Trda vezava

37,35 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Fundamentals of Logic and Computation

Zhe Hou

Datum izdaje: 2022

ISBN: 9783030878849

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

36,44 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

fa zhan yu yi gan zhi ji zhi yu fa jue qi ye nian bao zhi zhi hui zi ben

Hou, Wei Zhe

ISBN: 9783639737783

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

39,01 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Fundamentals of Logic and Computation

Hou Zhe Hou

ISBN: 9783030878832

Razpoložljivost: Ni podatka

Vezava: Mehka vezava

65,36 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Napredno iskanje

Automated Technology for Verification and Analysis Programming and Software Engineering

Formal Methods and Software Engineering Programming and Software Engineering

Sports Analytics

Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification

Fundamentals of Logic and Computation

fa zhan yu yi gan zhi ji zhi yu fa jue qi ye nian bao zhi zhi hui zi ben

Fundamentals of Logic and Computation