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

Results
	41.	Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by De Nicola, Rocco [editor.] Kühn, Eva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9763 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)
	42.	Formal Methods – The Next 30 Years [electronic resource] : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by ter Beek, Maurice H [editor.] McIver, Annabelle [editor.] Oliveira, José N [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11800 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)
	43.	Quantum Interaction [electronic resource] : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / by Coecke, Bob [editor.] Lambert-Mogiliansky, Ariane [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11690 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)
	44.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings / by Liu, Weiru [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6717 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)
	45.	Implementation and Application of Automata [electronic resource] : 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings / by Câmpeanu, Cezar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10977 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)
	46.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by Guan, Nan [editor.] Katoen, Joost-Pieter [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11951 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)
	47.	The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence / by Alemi, Mario [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	48.	Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / by Majumdar, Rupak [editor.] Kunčak, Viktor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10427 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)
	49.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / by Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11429 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)
	50.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11562 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)
	51.	The Semantic Web [electronic resource] : 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings / by Harth, Andreas [editor.] Kirrane, Sabrina [editor.] Ngonga Ngomo, Axel-Cyrille [editor.] Paulheim, Heiko [editor.] Rula, Anisa [editor.] Gentile, Anna Lisa [editor.] Haase, Peter [editor.] Cochez, Michael [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12123 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)
	52.	Inductive Logic Programming [electronic resource] : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings / by Kazakov, Dimitar [editor.] Erten, Can [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11770 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)
	53.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12759 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	54.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12760 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	55.	Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / by Serrano, Manuel [editor.] Hage, Jurriaan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9547 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)
	56.	Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings / by Hodges, Wilfrid [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5110 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)
	57.	Modeling Decisions for Artificial Intelligence [electronic resource] : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings / by Narukawa, Yasuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5285 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)
	58.	Computational Methods in Systems Biology [electronic resource] : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / by Češka, Milan [editor.] Šafránek, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11095 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)
	59.	From Software Engineering to Formal Methods and Tools, and Back [electronic resource] : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by ter Beek, Maurice H [editor.] Fantechi, Alessandro [editor.] Semini, Laura [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11865 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)
	60.	Topics in Theoretical Computer Science [electronic resource] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / by Hajiaghayi, Mohammed Taghi [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9541 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1396 results.