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

Results
	5401.	Artificial Neural Networks in Pattern Recognition [electronic resource] : 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014, Proceedings / by El Gayar, Neamat [editor.] Schwenker, Friedhelm [editor.] Suen, Cheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8774 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)
	5402.	Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings / by Paschke, Adrian [editor.] Biletskiy, Yevgen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4824 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5403.	Principles and Practice of Constraint Programing-CP 2013 [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings / by Schulte, Christian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8124 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)
	5404.	Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings / by Auer, Peter [editor.] Meir, Ron [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3559 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)
	5405.	Information Theoretic Security [electronic resource] : Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008, Proceedings / by Safavi-Naini, Reihaneh [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5155 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)
	5406.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings / by Achterberg, Tobias [editor.] Beck, J. Christopher [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6697 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)
	5407.	Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings / by Lukasiewicz, Thomas [editor.] Sali, Attila [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7153 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)
	5408.	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / by Hagiya, Masami [editor.] Wadler, Philip [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3945 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5409.	Computational Science - ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II / by Alexandrov, Vassil N [editor.] van Albada, G. Dick [editor.] Sloot, Peter M.A [editor.] Dongarra, J. J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3992 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5410.	Privacy Enhancing Technologies [electronic resource] : 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / by Martin, David [editor.] Serjantov, Andrei [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3424 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)
	5411.	Sequences, Subsequences, and Consequences [electronic resource] : International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers / by Golomb, Solomon W [editor.] Gong, Guang [editor.] Helleseth, Tor [editor.] Song, Hong-Yeop [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4893 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5412.	Image and Signal Processing [electronic resource] : 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings / by Mansouri, Alamin [editor.] Nouboud, Fathallah [editor.] Chalifour, Alain [editor.] Mammass, Driss [editor.] Meunier, Jean [editor.] El Moataz, Abderrahim [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9680 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)
	5413.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings / by Legay, Axel [editor.] Bensalem, Saddek [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8174 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)
	5414.	Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings / by Kutrib, Martin [editor.] Moreira, Nelma [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7386 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)
	5415.	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers / by Hnich, Brahim [editor.] Carlsson, Mats [editor.] Fages, Francois [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3978 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5416.	Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / by Cimatti, Alessandro [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10469 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)
	5417.	Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare and Safety of the Environment and Transport [electronic resource] : 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / by Duffy, Vincent G [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8025 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)
	5418.	Abdominal Imaging. Computational and Clinical Applications [electronic resource] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / by Yoshida, Hiroyuki [editor.] Warfield, Simon [editor.] Vannier, Michael [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8198 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)
	5419.	Learning Classifier Systems [electronic resource] : International Workshops, IWLCS 2003-2005, Revised Selected Papers / by Kovacs, Tim [editor.] Llorà, Xavier [editor.] Takadama, Keiki [editor.] Lanzi, Pier Luca [editor.] Stolzmann, Wolfgang [editor.] Wilson, Stewart W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4399 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5420.	Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / by Leue, Stefan [editor.] Merino, Pedro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4916 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.