Refine your search

Your search returned 400 results.

Sort
Results
101.
102.
103.
Theoretical Computer Science [electronic resource] : 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1352
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

104.
105.
Network Games, Control and Optimization [electronic resource] : 10th International Conference, NetGCooP 2020, France, September 22–24, 2021, Proceedings / by Series: Communications in Computer and Information Science ; 1354
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.

106.
Recent Trends in Algebraic Development Techniques [electronic resource] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12669
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.

107.
An Invitation to Analytic Combinatorics [electronic resource] : From One to Several Variables / by Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

108.
109.
110.
111.
112.
113.
114.
Algorithms and Data Structures [electronic resource] : 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12808
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.

115.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12597
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.

116.
117.
118.
Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12864
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.

119.
Advancing Research in Information and Communication Technology [electronic resource] : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups / by Series: IFIP AICT Festschrifts ; 600
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.

120.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12911
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.

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