Results of search for 'ccl=su:{Science }' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	5601.	Cryptographic Hardware and Embedded Systems – CHES 2008 [electronic resource] : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008, Proceedings / by Oswald, Elisabeth [editor.] Rohatgi, Pankaj [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5154 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5602.	Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / by Fomin, Fedor V [editor.] Freivalds, Rusins [editor.] Kwiatkowska, Marta [editor.] Peleg, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7966 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5603.	Automated Deduction – CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / by de Moura, Leonardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10395 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5604.	Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / by Oddi, Angelo [editor.] Fages, François [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5655 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5605.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / by van der Aalst, Wil [editor.] Best, Eike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10258 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5606.	Hybrid Artificial Intelligence Systems [electronic resource] : 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014, Proceedings / by Polycarpou, Marios [editor.] de Carvalho, André C.P.L.F [editor.] Pan, Jeng-Shyang [editor.] Woźniak, Michał [editor.] Quintián, Héctor [editor.] Corchado, Emilio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8480 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5607.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part I / by Gunopulos, Dimitrios [editor.] Hofmann, Thomas [editor.] Malerba, Donato [editor.] Vazirgiannis, Michalis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6911 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5608.	Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / by Ferrandez Vicente, Jose Manuel [editor.] Alvarez Sanchez, Jose Ramon [editor.] de la Paz Lopez, Felix [editor.] Toledo Moreo, Fco. Javier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7931 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5609.	Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II / by Loo, Chu Kiong [editor.] Keem Siah, Yap [editor.] Wong, Kok Wai [editor.] Beng Jin, Andrew Teoh [editor.] Huang, Kaizhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8835 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5610.	Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers / by Aßmann, Uwe [editor.] Aksit, Mehmet [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3599 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5611.	Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings / by Bouajjani, Ahmed [editor.] Maler, Oded [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5643 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5612.	Static Analysis [electronic resource] : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings / by Ranzato, Francesco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10422 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5613.	Chinese Lexical Semantics [electronic resource] : 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers / by Liu, Pengyuan [editor.] Su, Qi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8229 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5614.	Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II / by Deng, Hepu [editor.] Miao, Duoqian [editor.] Lei, Jingsheng [editor.] Wang, Fu Lee [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7003 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5615.	Artificial Neural Networks in Pattern Recognition [electronic resource] : 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28–30, 2016, Proceedings / by Schwenker, Friedhelm [editor.] Abbas, Hazem M [editor.] El Gayar, Neamat [editor.] Trentin, Edmondo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9896 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5616.	Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / by Drewes, Frank [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10168 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5617.	Protecting Persons While Protecting the People [electronic resource] : Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, USA, May 12, 2008. Revised Selected Papers / by Gal, Cecilia S [editor.] Kantor, Paul B [editor.] Lesk, Michael E [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5661 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5618.	Cryptology and Network Security [electronic resource] : 11th International Conference, CANS 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings / by Pieprzyk, Josef [editor.] Sadeghi, Ahmad-Reza [editor.] Manulis, Mark [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7712 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5619.	Algorithms for Sensor Systems [electronic resource] : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers / by Bar-Noy, Amotz [editor.] Halldorsson, Magnus M [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7718 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5620.	Public Key Infrastructures, Services and Applications [electronic resource] : 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers / by Katsikas, Sokratis [editor.] Agudo, Isaac [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8341 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.