Your search returned 16792 results.

Sort
Results
3201.
3202.
3203.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8417
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.

3204.
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / by Series: Programming and Software Engineering ; 8442
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.

3205.
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings / by Series: Security and Cryptology ; 8440
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.

3206.
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 2014, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8556
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.

3207.
Spatial Information Theory [electronic resource] : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8116
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

3208.
Structural Information and Communication Complexity [electronic resource] : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8576
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.

3209.
3210.
Practical Aspects of Declarative Languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings / by Series: Programming and Software Engineering ; 8324
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.

3211.
3212.
Cooperative Design, Visualization, and Engineering [electronic resource] : 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8683
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.

3213.
Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings / by Series: Programming and Software Engineering ; 8636
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.

3214.
3215.
NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / by Series: Programming and Software Engineering ; 8430
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.

3216.
Human-Computer Interaction. Theories, Methods, and Tools [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8510
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.

3217.
3218.
3219.
Secure Data Management [electronic resource] : 10th VLDB Workshop, SDM 2013, Trento, Italy, August 30, 2013, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8425
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.

3220.
Deontic Logic and Normative Systems [electronic resource] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8554
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.

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