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

Results
	4641.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / by Barták, Roman [editor.] Milano, Michela [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3524 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)
	4642.	Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / by Beringer, Lennart [editor.] Felty, Amy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7406 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)
	4643.	Financial Cryptography and Data Security [electronic resource] : 11th International Conference, FC 2007, and First International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad/Tobago, February 12-16, 2007. Revised Selected Papers / by Dietrich, Sven [editor.] Dhamija, Rachna [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4886 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)
	4644.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part II / by Flach, Peter A [editor.] De Bie, Tijl [editor.] Cristianini, Nello [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7524 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)
	4645.	Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / by Huisman, Marieke [editor.] Rubin, Julia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10202 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4646.	Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Castagna, Giuseppe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5502 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)
	4647.	Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Kaiser, Lukasz [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6810 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)
	4648.	Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / by Ong, Luke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6690 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)
	4649.	Computing and Combinatorics [electronic resource] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / by Dinh, Thang N [editor.] Thai, My T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9797 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)
	4650.	From Programs to Systems - The Systems Perspective in Computing [electronic resource] : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings / by Bensalem, Saddek [editor.] Lakhnech, Yassine [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8415 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)
	4651.	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers / by Armando, Alessandro [editor.] Lowe, Gavin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6186 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4652.	Information Systems Security [electronic resource] : 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings / by Bagchi, Aditya [editor.] Ray, Indrakshi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8303 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)
	4653.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / by Ait Ameur, Yamine [editor.] Schewe, Klaus-Dieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8477 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)
	4654.	Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings / by Indulska, Jadwiga [editor.] Raymond, Kerry [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4531 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)
	4655.	Intelligent Computing Technology [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012, Proceedings / by Huang, De-Shuang [editor.] Jiang, Changjun [editor.] Bevilacqua, Vitoantonio [editor.] Figueroa, Juan Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7389 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)
	4656.	Algorithms -- ESA 2010, Part II [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings / by de Berg, Mark [editor.] Meyer, Ulrich [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6347 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4657.	Advances in Nonlinear Speech Processing [electronic resource] : 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013, Proceedings / by Drugman, Thomas [editor.] Dutoit, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7911 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)
	4658.	Internet and Network Economics [electronic resource] : 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings / by Papadimitriou, Christos [editor.] Zhang, Shuzhong [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5385 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)
	4659.	B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings / by Julliand, Jacques [editor.] Kouchnarenko, Olga [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4355 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)
	4660.	Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings / by Masulli, Francesco [editor.] Pasi, Gabriella [editor.] Yager, Ronald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8256 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 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.