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

Results
	501.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I / by Huang, Tingwen [editor.] Zeng, Zhigang [editor.] Li, Chuandong [editor.] Leung, Chi Sing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7663 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)
	502.	Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / by Miguel, Ian [editor.] Tuml, Wheeler [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4612 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)
	503.	Natural Language Processing and Information Systems [electronic resource] : 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedings / by Bouma, Gosse [editor.] Ittoo, Ashwin [editor.] Métais, Elisabeth [editor.] Wortmann, Hans [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7337 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)
	504.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings / by Richa, Andréa W [editor.] Scheideler, Christian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7596 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)
	505.	Higher-Level Hardware Synthesis [electronic resource] / by Sharp, Richard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2963 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	506.	Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings / by Durand-Lose, Jérôme [editor.] Margenstern, Maurice [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4664 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)
	507.	Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / by Blass, Andreas [editor.] Dershowitz, Nachum [editor.] Reisig, Wolfgang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6300 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)
	508.	Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers / by Bloch, Isabelle [editor.] Petrosino, Alfredo [editor.] Tettamanzi, Andrea G.B [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3849 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)
	509.	Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / by Archibald, Margaret [editor.] Brattka, Vasco [editor.] Goranko, Valentin F [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5489 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)
	510.	Modular Ontologies [electronic resource] : Concepts, Theories and Techniques for Knowledge Modularization / by Stuckenschmidt, Heiner [editor.] Parent, Christine [editor.] Spaccapietra, Stefano [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5445 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)
	511.	Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / by Joshi, Rajeev [editor.] Müller, Peter [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7152 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)
	512.	Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Lang, Frédéric [editor.] Flammini, Francesco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8718 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)
	513.	Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Kumar, Vipin [editor.] Tan, C.J. Kenneth [editor.] Taniar, David [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] Choo, Hyunseung [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3983 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)
	514.	Computing with Instinct [electronic resource] : Rediscovering Artificial Intelligence / by Cai, Yang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5897 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)
	515.	Research in Computational Molecular Biology [electronic resource] : 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings / by Singh, Mona [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9649 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)
	516.	Information Security and Cryptology [electronic resource] : Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / by Pei, Dingyi [editor.] Yung, Moti [editor.] Lin, Dongdai [editor.] Wu, Chuankun [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4990 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)
	517.	ECOOP 2008 - Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings / by Vitek, Jan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5142 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)
	518.	Advances in Databases and Information Systems [electronic resource] : 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, Proceedings / by Ioannidis, Yannis [editor.] Novikov, Boris [editor.] Rachev, Boris [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4690 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)
	519.	Topics in Cryptology - CT- RSA 2013 [electronic resource] : The Cryptographer`s Track at RSA Conference 2013, San Francisco, CA, USA, February 25- March 1, 2013, Proceedings / by Dawson, Ed [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7779 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)
	520.	Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / by Bensalem, Saddek [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5779 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 1357 results.