UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

AP (2)

KDG (2)

Resource type

digital (2)

Language

English (2)

Year

From To

2023 (2)

Listing 1 - 2 of 2
Sort by

Digital

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Authors: André, Étienne --- Sun, Jun
ISBN: 9783031453328 9783031453311 9783031453335 Year: 2023 Publisher: Cham Springer Nature, Imprint: Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- computers --- informatica --- hardware --- software engineering --- AI (artificiële intelligentie) --- computerkunde

Digital

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Authors: André, Étienne --- Sun, Jun
ISBN: 9783031453298 9783031453281 9783031453304 Year: 2023 Publisher: Cham Springer Nature, Imprint: Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- toegepaste informatica --- computers --- informatica --- hardware --- software engineering --- AI (artificiële intelligentie) --- computerkunde

Listing 1 - 2 of 2
Sort by