Refine your search

Your search returned 783 results.

Sort
Results
161.
Dependability Metrics [electronic resource] : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures / by Series: Programming and Software Engineering ; 4909
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.

162.
Information Security Applications [electronic resource] : 4th International Workshop, WISA 2003, Jeju Island, Korea, August 25-27, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2908
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.

163.
Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4501
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.

164.
165.
166.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings / by Series: Programming and Software Engineering ; 4574
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.

167.
Transactions on Computational Collective Intelligence XXVIII [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 10780
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.

168.
Privacy Technologies and Policy [electronic resource] : 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13–14, 2019, Proceedings / by Series: Security and Cryptology ; 11498
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.

169.
170.
171.
172.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12514
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.

173.
Applied Cryptography and Network Security [electronic resource] : 20th International Conference, ACNS 2022, Rome, Italy, June 20–23, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13269
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.

174.
175.
Intelligence and Security Informatics [electronic resource] : Second Symposium on Intelligence and Security Informatics, ISI 2004, Tucson, AZ, USA, June 10-11, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3073
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.

176.
177.
Operating Systems for Supercomputers and High Performance Computing [electronic resource] / by Series: High-Performance Computing Series ; 1
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.

178.
Structural Information and Communication Complexity [electronic resource] : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13298
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.

179.
180.
Supercomputing [electronic resource] : 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1331
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.

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