xxAI - Beyond Explainable AI

Edition

-

ISBN/ISSN

9783031040832

Collation

-

Series Title

13200

Call Number

-

Cybersecurity of Digital Service Chains

Edition

-

ISBN/ISSN

9783031040368

Collation

-

Series Title

13300

Call Number

-

Haptics: Science, Technology, Applications

Edition

-

ISBN/ISSN

9783030581473

Collation

-

Series Title

12272

Call Number

-

Advances in Intelligent Data Analysis XVIII

Edition

-

ISBN/ISSN

9783030445843

Collation

-

Series Title

12080

Call Number

-

Cyber-Physical Systems of Systems

Edition

-

ISBN/ISSN

9783319475905

Collation

-

Series Title

10099

Call Number

-

The Future Internet

Edition

-

ISBN/ISSN

9783642380822

Collation

-

Series Title

7858

Call Number

-

Telecommunication Economics

Edition

-

ISBN/ISSN

9783642303821

Collation

-

Series Title

7216

Call Number

-

The Future Internet

Edition

-

ISBN/ISSN

9783642302411

Collation

-

Series Title

7281

Call Number

-

The Future Internet

Edition

-

ISBN/ISSN

9783642208980

Collation

-

Series Title

6656

Call Number

-

Computer Aided Verification: 30th International Conference, CAV 2018, Held as…

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…