Results of search for 'ccl=su:{Theory of Computation.} and su-to:Computer System Implementation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Computer Algebra in Scientific Computing [electronic resource] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by Boulier, François [editor.] England, Matthew [editor.] Sadykov, Timur M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12865 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)
	2.	Theory and Applications of Satisfiability Testing – SAT 2021 [electronic resource] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by Li, Chu-Min [editor.] Manyà, Felip [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12831 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)
	3.	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)
	4.	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)
	5.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by Dima, Catalin [editor.] Shirmohammadi, Mahsa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12860 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)
	6.	Applications of Evolutionary Computation [electronic resource] : 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Castillo, Pedro A [editor.] Jiménez Laredo, Juan Luis [editor.] Fernández de Vega, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12104 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)
	7.	High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / by Daydé, Michel [editor.] Palma, José M.L.M [editor.] Couthino, Álvaro L.G.A [editor.] Pacitti, Esther [editor.] Correia Lopes, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4395 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)
	8.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / by Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12078 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)
	9.	Applications of Evolutionary Computation [electronic resource] : 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Castillo, Pedro A [editor.] Jiménez Laredo, Juan Luis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12694 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)
	10.	Learning and Intelligent Optimization [electronic resource] : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / by Kotsireas, Ilias S [editor.] Pardalos, Panos M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12096 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)
	11.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Zarges, Christine [editor.] Verel, Sébastien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12692 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)
	12.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings / by Hobbs, Michael [editor.] Goscinski, Andrzej [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3719 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)
	13.	Combinatorial Optimization and Applications [electronic resource] : 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings / by Wu, Weili [editor.] Zhang, Zhongnan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12577 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)
	14.	Architecture of Computing Systems -- ARCS 2016 [electronic resource] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / by Hannig, Frank [editor.] Cardoso, João M.P [editor.] Pionteck, Thilo [editor.] Fey, Dietmar [editor.] Schröder-Preikschat, Wolfgang [editor.] Teich, Jürgen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9637 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)
	15.	Computer Science – Theory and Applications [electronic resource] : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by Santhanam, Rahul [editor.] Musatov, Daniil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12730 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)
	16.	Structural Information and Communication Complexity [electronic resource] : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by Jurdziński, Tomasz [editor.] Schmid, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12810 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)
	17.	Theory and Practice of Natural Computing [electronic resource] : 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by Aranha, Claus [editor.] Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13082 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)
	18.	Algorithmic Aspects of Cloud Computing [electronic resource] : 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by D’Angelo, Gianlorenzo [editor.] Michail, Othon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13084 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)
	19.	CONCUR 2005 - Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings / by Abadi, Martín [editor.] de Alfaro, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3653 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)
	20.	Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / by D'Ambra, Pasqua [editor.] Guarracino, Mario [editor.] Talia, Domenico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6272 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 47 results.