Results of search for 'ccl=su:{Theory of Computation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	101.	Formal Methods and Software Engineering [electronic resource] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by Riesco, Adrian [editor.] Zhang, Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13478 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	102.	Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / by Beklemishev, Lev D [editor.] Musatov, Daniil V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9139 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)
	103.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 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)
	104.	Formal Methods for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by Larsen, Kim Guldstrand [editor.] Willemse, Tim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11687 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)
	105.	Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by Ölveczky, Peter Csaba [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11724 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)
	106.	Progress in Cryptology – INDOCRYPT 2022 [electronic resource] : 23rd International Conference on Cryptology in India, Kolkata, India, December 11–14, 2022, Proceedings / by Isobe, Takanori [editor.] Sarkar, Santanu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13774 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	107.	Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [electronic resource] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers / by Masci, Paolo [editor.] Bernardeschi, Cinzia [editor.] Graziani, Pierluigi [editor.] Koddenbrock, Mario [editor.] Palmieri, Maurizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13765 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	108.	Knowledge Representation for Agents and Multi-Agent Systems [electronic resource] : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers / by Meyer, John-Jules [editor.] Broersen, Jan M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5605 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)
	109.	Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, July 21-23, 2010, Berlin, Germany, Proceedings / by Atallah, Mikhail [editor.] Hopper, Nicholas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6205 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)
	110.	Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings / by da Vitoria Lobo, Niels [editor.] Kasparis, Takis [editor.] Georgiopoulos, Michael [editor.] Roli, Fabio [editor.] Kwok, James [editor.] Anagnostopoulos, Georgios C [editor.] Loog, Marco [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5342 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)
	111.	Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10886 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)
	112.	Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by Havelund, Klaus [editor.] Peleska, Jan [editor.] Roscoe, Bill [editor.] de Vink, Erik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10951 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)
	113.	Sailing Routes in the World of Computation [electronic resource] : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / by Manea, Florin [editor.] Miller, Russell G [editor.] Nowotka, Dirk [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10936 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)
	114.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 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)
	115.	From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / by Bowles, Juliana [editor.] Broccia, Giovanna [editor.] Pellungrini, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13268 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	116.	Discrete Geometry and Mathematical Morphology [electronic resource] : Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings / by Baudrier, Étienne [editor.] Naegel, Benoît [editor.] Krähenbühl, Adrien [editor.] Tajine, Mohamed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13493 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	117.	Algorithms and Computation [electronic resource] : 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings / by Tokuyama, Takeshi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4835 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)
	118.	FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings / by Arun-Kumar, S [editor.] Garg, Naveen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4337 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)
	119.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers / by Kratsch, Dieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3787 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)
	120.	DNA Computing and Molecular Programming [electronic resource] : 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings / by Doty, David [editor.] Dietz, Hendrik [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11145 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 2608 results.