Refine your search

Your search returned 8322 results.

Sort
Results
1401.
1402.
Public Key Cryptography -- PKC 2011 [electronic resource] : 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011, Proceedings / by Series: Security and Cryptology ; 6571
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.

1403.
Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4715
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.

1404.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10747
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.

1405.
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by Series: Programming and Software Engineering ; 11119
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.

1406.
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26–28, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11126
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.

1407.
Statistical Language and Speech Processing [electronic resource] : 6th International Conference, SLSP 2018, Mons, Belgium, October 15–16, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11171
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.

1408.
1409.
1410.
Membrane Computing [electronic resource] : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11399
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.

1411.
1412.
1413.
Deep Reinforcement Learning [electronic resource] : Frontiers of Artificial Intelligence / by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

1414.
Smart Cities [electronic resource] : Second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7–9, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1152
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.

1415.
Trends in Functional Programming [electronic resource] : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12053
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.

1416.
Combinatorial Optimization [electronic resource] : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12176
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.

1417.
1418.
1419.
Theory of Cryptography [electronic resource] : 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13747
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

1420.
Reachability Problems [electronic resource] : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9899
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