Your search returned 37 results.

Sort
Results
1.
Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13487
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

2.
Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13479
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

3.
From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13268
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

4.
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13505
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

5.
Search-Based Software Engineering [electronic resource] : 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13711
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

6.
7.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13884
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

8.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13292
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

9.
10.
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13649
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

11.
12.
13.
14.
15.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13372
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

16.
NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13903
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

17.
18.
19.
20.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in