Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ATVA Online (VerfasserIn)
Weitere Verfasser: Hou, Zhe (HerausgeberIn), Ganesh, Vijay (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2021]
Schriftenreihe:Lecture notes in computer science 12971
Schlagworte:
Software Engineering/Programming and Operating Systems
Artificial Intelligence
Computer Hardware
Computer Systems Organization and Communication Networks
Software engineering
Artificial intelligence
Computer hardware
Computer organization
Künstliche Intelligenz
Computerarchitektur
Hardware
Software Engineering
Konferenzschrift > 2021 > Online
Online-Zugang:DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-703
DE-20
DE-706
DE-29
DE-739
DE-355
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ähnliche Einträge