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

Results
	121.	Language and Automata Theory and Applications [electronic resource] : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by Leporati, Alberto [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12638 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)
	122.	From Data to Models and Back [electronic resource] : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / by Bowles, Juliana [editor.] Broccia, Giovanna [editor.] Nanni, Mirco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12611 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)
	123.	Advances in Swarm Intelligence [electronic resource] : 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12689 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)
	124.	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)
	125.	Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngsong [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3483 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)
	126.	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)
	127.	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)
	128.	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)
	129.	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)
	130.	Algorithms and Data Structures [electronic resource] : 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings / by Akl, Selim G [editor.] Dehne, Frank [editor.] Sack, Jörg-Rüdiger [editor.] Santoro, Nicola [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 955 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	131.	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)
	132.	Parallel Processing and Applied Mathematics [electronic resource] : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Deelman, Ewa [editor.] Karczewski, Konrad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10778 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)
	133.	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)
	134.	NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by Lee, Ritchie [editor.] Jha, Susmit [editor.] Mavridou, Anastasia [editor.] Giannakopoulou, Dimitra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12229 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)
	135.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by Bertrand, Nathalie [editor.] Jansen, Nils [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12288 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)
	136.	Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings / by Sherwani, Naveed A [editor.] Doncker, Elise de [editor.] Kapenga, John A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 507 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	137.	Intelligent Data Engineering and Automated Learning – IDEAL 2015 [electronic resource] : 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings / by Jackowski, Konrad [editor.] Burduk, Robert [editor.] Walkowiak, Krzysztof [editor.] Wozniak, Michal [editor.] Yin, Hujun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9375 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)
	138.	Symposium on Real-Time and Hybrid Systems [electronic resource] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by Jones, Cliff [editor.] Wang, Ji [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11180 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)
	139.	Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11244 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)
	140.	Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11245 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 2686 results.