Refine your search

Your search returned 1322 results.

Sort
Results
761.
Advances in Artificial Intelligence -- IBERAMIA 2012 [electronic resource] : 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7637
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

762.
763.
764.
765.
766.
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7609
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

767.
768.
769.
770.
Advances in Information and Computer Security [electronic resource] : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012, Proceedings / by Series: Security and Cryptology ; 7631
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

771.
772.
773.
774.
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings / by Series: Programming and Software Engineering ; 7226
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

775.
Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings / by Series: Programming and Software Engineering ; 7705
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

776.
Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7278
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

777.
Information Security Practice and Experience [electronic resource] : 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012, Proceedings / by Series: Security and Cryptology ; 7232
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

778.
779.
Trustworthy Global Computing [electronic resource] : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7173
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

780.
Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7541
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

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