Refine your search

Your search returned 2406 results.

Sort
Results
401.
Runtime Verification [electronic resource] : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by Series: Programming and Software Engineering ; 12399
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.

402.
Theory and Applications of Models of Computation [electronic resource] : 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12337
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.

403.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12301
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.

404.
Structural Information and Communication Complexity [electronic resource] : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13298
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.

405.
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers / by Series: Security and Cryptology ; 9522
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.

406.
Web and Internet Economics [electronic resource] : 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12495
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.

407.
Combinatorial Image Analysis [electronic resource] : 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8466
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

408.
Security Standardisation Research [electronic resource] : Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings / by Series: Security and Cryptology ; 10074
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.

409.
Progress in Cryptology – INDOCRYPT 2017 [electronic resource] : 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings / by Series: Security and Cryptology ; 10698
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.

410.
Approximation and Online Algorithms [electronic resource] : 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11312
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.

411.
Algorithms and Data Structures [electronic resource] : 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11646
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.

412.
413.
Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13349
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.

414.
415.
416.
417.
418.
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers / by Series: Security and Cryptology ; 9064
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.

419.
Computer Algebra in Scientific Computing [electronic resource] : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6885
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

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

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