Results of search for 'ccl=su:{Computer Science } and se:Theoretical Computer Science and General Issues and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	221.	Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / by Manea, Florin [editor.] Nowotka, Dirk [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9304 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)
	222.	Fun with Algorithms [electronic resource] : 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings / by Crescenzi, Pierluigi [editor.] Prencipe, Giuseppe [editor.] Pucci, Geppino [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4475 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)
	223.	Computational Science – ICCS 2008 [electronic resource] : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II / by Bubak, Marian [editor.] van Albada, Geert Dick [editor.] Dongarra, Jack [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5102 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)
	224.	Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / by Bosnacki, Dragan [editor.] Edelkamp, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4595 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)
	225.	Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / by Fischer, Bernd [editor.] Geldenhuys, Jaco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9232 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)
	226.	Advances in Swarm Intelligence [electronic resource] : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Tang, Qirong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10941 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)
	227.	Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by Gallardo, María del Mar [editor.] Merino, Pedro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10869 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)
	228.	Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / by Nagel, Wolfgang E [editor.] Walter, Wolfgang V [editor.] Lehner, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4128 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)
	229.	Structured Object-Oriented Formal Language and Method [electronic resource] : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9559 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)
	230.	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / by Puebla, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4407 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)
	231.	Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by Kroening, Daniel [editor.] Păsăreanu, Corina S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9206 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)
	232.	Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by Plaat, Aske [editor.] van den Herik, Jaap [editor.] Kosters, Walter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9525 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)
	233.	Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings / by Cerioli, Maura [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3442 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)
	234.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / by Bouajjani, Ahmed [editor.] Monniaux, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10145 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)
	235.	High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers / by Zhang, Wu [editor.] Chen, Zhangxin [editor.] Douglas, Craig C [editor.] Tong, Weiqin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5938 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)
	236.	Theory and Applications of Satisfiability Testing – SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings / by Beyersdorff, Olaf [editor.] Wintersteiger, Christoph M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10929 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)
	237.	SOFSEM 2014: Theory and Practice of Computer Science [electronic resource] : 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / by Geffert, Viliam [editor.] Preneel, Bart [editor.] Rovan, Branislav [editor.] Štuller, Július [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8327 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)
	238.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / by Fränzle, Martin [editor.] Markey, Nicolas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9884 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)
	239.	Algorithms and Architectures for Parallel Processing [electronic resource] : 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings / by Bourgeois, Anu G [editor.] Zheng, Si Quing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5022 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)
	240.	Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II / by Gao, Xiaofeng [editor.] Du, Hongwei [editor.] Han, Meng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10628 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 639 results.