FEEDBACK Smiley face

Your search returned 76 results. Subscribe to this search

|
61. Advances in Cryptology – ASIACRYPT 2011 [electronic resource] :17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings /

by Lee, Dong Hoon [editor.] | Wang, Xiaoyun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Online access: Click here to access online Availability: No items available

62. Transactions on Computational Science XV [electronic resource] :Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems /

by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Phan, Cong-Vinh [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

63. Automated Reasoning [electronic resource] :6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

by Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Uli [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Online access: Click here to access online Availability: No items available

64. Advances in Cryptology – ASIACRYPT 2012 [electronic resource] :18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings /

by Wang, Xiaoyun [editor.] | Sako, Kazue [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

65. Advances in Cryptology - ASIACRYPT 2013 [electronic resource] :19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I /

by Sako, Kazue [editor.] | Sarkar, Palash [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

66. Advances in Cryptology - ASIACRYPT 2013 [electronic resource] :19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II /

by Sako, Kazue [editor.] | Sarkar, Palash [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

67. Automated Reasoning [electronic resource] :7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /

by Demri, Stéphane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

68. Automated Reasoning [electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

by Olivetti, Nicola [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.Online access: Click here to access online Availability: No items available

69. Handbook on problems in engineering mathematics and physics

by Parthasarthy, Harish.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : I. K. International Pvt. Ltd., ©2005Availability: Items available for loan: IIITD [510.2453 PAR-H] (1).

70. Advanced engineering analysis : the calculus of variations and functional analysis with applications in mechanics

by Lebedev, L. P | Cloud, Michael J | Eremeyev, Victor A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hackensack, NJ : World Scientific, ©2012Availability: No items available
Checked out (1).

71. Applied engineering mathematics

by Yang, Xin-She.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Viva Books, ©2017Availability: Items available for loan: IIITD [620.1001 YAN-A] (1).

72. Engineering mathematics with MATLAB

by Yang., Won Y.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boca Raton : CRC press, ©2018Availability:
Items available for reference: IIITD [REF 620.002 YAN-E] (1).

73. Summer of Simulation [electronic resource] :50 Years of Seminal Computer Simulation Research /

by Sokolowski, John [editor.] | Durak, Umut [editor.] | Mustafee, Navonil [editor.] | Tolk, Andreas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

74. Fundamentals of Image Data Mining [electronic resource] :Analysis, Features, Classification and Retrieval /

by Zhang, Dengsheng [author.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

75. Evolutionary Computing and Artificial Intelligence [electronic resource] :Essays Dedicated to Takao Terano on the Occasion of His Retirement /

by Koch, Fernando [editor.] | Yoshikawa, Atsushi [editor.] | Wang, Shihan [editor.] | Terano, Takao [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

76. Encyclopedia of Algorithms [electronic resource] /

by Kao, Ming-Yang [editor.] | SpringerLink (Online service).

Source: Springer Nature Living ReferenceMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in