Your search returned 119 results.

Sort
Results
1.
Trends in Functional Programming [electronic resource] : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13401
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.
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.

3.
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.

4.
Logic, Language, Information, and Computation [electronic resource] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13468
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.
6.
7.
Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13478
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.

8.
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.

9.
10.
11.
12.
Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13712
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.

13.
Frontiers in Handwriting Recognition [electronic resource] : 18th International Conference, ICFHR 2022, Hyderabad, India, December 4–7, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13639
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.

14.
Static Analysis [electronic resource] : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13790
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.

15.
Rules and Reasoning [electronic resource] : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13752
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.
Implementation and Application of Automata [electronic resource] : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13266
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.

17.
18.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18–24, 2018, Revised Selected Papers, Part II / by Series: Lecture Notes in Computer Science ; 13397
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.

19.
20.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18–24, 2018, Revised Selected Papers, Part I / by Series: Lecture Notes in Computer Science ; 13396
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.

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