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

Results
	441.	Architecture of Computing Systems -- ARCS 2014 [electronic resource] : 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings / by Maehle, Erik [editor.] Römer, Kay [editor.] Karl, Wolfgang [editor.] Tovar, Eduardo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8350 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	442.	Descriptional Complexity of Formal Systems [electronic resource] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / by Jürgensen, Helmut [editor.] Karhumäki, Juhani [editor.] Okhotin, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8614 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	443.	Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8051 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	444.	Graph Transformation [electronic resource] : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by Guerra, Esther [editor.] Orejas, Fernando [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11629 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)
	445.	Computational Logistics [electronic resource] : 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings / by Paternina-Arboleda, Carlos [editor.] Voß, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11756 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)
	446.	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)
	447.	Coalgebraic Methods in Computer Science [electronic resource] : 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / by Petrişan, Daniela [editor.] Rot, Jurriaan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12094 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)
	448.	Computing and Combinatorics [electronic resource] : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings / by Kim, Donghyun [editor.] Uma, R. N [editor.] Cai, Zhipeng [editor.] Lee, Dong Hoon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12273 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)
	449.	Wireless Algorithms, Systems, and Applications [electronic resource] : 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I / by Liu, Zhe [editor.] Wu, Fan [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12937 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)
	450.	Wireless Algorithms, Systems, and Applications [electronic resource] : 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II / by Liu, Zhe [editor.] Wu, Fan [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12938 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)
	451.	String Processing and Information Retrieval [electronic resource] : 21st International Symposium, SPIRE 2014, Ouro Preto, Brazil, October 20-22, 2014, Proceedings / by Moura, Edleno [editor.] Crochemore, Maxime [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8799 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	452.	Neural Information Processing [electronic resource] : 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III / by Loo, Chu Kiong [editor.] Keem Siah, Yap [editor.] Wong, Kok Wai [editor.] Beng Jin, Andrew Teoh [editor.] Huang, Kaizhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8836 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	453.	Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday / by Brodnik, Andrej [editor.] Lopez-Ortiz, Alejandro [editor.] Raman, Venkatesh [editor.] Viola, Alfredo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8066 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	454.	Theoretical Computer Science [electronic resource] : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings / by Baeten, Jos C.M [editor.] Ball, Tom [editor.] de Boer, Frank S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7604 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)
	455.	Structured Object-Oriented Formal Language and Method [electronic resource] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8979 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)
	456.	Advances in Neural Networks – ISNN 2014 [electronic resource] : 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings / by Zeng, Zhigang [editor.] Li, Yangmin [editor.] King, Irwin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8866 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	457.	Algorithms and Applications [electronic resource] : Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday / by Elomaa, Tapio [editor.] Mannila, Heikki [editor.] Orponen, Pekka [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6060 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)
	458.	Functional and Constraint Logic Programming [electronic resource] : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers / by Silva, Josep [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11285 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)
	459.	High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST Action IC1406 cHiPSet / by Kołodziej, Joanna [editor.] González-Vélez, Horacio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11400 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)
	460.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / by Ganty, Pierre [editor.] Kaâniche, Mohamed [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11847 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2382 results.