Refine your search

Your search returned 2672 results.

Sort
Results
541.
Theoretical Computer Science [electronic resource] : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7604
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

542.
Progress in Cryptology - LATINCRYPT 2014 [electronic resource] : Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers / by Series: Security and Cryptology ; 8895
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.

543.
Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8884
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.

544.
Selected Areas in Cryptography -- SAC 2014 [electronic resource] : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers / by Series: Security and Cryptology ; 8781
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.

545.
546.
Exploring the Early Digital [electronic resource] / by Series: History of Computing
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.

547.
Space Information Networks [electronic resource] : 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1169
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

548.
549.
Theoretical Computer Science [electronic resource] : 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1693
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

550.
Data Science and Predictive Analytics [electronic resource] : Biomedical and Health Applications using R / by Series: The Springer Series in Applied Machine Learning
Edition: 2nd ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

551.
Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 9527
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.

552.
DNA Computing and Molecular Programming [electronic resource] : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9211
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.

553.
Cryptography and Coding [electronic resource] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings / by Series: Security and Cryptology ; 9496
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.

554.
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / by Series: Programming and Software Engineering ; 9081
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.

555.
Domain-Specific Knowledge Graph Construction [electronic resource] / by Series: SpringerBriefs in Computer Science
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.

556.
557.
Unifying Theories of Programming [electronic resource] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11885
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.

558.
Computer Performance Engineering [electronic resource] : 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers / by Series: Programming and Software Engineering ; 12039
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.

559.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12102
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.

560.
The Foundations of Computability Theory [electronic resource] / by
Edition: 2nd ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

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