Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Theoretical Computer Science and General Issues and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	601.	Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / by Csuhaj-Varju, Erzsebet [editor.] Gheorghe, Marian [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7762 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)
	602.	Euro-Par 2005 Parallel Processing [electronic resource] : 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by Cunha, José C [editor.] Medeiros, Pedro D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3648 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)
	603.	Combinatorial Optimization and Applications [electronic resource] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009, Proceedings / by Du, Ding-Zhu [editor.] Hu, Xiaodong [editor.] Pardalos, Panos M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5573 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)
	604.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / by van der Aalst, Wil [editor.] Best, Eike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10258 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)
	605.	Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings / by Bouajjani, Ahmed [editor.] Maler, Oded [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5643 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)
	606.	Small Dynamic Complexity Classes [electronic resource] : An Investigation into Dynamic Descriptive Complexity / by Zeume, Thomas [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10110 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)
	607.	Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 / by Tixeuil, Sébastien [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3764 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)
	608.	Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / by Hurd, Joe [editor.] Melham, Tom [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3603 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)
	609.	Generic and Indexed Programming [electronic resource] / by Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7470 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)
	610.	Parallel Computing Technologies [electronic resource] : 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10421 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)
	611.	Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part IV / by Murgante, Beniamino [editor.] Gervasi, Osvaldo [editor.] Iglesias, Andres [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6785 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	612.	Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings / by Delzanno, Giorgio [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6945 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	613.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Flanagan, Cormac [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7214 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)
	614.	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4144 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)
	615.	Algorithms for Sensor and Ad Hoc Networks [electronic resource] : Advanced Lectures / by Wagner, Dorothea [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4621 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)
	616.	Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / by Dwyer, Matthew B [editor.] Lopes, Antonia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4422 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)
	617.	Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by Lucanu, Dorel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9942 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)
	618.	Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by Morari, Manfred [editor.] Thiele, Lothar [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3414 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)
	619.	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers / by Miculan, Marino [editor.] Scagnetto, Ivan [editor.] Honsell, Furio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4941 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)
	620.	Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10189 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 882 results.