Results of search for 'ccl=su:{Logic} and su-to:Computer science and su-to:Machine theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	61.	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)
	62.	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)
	63.	Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by Lin, Anthony W [editor.] Zetzsche, Georg [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13608 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)
	64.	Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / by Seidl, Martina [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8570 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)
	65.	Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by Ábrahám, Erika [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9681 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)
	66.	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)
	67.	Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / by Calinescu, Radu [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9276 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)
	68.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by Atig, Mohamed Faouzi [editor.] Bensalem, Saddek [editor.] Bliudze, Simon [editor.] Monsuez, Bruno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11181 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)
	69.	Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / by Duan, Zhenhua [editor.] Ong, Luke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10610 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	70.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / by Jansen, David N [editor.] Prabhakar, Pavithra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11022 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)
	71.	Quantitative Evaluation of Systems [electronic resource] : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / by McIver, Annabelle [editor.] Horvath, Andras [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11024 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)
	72.	Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / by Bae, Kyungmin [editor.] Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11222 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)
	73.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / by Das, Anupam [editor.] Negri, Sara [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12842 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)
	74.	Frontiers of Combining Systems [electronic resource] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings / by Konev, Boris [editor.] Reger, Giles [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12941 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)
	75.	Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / by Giannakopoulou, Dimitra [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8702 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)
	76.	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)
	77.	Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / by Albert, Elvira [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8739 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)
	78.	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)
	79.	Reliable Software Technologies – Ada-Europe 2014 [electronic resource] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / by George, Laurent [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8454 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)
	80.	Information Security [electronic resource] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / by Desmedt, Yvo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7807 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 951 results.