Your search returned 90 results.

Sort
Results
1.
Theory and Applications of Satisfiability Testing – SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11628
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

2.
Verified Software. Theories, Tools and Experiments. [electronic resource] : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13800
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

3.
Foundations of Information and Knowledge Systems [electronic resource] : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12012
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

4.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13465
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.
Logic and Its Applications [electronic resource] : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11600
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

6.
7.
A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13560
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.

8.
9.
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 11562
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

10.
Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by Series: Programming and Software Engineering ; 11918
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

11.
12.
Formal Techniques for Safety-Critical Systems [electronic resource] : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1165
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

13.
Implementation and Application of Automata [electronic resource] : 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12803
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

14.
Software Engineering and Formal Methods [electronic resource] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13550
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.

15.
Theory and Applications of Satisfiability Testing – SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12831
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

16.
17.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11990
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

18.
Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11682
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

19.
Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13911
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.

20.
Joint Training for Neural Machine Translation [electronic resource] / by Series: Springer Theses, Recognizing Outstanding Ph.D. Research
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in