Refine your search

Your search returned 3445 results.

Sort
Results
721.
Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / by Series: Lecture Notes in Computer Science ; 2919
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

722.
Research in Computational Molecular Biology [electronic resource] : 18th Annual International Conference, RECOMB 2014, Pittsburgh, PA, USA, April 2-5, 2014, Proceedings / by Series: Lecture Notes in Bioinformatics ; 8394
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.

723.
724.
725.
726.
Advanced Data Mining and Applications [electronic resource] : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 7121
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.

727.
Mathematics and Computation in Music [electronic resource] : 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10527
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.

728.
Algorithmic Aspects in Information and Management [electronic resource] : 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11640
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.

729.
Search-Based Software Engineering [electronic resource] : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by Series: Programming and Software Engineering ; 12420
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.

730.
731.
732.
Computers and Games [electronic resource] : International Conference, CG 2022, Virtual Event, November 22–24, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13865
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.

733.
734.
Combinatorial Algorithms [electronic resource] : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9538
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.

735.
Advances in Neural Networks – ISNN 2020 [electronic resource] : 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12557
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.

736.
737.
Computational Logistics [electronic resource] : 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12433
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.

738.
Construction of Fundamental Data Structures for Strings [electronic resource] / by Series: SpringerBriefs in Computer Science
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.

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

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

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