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

Results
	161.	Formal Concept Analysis [electronic resource] : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings / by Glodeanu, Cynthia Vera [editor.] Kaytoue, Mehdi [editor.] Sacarea, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8478 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)
	162.	Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / by Gabbrielli, Maurizio [editor.] Gupta, Gopal [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3668 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)
	163.	Developments in Language Theory [electronic resource] : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / by Hoshi, Mizuho [editor.] Seki, Shinnosuke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11088 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)
	164.	Theory and Applications of Models of Computation [electronic resource] : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings / by Gopal, T.V [editor.] Watada, Junzo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11436 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	165.	Programming Languages and Systems [electronic resource] : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings / by Shan, Chung-chien [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8301 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	166.	Intelligent Computer Mathematics [electronic resource] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / by Watt, Stephen M [editor.] Sexton, Alan [editor.] Davenport, James H [editor.] Sojka, Petr [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8543 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)
	167.	Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / by Fiadeiro, José Luiz [editor.] Liu, Zhiming [editor.] Xue, Jinyun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8348 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)
	168.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / by Leite, João [editor.] Son, Tran Cao [editor.] Torroni, Paolo [editor.] van der Torre, Leon [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8143 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)
	169.	Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by Chen, Yu-Fang [editor.] Cheng, Chih-Hong [editor.] Esparza, Javier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11781 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	170.	Beyond the Horizon of Computability [electronic resource] : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / by Anselmo, Marcella [editor.] Della Vedova, Gianluca [editor.] Manea, Florin [editor.] Pauly, Arno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12098 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	171.	Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / by Italiano, Giuseppe F [editor.] Pighizzini, Giovanni [editor.] Sannella, Donald T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9234 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)
	172.	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings / by Mycroft, Alan [editor.] Zeller, Andreas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3923 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)
	173.	Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings / by Gopalakrishnan, Ganesh [editor.] Qadeer, Shaz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6806 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)
	174.	Functional and Logic Programming [electronic resource] : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / by Nakano, Keisuke [editor.] Sagonas, Konstantinos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12073 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	175.	Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / by Petrenko, Alexandre [editor.] Simao, Adenilso [editor.] Maldonado, José Carlos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6435 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)
	176.	Formal Grammar [electronic resource] : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers / by Foret, Annie [editor.] Muskens, Reinhard [editor.] Pogodalla, Sylvain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10686 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	177.	Descriptional Complexity of Formal Systems [electronic resource] : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings / by Jirásková, Galina [editor.] Pighizzini, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12442 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	178.	R-Calculus, III: Post Three-Valued Logic [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	179.	Formal Grammar 2018 [electronic resource] : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings / by Foret, Annie [editor.] Kobele, Greg [editor.] Pogodalla, Sylvain [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10950 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	180.	Scalable Uncertainty Management [electronic resource] : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / by Ciucci, Davide [editor.] Pasi, Gabriella [editor.] Vantaggi, Barbara [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11142 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1396 results.