Your search returned 142 results.

Sort
Results
1.
2.
Theory and Applications of Satisfiability Testing – SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11628
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.

3.
Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5034
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

4.
5.
Computational Science - ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 3036
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.

6.
Supercomputing [electronic resource] : 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 965
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.

7.
Advances in Bioinformatics and Computational Biology [electronic resource] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / by Series: Lecture Notes in Bioinformatics ; 11228
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.

8.
Frontiers of Algorithmic Wisdom [electronic resource] : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13461
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.

9.
Theory and Applications of Satisfiability Testing – SAT 2020 [electronic resource] : 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12178
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.

10.
Autonomous Agents and Multiagent Systems. Best and Visionary Papers [electronic resource] : AAMAS 2022 Workshops, Virtual Event, May 9–13, 2022, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 13441
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.

11.
12.
Parallel Computing Technologies [electronic resource] : 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12942
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.

13.
14.
15.
16.
17.
Coding Theory and Applications [electronic resource] : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10495
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.

18.
19.
20.
Mathematical Software – ICMS 2016 [electronic resource] : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9725
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.

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