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

Results
	2681.	Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 / by van Eijk, Rogier M [editor.] Huget, Marc-Philippe [editor.] Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3396 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)
	2682.	Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings / by Valmari, Antti [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3925 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)
	2683.	High Performance Computing - HiPC 2007 [electronic resource] : 14th International Conference, Goa, India, December 18-21, 2007, Proceedings / by Aluru, Srinivas [editor.] Parashar, Manish [editor.] Badrinath, Ramamurthy [editor.] Prasanna, Viktor K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4873 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)
	2684.	Smart Card Research and Advanced Applications [electronic resource] : 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers / by Lemke-Rust, Kerstin [editor.] Tunstall, Michael [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10146 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)
	2685.	Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by Roux, Olivier [editor.] Bourdon, Jérémie [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9308 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)
	2686.	Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings / by Anai, Hirokazu [editor.] Horimoto, Katsuhisa [editor.] Kutsia, Temur [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4545 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)
	2687.	Trustworthy Software Development Processes [electronic resource] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings / by Wang, Qing [editor.] Garousi, Vahid [editor.] Madachy, Raymond [editor.] Pfahl, Dietmar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5543 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)
	2688.	Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / by Dignum, Frank [editor.] van Eijk, Rogier [editor.] Flores, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3859 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)
	2689.	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / by Duchier, Denys [editor.] Parmentier, Yannick [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8114 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)
	2690.	KI 2009: Advances in Artificial Intelligence [electronic resource] : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings / by Mertsching, Bärbel [editor.] Hund, Marcus [editor.] Aziz, Zaheer [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5803 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)
	2691.	Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings / by Calder, Muffy [editor.] Gilmore, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4695 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)
	2692.	Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, Proceedings / by Stützle, Thomas [editor.] Birattari, Mauro [editor.] Hoos, Holger H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5752 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)
	2693.	Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / by Klasing, Ralf [editor.] Zeitoun, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10472 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)
	2694.	Real-Time and Embedded Computing Systems and Applications [electronic resource] : 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers / by Chen, Jing [editor.] Hong, Seongsoo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2968 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)
	2695.	Object-Oriented Technology. ECOOP 2004 Workshop Reader [electronic resource] : ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports / by Malenfant, Jacques [editor.] Østvold, Bjarte M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3344 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)
	2696.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / by Grumberg, Orna [editor.] Huth, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4424 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)
	2697.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / by Johnsen, Einar Broch [editor.] Petre, Luigia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7940 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)
	2698.	Medical Imaging and Augmented Reality [electronic resource] : 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, Proceedings / by Liao, Hongen [editor.] Edwards, P.J. Eddie [editor.] Pan, Xiaochuan [editor.] Fan, Yong [editor.] Yang, Guang-Zhong [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6326 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)
	2699.	Advances in Computer Science - ASIAN 2004, Higher Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 / by Maher, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3321 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)
	2700.	Advanced Informatics for Computing Research [electronic resource] : Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II / by Luhach, Ashish Kumar [editor.] Jat, Dharm Singh [editor.] Hawari, Kamarul Bin Ghazali [editor.] Gao, Xiao-Zhi [editor.] Lingras, Pawan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1076 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 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.