Refine your search

Your search returned 2473 results.

Sort
Results
901.
Bidirectional Transformations [electronic resource] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / by Series: Programming and Software Engineering ; 9715
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.

902.
903.
Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by Series: Programming and Software Engineering ; 12750
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.

904.
905.
World Internet Development Report 2020 [electronic resource] : Blue Book for World Internet Conference. by
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.

906.
907.
Software Sustainability [electronic resource] / by
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.

908.
Formal Verification of Floating-Point Hardware Design [electronic resource] : A Mathematical Approach / by
Edition: 2nd 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.

909.
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3092
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.

910.
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2011, Beijing, China, July 9, 2011. Proceedings / by Series: Security and Cryptology ; 6749
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.

911.
912.
Computational Intelligence in Security for Information Systems [electronic resource] : 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings / by Series: Security and Cryptology ; 6694
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.

913.
914.
Public Key Infrastructures, Services and Applications [electronic resource] : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected Papers / by Series: Security and Cryptology ; 6711
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.

915.
916.
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / by Series: Programming and Software Engineering ; 6527
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.

917.
918.
Sequence Analysis and Modern C++ [electronic resource] : The Creation of the SeqAn3 Bioinformatics Library / by Series: Computational Biology ; 33
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.

919.
Recommender Systems in Fashion and Retail [electronic resource] : Proceedings of the Third Workshop at the Recommender Systems Conference (2021) / by Series: Lecture Notes in Electrical Engineering ; 830
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.

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