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

Results
	341.	Programming Languages [electronic resource] : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / by Castor, Fernando [editor.] Liu, Yu David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9889 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)
	342.	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)
	343.	Logic, Language, Information, and Computation [electronic resource] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings / by Beklemishev, Lev D [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6642 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)
	344.	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)
	345.	Advances in Computer Science, Information Security and Privacy [electronic resource] : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings / by Datta, Anupam [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5913 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)
	346.	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)
	347.	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)
	348.	Software Engineering for Resilient Systems [electronic resource] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / by Crnkovic, Ivica [editor.] Troubitsyna, Elena [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9823 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)
	349.	Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings / by Owe, Olaf [editor.] Steffen, Martin [editor.] Telle, Jan Arne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6914 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)
	350.	Model Generation for Natural Language Interpretation and Analysis [electronic resource] / by Konrad, Karsten [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2953 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	351.	Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings / by Kwuida, Léonard [editor.] Sertkaya, Baris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5986 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)
	352.	Unconventional Computation and Natural Computation [electronic resource] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / by Amos, Martyn [editor.] Condon, Anne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9726 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)
	353.	Logic, Language, Information, and Computation [electronic resource] / by Ong, Luke [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7456 Edition: 2nd 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)
	354.	Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / by Abrial, Jean-Raymond [editor.] Glässer, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5115 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)
	355.	Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings / by Embley, David W [editor.] Olivé, Antoni [editor.] Ram, Sudha [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4215 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)
	356.	Tests and Proofs [electronic resource] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / by Dubois, Catherine [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10889 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)
	357.	Programming Languages and Systems [electronic resource] : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / by Igarashi, Atsushi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10017 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)
	358.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / by Croitoru, Madalina [editor.] Marquis, Pierre [editor.] Rudolph, Sebastian [editor.] Stapleton, Gem [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9501 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)
	359.	Neural Nets [electronic resource] : 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers / by Apolloni, Bruno [editor.] Marinaro, Maria [editor.] Nicosia, Giuseppe [editor.] Tagliaferri, Roberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3931 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)
	360.	Rough Sets and Knowledge Technology [electronic resource] : First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings / by Peters, James F [editor.] Yao, Yiju [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4062 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1396 results.