Your search returned 444 results.

Sort
Results
101.
102.
103.
104.
Runtime Verification [electronic resource] : A Hands-On Approach in Java / by
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.

105.
Theoretical Aspects of Computing – ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9965
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

106.
107.
High Performance Computing – HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3769
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

108.
Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 10627
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

109.
Integer Programming and Combinatorial Optimization [electronic resource] : 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12707
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.

110.
111.
112.
113.
Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13252
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.

114.
115.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12734
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.
Frontiers of Algorithmics [electronic resource] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12874
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.

118.
119.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12735
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.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in