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

Results
	1661.	Information Security [electronic resource] : 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings / by Nguyen, Phong Q [editor.] Zhou, Jianying [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10599 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)
	1662.	Transactions on Petri Nets and Other Models of Concurrency XII [electronic resource] / by Koutny, Maciej [editor.] Kleijn, Jetty [editor.] Penczek, Wojciech [editor.] Zhang, Mingmin [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 10470 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)
	1663.	Automated Reasoning [electronic resource] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / by Galmiche, Didier [editor.] Schulz, Stephan [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10900 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)
	1664.	Field Programmable Logic and Application [electronic resource] : 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings / by Becker, Jürgen [editor.] Platzner, Marco [editor.] Vernalde, Serge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3203 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)
	1665.	Logic Programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / by Demoen, Bart [editor.] Lifschitz, Vladimir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3132 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)
	1666.	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / by Borba, Paulo [editor.] Cavalcanti, Ana [editor.] Sampaio, Augusto [editor.] Woodcook, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6153 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)
	1667.	Reading and Learning [electronic resource] : Adaptive Content Recognition / by Dengel, Andreas [editor.] Junker, Markus [editor.] Weisbecker, Anette [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2956 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)
	1668.	Computational Science — ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part IV / by Bubak, Marian [editor.] Albada, Geert D. van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3039 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)
	1669.	Pervasive Computing [electronic resource] : Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings / by Ferscha, Alois [editor.] Mattern, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3001 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)
	1670.	ECOOP 2004 - Object-Oriented Programming [electronic resource] : 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings / by Odersky, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3086 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)
	1671.	Model Checking Software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / by Graf, Susanne [editor.] Mounier, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2989 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)
	1672.	Semirings for Soft Constraint Solving and Programming [electronic resource] / by Bistarelli, Stefano [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2962 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)
	1673.	Intelligent Data Engineering and Automated Learning - IDEAL 2004 [electronic resource] : 5th International Conference, Exeter, UK, August 25-27, 2004, Proceedings / by Yang, Zhen Rong [editor.] Everson, Richard [editor.] Yin, Hujun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3177 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)
	1674.	The Semantic Web: Research and Applications [electronic resource] : First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings / by Davies, John Francis [editor.] Bussler, Christoph [editor.] Studer, Rudi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3053 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)
	1675.	Practical Aspects of Declarative Languages [electronic resource] : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / by Jayaraman, Bharat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3057 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)
	1676.	Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / by Bruynooghe, Maurice [editor.] Lau, Kung-Kiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3049 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)
	1677.	Computer and Information Sciences - ISCIS 2004 [electronic resource] : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings / by Aykanat, Cevdet [editor.] Dayar, Tugrul [editor.] Korpeoglu, Ibrahim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3280 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)
	1678.	Network and System Security [electronic resource] : 11th International Conference, NSS 2017, Helsinki, Finland, August 21–23, 2017, Proceedings / by Yan, Zheng [editor.] Molva, Refik [editor.] Mazurczyk, Wojciech [editor.] Kantola, Raimo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10394 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)
	1679.	Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 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)
	1680.	PRIMA 2016: Principles and Practice of Multi-Agent Systems [electronic resource] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / by Baldoni, Matteo [editor.] Chopra, Amit K [editor.] Son, Tran Cao [editor.] Hirayama, Katsutoshi [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9862 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.