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

Results
	21.	Theory and Applications of Satisfiability Testing – SAT 2020 [electronic resource] : 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by Pulina, Luca [editor.] Seidl, Martina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12178 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)
	22.	Rules and Reasoning [electronic resource] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / by Gutiérrez-Basulto, Víctor [editor.] Kliegr, Tomáš [editor.] Soylu, Ahmet [editor.] Giese, Martin [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12173 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)
	23.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by Butler, Michael [editor.] Schewe, Klaus-Dieter [editor.] Mashkoor, Atif [editor.] Biro, Miklos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9675 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)
	24.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / by Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12651 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)
	25.	Computer Science - Theory and Applications [electronic resource] : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / by Hirsch, Edward [editor.] Kuznetsov, Sergei O [editor.] Pin, Jean-Éric [editor.] Vereshchagin, Nikolay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8476 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)
	26.	Theory and Applications of Models of Computation [electronic resource] : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings / by Gopal, T V [editor.] Agrawal, Manindra [editor.] Li, Angsheng [editor.] Cooper, S. Barry [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8402 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)
	27.	Quantitative Evaluation of Systems [electronic resource] : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings / by Norman, Gethin [editor.] Sanders, William [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8657 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)
	28.	High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / by Daydé, Michel [editor.] Marques, Osni [editor.] Nakajima, Kengo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8969 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)
	29.	Rules and Reasoning [electronic resource] : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / by Governatori, Guido [editor.] Turhan, Anni-Yasmin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13752 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)
	30.	Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / by Alur, Rajeev [editor.] Pappas, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2993 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	31.	Representation Theorems in Computer Science [electronic resource] : A Treatment in Logic Engineering / by Özçep, Özgür Lütfü [author.] SpringerLink (Online service) 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)
	32.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Dragoi, Cezara [editor.] Emmi, Michael [editor.] Wang, Jingbo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13881 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)
	33.	Reliable Implementation of Real Number Algorithms: Theory and Practice [electronic resource] : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers / by Hertling, Peter [editor.] Hoffmann, Christoph M [editor.] Luther, Wolfram [editor.] Revol, Nathalie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5045 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)
	34.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Dillig, Isil [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10747 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)
	35.	Reachability Problems [electronic resource] : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / by Larsen, Kim Guldstrand [editor.] Potapov, Igor [editor.] Srba, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9899 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)
	36.	Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings / by Hill, Patricia M [editor.] Warren, David S [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5649 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)
	37.	Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / by Dams, Dennis [editor.] Hannemann, Ulrich [editor.] Steffen, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5930 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)
	38.	The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [electronic resource] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / by Alvim, Mário S [editor.] Chatzikokolakis, Kostas [editor.] Olarte, Carlos [editor.] Valencia, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11760 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)
	39.	Software Engineering and Formal Methods [electronic resource] : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers / by Camara, Javier [editor.] Steffen, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12226 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)
	40.	Formal Aspects of Component Software [electronic resource] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by Arbab, Farhad [editor.] Jongmans, Sung-Shik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12018 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 554 results.