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

Results
	6281.	Software, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / by De Nicola, Rocco [editor.] Hennicker, Rolf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8950 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)
	6282.	Engineering Secure Future Internet Services and Systems [electronic resource] : Current Research / by Heisel, Maritta [editor.] Joosen, Wouter [editor.] López, Javier [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8431 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)
	6283.	Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / by Jones, Cliff B [editor.] Liu, Zhiming [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4700 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)
	6284.	New Trends in Applied Artificial Intelligence [electronic resource] : 20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems. IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings / by Okuno, Hiroshi G [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4570 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)
	6285.	Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Prodan, Radu [author.] Fahringer, Thomas [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4340 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)
	6286.	Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / by van Breugel, Franck [editor.] Kashefi, Elham [editor.] Palamidessi, Catuscia [editor.] Rutten, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8464 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)
	6287.	Computational Science - ICCS 2007 [electronic resource] : 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV / by Shi, Yong [editor.] Albada, Geert Dick van [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4490 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)
	6288.	New Stream Cipher Designs [electronic resource] : The eSTREAM Finalists / by Robshaw, Matthew [editor.] Billet, Olivier [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4986 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)
	6289.	Computational Science - ICCS 2007 [electronic resource] : 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III / by Shi, Yong [editor.] Albada, Geert Dick van [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4489 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)
	6290.	OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Alan Bundy / by Kohlhase, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4180 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)
	6291.	Theory and Applications of Formal Argumentation [electronic resource] : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers / by Black, Elizabeth [editor.] Modgil, Sanjay [editor.] Oren, Nir [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9524 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)
	6292.	Human-Computer Interaction. Interaction Platforms and Techniques [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / by Jacko, Julie A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4551 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)
	6293.	Advances in Neural Networks - ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III / by Liu, Derong [editor.] Fei, Shumin [editor.] Hou, Zeng-Guang [editor.] Zhang, Huaguang [editor.] Sun, Changyin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4493 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)
	6294.	Transactions on Computational Systems Biology VIII [electronic resource] / by Priami, Corrado [editor.] SpringerLink (Online service) Series: Transactions on Computational Systems Biology ; 4780 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)
	6295.	Transactions on Computational Collective Intelligence XX [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Duval, Béatrice [editor.] van den Herik, Jaap [editor.] Loiseau, Stephane [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 9420 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)
	6296.	Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / by Jacko, Julie A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4553 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)
	6297.	Switching and Learning in Feedback Systems [electronic resource] : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / by Murray-Smith, Roderick [editor.] Shorten, Robert [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3355 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)
	6298.	Speaker Classification I [electronic resource] : Fundamentals, Features, and Methods / by Müller, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4343 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)
	6299.	Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday / by Comon-Lundh, Hubert [editor.] Kirchner, Claude [editor.] Kirchner, Hélène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4600 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)
	6300.	Advances in Cryptology -- CRYPTO 2015 [electronic resource] : 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II / by Gennaro, Rosario [editor.] Robshaw, Matthew [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9216 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 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 8324 results.