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

Results
	281.	Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings / by Drewes, Frank [editor.] Volkov, Mikhail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13911 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	282.	Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / by Gschwind, Thomas [editor.] De Paoli, Flavio [editor.] Gruhn, Volker [editor.] Book, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7306 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)
	283.	Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers / by Lumpe, Markus [editor.] Vanderperren, Wim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4829 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)
	284.	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)
	285.	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)
	286.	Computing with Foresight and Industry [electronic resource] : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / by Manea, Florin [editor.] Martin, Barnaby [editor.] Paulusma, Daniël [editor.] Primiero, Giuseppe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11558 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)
	287.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by Chakraborty, Supratik [editor.] Navas, Jorge A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12031 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)
	288.	Software Defined Chips [electronic resource] : Volume I / by Wei, Shaojun [author.] Liu, Leibo [author.] Zhu, Jianfeng [author.] Deng, Chenchen [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	289.	Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by Benzmüller, Christoph [editor.] Ricca, Francesco [editor.] Parent, Xavier [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11092 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)
	290.	Machine Learning for Medical Image Reconstruction [electronic resource] : First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / by Knoll, Florian [editor.] Maier, Andreas [editor.] Rueckert, Daniel [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11074 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)
	291.	Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11138 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)
	292.	Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by Massoni, Tiago [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11254 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)
	293.	Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by Vaidya, Jaideep [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11336 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)
	294.	Pervasive Computing: A Networking Perspective and Future Directions [electronic resource] / by Bhargava, Deepshikha [editor.] Vyas, Sonali [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	295.	Computational Intelligence in Music, Sound, Art and Design [electronic resource] : 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by Ekárt, Anikó [editor.] Liapis, Antonios [editor.] Castro Pena, María Luz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11453 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)
	296.	Computer Science – CACIC 2018 [electronic resource] : 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers / by Pesado, Patricia [editor.] Aciti, Claudio [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 995 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)
	297.	Euro-Par 2020: Parallel Processing [electronic resource] : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by Malawski, Maciej [editor.] Rzadca, Krzysztof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12247 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)
	298.	Formal Methods – Fun for Everybody [electronic resource] : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by Cerone, Antonio [editor.] Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1301 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)
	299.	Engineering Trustworthy Software Systems [electronic resource] : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11430 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)
	300.	Implementation and Application of Automata [electronic resource] : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / by Hospodár, Michal [editor.] Jirásková, Galina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11601 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2363 results.