Your search returned 882 results.

Sort
Results
261.
Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4409
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

262.
263.
264.
Model Checking Software [electronic resource] : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11636
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.

265.
266.
Theory and Practice of Natural Computing [electronic resource] : 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13082
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.

267.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13046
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.

268.
269.
270.
Software Engineering and Formal Methods [electronic resource] : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 13085
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.

271.
272.
Programming Languages with Applications to Biology and Security [electronic resource] : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / by Series: Theoretical Computer Science and General Issues ; 9465
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

273.
Functional and Logic Programming [electronic resource] : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10818
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

274.
Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10644
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.

275.
276.
277.
278.
Fundamentals of Computation Theory [electronic resource] : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9210
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

279.
280.
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3927
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

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