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

Results
	3821.	Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / by Liu, Shaoying [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7787 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)
	3822.	Grid and Cooperative Computing - GCC 2005 [electronic resource] : 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings / by Zhuge, Hai [editor.] Fox, Geoffrey C [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3795 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)
	3823.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings / by Chatterjee, Krishnendu [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6246 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)
	3824.	Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / by Hofmeister, Christine [editor.] Crnkovic, Ivica [editor.] Reussner, Ralf H [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4214 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)
	3825.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings / by Kulkarni, Sandeep [editor.] Schiper, Andre [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5340 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)
	3826.	Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings / by Lea, Doug [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5052 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)
	3827.	Agents and Data Mining Interaction [electronic resource] : 4th International Workshop on Agents and Data Mining Interaction, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers / by Cao, Longbing [editor.] Gorodetsky, A.E [editor.] Liu, Jiming [editor.] Weiß, Gerhard [editor.] Yu, Philip S [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5680 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)
	3828.	Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / by Havelund, Klaus [editor.] Majumdar, Rupak [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5156 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)
	3829.	OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / by Chapman, Barbara [editor.] Massaioli, Federico [editor.] Müller, Matthias S [editor.] Rorro, Marco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7312 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)
	3830.	Descriptional Complexity of Formal Systems [electronic resource] : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / by Pighizzini, Giovanni [editor.] Câmpeanu, Cezar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10316 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)
	3831.	Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / by Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5700 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)
	3832.	Virtual, Augmented and Mixed Reality: Designing and Developing Augmented and Virtual Environments [electronic resource] : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / by Shumaker, Randall [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8021 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)
	3833.	Progress in Cryptology – INDOCRYPT 2007 [electronic resource] : 8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007, Proceedings / by Srinathan, K [editor.] Pandu Rangan, C [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4859 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)
	3834.	Cryptographic Hardware and Embedded Systems -- CHES 2015 [electronic resource] : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / by Güneysu, Tim [editor.] Handschuh, Helena [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9293 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)
	3835.	Information Security and Cryptology [electronic resource] : 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers / by Lin, Dongdai [editor.] Wang, XiaoFeng [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9589 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)
	3836.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / by Baral, Chitta [editor.] Greco, Gianluigi [editor.] Leone, Nicola [editor.] Terracina, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3662 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)
	3837.	Perspectives of Systems Informatics [electronic resource] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers / by Pnueli, Amir [editor.] Virbitskaite, Irina [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5947 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)
	3838.	Graph-Based Representations in Pattern Recognition [electronic resource] : 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings / by Brun, Luc [editor.] Vento, Mario [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3434 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)
	3839.	Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I / by Lee, Minho [editor.] Hirose, Akira [editor.] Hou, Zeng-Guang [editor.] Kil, Rhee Man [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8226 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)
	3840.	Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / by Schneider, Klaus [editor.] Brandt, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4732 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8328 results.