कवर छवि

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

अन्य संस्करण दिखाएं (2)

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.

में बचाया:
ग्रंथसूची विवरण
निगमित लेखक: SpringerLink (Online service)
अन्य लेखक: Enea, Constantin (संपादक), Lal, Akash (संपादक)
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
संस्करण:1st ed. 2023.
श्रृंखला:Lecture Notes in Computer Science, 13966
विषय:
Software engineering.
Artificial intelligence.
Algorithms.
Computer engineering.
Computer networks .
Software Engineering.
Artificial Intelligence.
Design and Analysis of Algorithms.
Computer Engineering and Networks.
ऑनलाइन पहुंच:Link to Metadata
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

इंटरनेट

Link to Metadata

3rd Floor Main Library

होल्डिंग्स विवरण से 3rd Floor Main Library
बोधानक: A1234.567
प्रति 1 उपलब्ध

समान संसाधन