Results of search for 'ccl=su:{Computer Science } and se:Theoretical Computer Science and General Issues' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	461.	String Processing and Information Retrieval [electronic resource] : 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings / by Lecroq, Thierry [editor.] Touzet, Hélène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12944 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)
	462.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7609 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	463.	Parallel Processing and Applied Mathematics, Part II [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7204 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	464.	WALCOM: Algorithms and Computation [electronic resource] : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by Uehara, Ryuhei [editor.] Hong, Seok-Hee [editor.] Nandy, Subhas C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12635 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)
	465.	Membrane Computing [electronic resource] : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by Freund, Rudolf [editor.] Ishdorj, Tseren-Onolt [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12687 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)
	466.	Structured Object-Oriented Formal Language and Method [electronic resource] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by Xue, Jinyun [editor.] Nagoya, Fumiko [editor.] Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12723 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)
	467.	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)
	468.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings / by Beldiceanu, Nicolas [editor.] Jussien, Narendra [editor.] Pinson, Eric [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7298 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	469.	SOFSEM 2019: Theory and Practice of Computer Science [electronic resource] : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / by Catania, Barbara [editor.] Královič, Rastislav [editor.] Nawrocki, Jerzy [editor.] Pighizzini, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11376 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)
	470.	Logic-Based Program Synthesis and Transformation [electronic resource] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / by Mesnard, Fred [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11408 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)
	471.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11537 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)
	472.	Advances in Neural Networks – ISNN 2019 [electronic resource] : 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II / by Lu, Huchuan [editor.] Tang, Huajin [editor.] Wang, Zhanshan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11555 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)
	473.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12138 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)
	474.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12141 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)
	475.	Computational Science – ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III / by Paszynski, Maciej [editor.] Kranzlmüller, Dieter [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12744 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)
	476.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by Buchs, Didier [editor.] Carmona, Josep [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12734 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)
	477.	Frontiers of Algorithmics [electronic resource] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings / by Chen, Jing [editor.] Li, Minming [editor.] Zhang, Guochuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12874 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)
	478.	Studies in Complexity and Cryptography [electronic resource] : Miscellanea on the Interplay between Randomness and Computation / by Goldreich, Oded [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6650 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)
	479.	Hybrid Learning [electronic resource] : 4th International Conference, ICHL 2011, Hong Kong, China, August 10-12, 2011, Proceedings / by Kwan, Reggie [editor.] Fong, Joseph [editor.] Kwok, Lam-For [editor.] Lam, Jeanne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6837 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)
	480.	Advances in Neural Networks -- ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings Part I / by Liu, Derong [editor.] Zhang, Huaguang [editor.] Polycarpou, Marios [editor.] Alippi, Cesare [editor.] He, Haibo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6675 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1832 results.