Your search returned 4652 results.

Sort
Results
3841.
Formal Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers / by Series: Security and Cryptology ; 4691
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.

3842.
3843.
3844.
3845.
3846.
3847.
3848.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / by Series: Programming and Software Engineering ; 7871
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

3849.
3850.
3851.
3852.
Transactions on Edutainment X [electronic resource] / by Series: Transactions on Edutainment ; 7775
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

3853.
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings / by Series: Security and Cryptology ; 8039
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

3854.
3855.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / by Series: Programming and Software Engineering ; 6606
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.

3856.
3857.
3858.
Intelligent Tutoring Systems [electronic resource] : 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings / by Series: Programming and Software Engineering ; 8474
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.

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