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

Results
	81.	Autonomic and Trusted Computing [electronic resource] : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings / by Rong, Chunming [editor.] Jaatun, Martin Gilje [editor.] Sandnes, Frode Eika [editor.] Yang, Laurence Tianruo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5060 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)
	82.	EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings / by Shafazand, M. Hassan [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2510 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	83.	Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings / by Parsons, Jeffrey [editor.] Saeki, Motoshi [editor.] Shoval, Peretz [editor.] Woo, Carson [editor.] Wand, Yair [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6412 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)
	84.	Live Data Structures in Logic Programs [electronic resource] : Derivation by Means of Abstract Interpretation / by Mulkers, Anne [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 675 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	85.	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings / by Ando, Noriako [editor.] Balakirsky, Stephen [editor.] Hemker, Thomas [editor.] Reggiani, Monica [editor.] von Stryk, Oskar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6472 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)
	86.	Hybrid Systems III [electronic resource] : Verification and Control / by Alur, Rajeev [editor.] Henzinger, Thomas A [editor.] Sontag, Eduardo D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1066 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	87.	Journal on Data Semantics VII [electronic resource] / by Spaccapietra, Stefano [editor.] SpringerLink (Online service) Series: Journal on Data Semantics ; 4244 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)
	88.	Computational and Corpus-Based Phraseology [electronic resource] : Second International Conference, Europhras 2017, London, UK, November 13-14, 2017, Proceedings / by Mitkov, Ruslan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10596 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)
	89.	Language Technologies for the Challenges of the Digital Age [electronic resource] : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings / by Rehm, Georg [editor.] Declerck, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10713 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	90.	Cryptography and Coding [electronic resource] : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings / by Paterson, Kenneth G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2898 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	91.	Interactive Theorem Proving [electronic resource] : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by Avigad, Jeremy [editor.] Mahboubi, Assia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10895 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	92.	Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Aagaard, Mark [editor.] Harrison, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1869 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	93.	Advances in Web-Age Information Management [electronic resource] : 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings / by Dong, Guozhu [editor.] Tang, Chanjie [editor.] Wang, Wei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2762 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	94.	High Performance Computing -- HiPC 2003 [electronic resource] : 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings / by Pinkston, Timothy Mark [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2913 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	95.	Secure IT Systems [electronic resource] : 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 -- November 2, 2012, Proceedings / by Jøsang, Audun [editor.] Carlsson, Bengt [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7617 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)
	96.	Informatics Education - The Bridge between Using and Understanding Computers [electronic resource] : International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006, Proceedings / by Mittermeir, Roland [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4226 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)
	97.	The Semantic Web: ESWC 2017 Satellite Events [electronic resource] : ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers / by Blomqvist, Eva [editor.] Hose, Katja [editor.] Paulheim, Heiko [editor.] Ławrynowicz, Agnieszka [editor.] Ciravegna, Fabio [editor.] Hartig, Olaf [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10577 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)
	98.	Programming Language Implementation and Logic Programming [electronic resource] : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings / by Deransart, Pierre [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 456 Edition: 1st ed. 1990. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	99.	Foundations of Object-Oriented Languages [electronic resource] : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 / by Bakker, J.W. de [editor.] Roever, W.P. de [editor.] Rozenberg, G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 489 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	100.	Recent Advances in Intrusion Detection [electronic resource] : 4th International Symposium, RAID 2001 Davis, CA, USA, October 10-12, 2001 Proceedings / by Lee, Wenke [editor.] Me, Ludovic [editor.] Wespi, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2212 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 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

Topics

Your search returned 172 results.