Refine your search

Your search returned 7935 results.

Sort
Results
761.
Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings / by Series: Programming and Software Engineering ; 4610
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

762.
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / by Series: Security and Cryptology ; 3897
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

763.
End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by Series: Programming and Software Engineering ; 5435
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

764.
765.
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / by Series: Programming and Software Engineering ; 10610
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.

766.
Large-Scale Scientific Computing [electronic resource] : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10665
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.

767.
Reliable Software Technologies – Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by Series: Programming and Software Engineering ; 10873
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.

768.
Mathematical Software – ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10931
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.

769.
Advances in Cryptology – CRYPTO 2018 [electronic resource] : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II / by Series: Security and Cryptology ; 10992
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.

770.
Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings / by Series: Security and Cryptology ; 11060
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.

771.
772.
Finite Difference Methods. Theory and Applications [electronic resource] : 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11386
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.

773.
Bioinformatics Research and Applications [electronic resource] : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings / by Series: Lecture Notes in Bioinformatics ; 11490
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.

774.
Intelligent Computer Mathematics [electronic resource] : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11617
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.

775.
776.
Topics in Theoretical Computer Science [electronic resource] : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12281
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.

777.
Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12289
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.

778.
Graphical Models for Security [electronic resource] : 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers / by Series: Security and Cryptology ; 12419
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.

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