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

Results
	1981.	Petri Nets and Other Models of Concurrency - ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings / by Kleijn, Jetty [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4546 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)
	1982.	Sanskrit Computational Linguistics [electronic resource] : Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings / by Kulkarni, Amba [editor.] Huet, Gérard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5406 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)
	1983.	Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / by Cofer, Darren [editor.] Fantechi, Alessandro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5596 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)
	1984.	Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 10th International Workshop, RFIDSec 2014, Oxford, UK, July 21-23, 2014, Revised Selected Papers / by Saxena, Nitesh [editor.] Sadeghi, Ahmad-Reza [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8651 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)
	1985.	Advances in Neuro-Information Processing [electronic resource] : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II / by Köppen, Mario [editor.] Kasabov, Nikola [editor.] Coghill, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5507 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)
	1986.	Evolutionary Multi-Criterion Optimization [electronic resource] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings / by Fonseca, Carlos M [editor.] Gandibleux, Xavier [editor.] Hao, Jin-Kao [editor.] Sevaux, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5467 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)
	1987.	Integer Programming and Combinatorial Optimization [electronic resource] : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / by Louveaux, Quentin [editor.] Skutella, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9682 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)
	1988.	Artificial Intelligence and Soft Computing [electronic resource] : 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafał [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9693 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)
	1989.	SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings / by Bielikova, Maria [editor.] Friedrich, Gerhard [editor.] Gottlob, Georg [editor.] Katzenbeisser, Stefan [editor.] Turán, György [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7147 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)
	1990.	Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings / by Hill, Patricia M [editor.] Warren, David S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5649 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)
	1991.	Trust, Privacy and Security in Digital Business [electronic resource] : 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009, Proceedings / by Fischer-Hübner, Simone [editor.] Lambrinoudakis, Costas [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5695 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)
	1992.	Computer Security – ESORICS 2016 [electronic resource] : 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I / by Askoxylakis, Ioannis [editor.] Ioannidis, Sotiris [editor.] Katsikas, Sokratis [editor.] Meadows, Catherine [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9878 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)
	1993.	Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / by Lodi, Andrea [editor.] Panconesi, Alessandro [editor.] Rinaldi, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5035 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)
	1994.	OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [electronic resource] : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / by Gorentla Venkata, Manjunath [editor.] Shamis, Pavel [editor.] Imam, Neena [editor.] Lopez, M. Graham [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9397 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1995.	Public Key Infrastructures, Services and Applications [electronic resource] : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers / by Petkova-Nikova, Svetla [editor.] Pashalidis, Andreas [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7163 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)
	1996.	Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / by Cuellar, Jorge [editor.] Lopez, Javier [editor.] Barthe, Gilles [editor.] Pretschner, Alexander [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6710 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)
	1997.	Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / by Dams, Dennis [editor.] Hannemann, Ulrich [editor.] Steffen, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5930 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)
	1998.	Distributed Computing and Internet Technology [electronic resource] : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings / by Ramanujam, Ram [editor.] Ramaswamy, Srini [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7154 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)
	1999.	Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings / by Calude, Christian S [editor.] da Costa, Jose Felix Gomes [editor.] Dershowitz, Nachum [editor.] Freire, Elisabete [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5715 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)
	2000.	Algorithms in Bioinformatics [electronic resource] : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011, Proceedings / by Przytycka, Teresa M [editor.] Sagot, Marie-France [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6833 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.