Results of search for 'ccl=su:{Algorithms.} and su-to:Software engineering and su-to:Machine theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	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)
	42.	Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / by Rovatsos, Michael [editor.] Vouros, George [editor.] Julian, Vicente [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9571 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)
	43.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by Degano, Pierpaolo [editor.] de Nicola, Rocco [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5065 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)
	44.	Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings / by Giese, Holger [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8571 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)
	45.	Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / by Urban, Christian [editor.] Zhang, Xingyuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9236 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)
	46.	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings / by Arvind, V [editor.] Prasad, Sanjiva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4855 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)
	47.	FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings / by Lodaya, Kamal [editor.] Mahajan, Meena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3328 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)
	48.	Automated Reasoning [electronic resource] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / by Galmiche, Didier [editor.] Schulz, Stephan [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10900 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)
	49.	Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by Ábrahám, Erika [editor.] Bonsangue, Marcello [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9660 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)
	50.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / by Kuncak, Viktor [editor.] Rybalchenko, Andrey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7148 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)
	51.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / by Legay, Axel [editor.] Margaria, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10205 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)
	52.	Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / by Blass, Andreas [editor.] Dershowitz, Nachum [editor.] Reisig, Wolfgang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6300 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)
	53.	Compiler Construction [electronic resource] : 21st International Conference, CC 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 O'Boyle, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7210 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)
	54.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings / by Jurdzinski, Marcin [editor.] Nickovic, Dejan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7595 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)
	55.	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)
	56.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings / by Fahrenberg, Uli [editor.] Tripakis, Stavros [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6919 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)
	57.	Reversible Computation [electronic resource] : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers / by De Vos, Alexis [editor.] Wille, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7165 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)
	58.	Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Knoop, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6601 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)
	59.	Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings / by Ghilardi, Silvio [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5749 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)
	60.	Formal Methods and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / by Butler, Michael [editor.] Conchon, Sylvain [editor.] Zaïdi, Fatiha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9407 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 124 results.