Author: Mike Hinchey
Publisher: Springer Nature
ISBN: 303173887X
Category :
Languages : en
Pages : 400
Book Description
The Combined Power of Research, Education, and Dissemination
Author: Mike Hinchey
Publisher: Springer Nature
ISBN: 303173887X
Category :
Languages : en
Pages : 400
Book Description
Publisher: Springer Nature
ISBN: 303173887X
Category :
Languages : en
Pages : 400
Book Description
The Proceedings of 2023 International Conference on Wireless Power Transfer (ICWPT2023)
Author: Chunwei Cai
Publisher: Springer Nature
ISBN: 981970877X
Category :
Languages : en
Pages : 736
Book Description
Publisher: Springer Nature
ISBN: 981970877X
Category :
Languages : en
Pages : 736
Book Description
TOOLympics Challenge 2023
Author: Dirk Beyer
Publisher: Springer Nature
ISBN: 3031676955
Category :
Languages : en
Pages : 180
Book Description
Publisher: Springer Nature
ISBN: 3031676955
Category :
Languages : en
Pages : 180
Book Description
Tests and Proofs
Author: Marieke Huisman
Publisher: Springer Nature
ISBN: 303172044X
Category :
Languages : en
Pages : 184
Book Description
Publisher: Springer Nature
ISBN: 303172044X
Category :
Languages : en
Pages : 184
Book Description
Bridging the Gap Between AI and Reality
Author: Bernhard Steffen
Publisher: Springer Nature
ISBN: 3031737415
Category :
Languages : en
Pages : 473
Book Description
Publisher: Springer Nature
ISBN: 3031737415
Category :
Languages : en
Pages : 473
Book Description
Computer Aided Verification
Author: Arie Gurfinkel
Publisher: Springer Nature
ISBN: 303165630X
Category :
Languages : en
Pages : 447
Book Description
Publisher: Springer Nature
ISBN: 303165630X
Category :
Languages : en
Pages : 447
Book Description
Explainable Artificial Intelligence
Author: Luca Longo
Publisher: Springer Nature
ISBN: 3031637976
Category :
Languages : en
Pages : 529
Book Description
Publisher: Springer Nature
ISBN: 3031637976
Category :
Languages : en
Pages : 529
Book Description
Principles of Verification: Cycling the Probabilistic Landscape
Author: Nils Jansen
Publisher: Springer Nature
ISBN: 3031757831
Category :
Languages : en
Pages : 462
Book Description
Publisher: Springer Nature
ISBN: 3031757831
Category :
Languages : en
Pages : 462
Book Description
Integrated Formal Methods
Author: Nikolai Kosmatov
Publisher: Springer Nature
ISBN: 3031765540
Category :
Languages : en
Pages : 336
Book Description
Publisher: Springer Nature
ISBN: 3031765540
Category :
Languages : en
Pages : 336
Book Description
Computer Aided Verification
Author: Arie Gurfinkel
Publisher: Springer Nature
ISBN: 3031656334
Category :
Languages : en
Pages : 597
Book Description
Publisher: Springer Nature
ISBN: 3031656334
Category :
Languages : en
Pages : 597
Book Description