Refine your search

Your search returned 1750 results.

Sort
Results
201.
202.
203.
204.
Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8348
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.

205.
Comparative Genomics [electronic resource] : RECOMB 2006 International Workshop, RECOMB-CG 2006, Montreal, Canada, September 24-26, 2006, Proceedings / by Series: Lecture Notes in Bioinformatics ; 4205
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.

206.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9212
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.

207.
208.
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 4th International Conference, SPACE 2014, Pune, India, October 18-22, 2014. Proceedings / by Series: Security and Cryptology ; 8804
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.

209.
Data and Applications Security and Privacy XXIV [electronic resource] : 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6166
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

210.
Advanced Information Systems Engineering [electronic resource] : 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13295
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.

211.
212.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18–24, 2018, Revised Selected Papers, Part II / by Series: Lecture Notes in Computer Science ; 13397
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

213.
214.
Regulatory Genomics [electronic resource] : RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers / by Series: Lecture Notes in Bioinformatics ; 3318
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

215.
Secure Data Management [electronic resource] : Second VLDB Workshop, SDM 2005, Trondheim, Norway, August 30-September 2, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3674
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

216.
Theory of Cryptography [electronic resource] : Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings / by Series: Security and Cryptology ; 3876
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.

217.
Advances in Cryptology – EUROCRYPT 2007 [electronic resource] : 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007, Proceedings / by Series: Security and Cryptology ; 4515
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.

218.
Advances in Cryptology -- ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / by Series: Security and Cryptology ; 9452
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

219.
Knowledge Engineering Tools and Techniques for AI Planning [electronic resource] / by
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.

220.
Descriptional Complexity of Formal Systems [electronic resource] : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12442
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