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

Results
	1901.	Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by Parker, David [editor.] Wolf, Verena [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11785 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)
	1902.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 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)
	1903.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14500 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1904.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14499 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1905.	Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by Caires, Luis [editor.] Italiano, Guiseppe F [editor.] Monteiro, Luis [editor.] Palamidessi, Catuscia [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3580 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1906.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / by Albert, Elvira [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7844 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)
	1907.	Implementation and Application of Automata [electronic resource] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / by Han, Yo-Sub [editor.] Salomaa, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9705 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)
	1908.	Computer Science -- Theory and Applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings / by Hirsch, Edward [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Prilutskii, Michail [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7353 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)
	1909.	Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / by Jürgensen [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8031 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)
	1910.	Frontiers in Software Engineering Education [electronic resource] : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers / by Capozucca, Alfredo [editor.] Ebersold, Sophie [editor.] Bruel, Jean-Michel [editor.] Meyer, Bertrand [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14387 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)
	1911.	Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings / by Barbosa, Haniel [editor.] Zohar, Yoni [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14414 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1912.	Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / by Leite, Joao [editor.] Torroni, Paolo [editor.] Agotnes, Thomas [editor.] Boella, Guido [editor.] van der Torre, Leon [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6814 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)
	1913.	Fields of Logic and Computation III [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / by Blass, Andreas [editor.] Cégielski, Patrick [editor.] Dershowitz, Nachum [editor.] Droste, Manfred [editor.] Finkbeiner, Bernd [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12180 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)
	1914.	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers / by Cerone, Antonio [editor.] Autili, Marco [editor.] Bucaioni, Alessio [editor.] Gomes, Cláudio [editor.] Graziani, Pierluigi [editor.] Palmieri, Maurizio [editor.] Temperini, Marco [editor.] Venture, Gentiane [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13230 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)
	1915.	Inductive Logic Programming [electronic resource] : 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings / by Bellodi, Elena [editor.] Lisi, Francesca Alessandra [editor.] Zese, Riccardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14363 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)
	1916.	Computing and Combinatorics [electronic resource] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by Xu, Dachuan [editor.] Du, Donglei [editor.] Du, Dingzhu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9198 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)
	1917.	Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by Agha, Gul [editor.] Danvy, Olivier [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7000 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)
	1918.	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / by Cámara, Javier [editor.] de Lemos, Rogério [editor.] Ghezzi, Carlo [editor.] Lopes, Antonia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7740 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)
	1919.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings / by Antonucci, Alessandro [editor.] Cholvy, Laurence [editor.] Papini, Odile [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10369 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)
	1920.	Language and Automata Theory and Applications [electronic resource] : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by Klein, Shmuel Tomi [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10792 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2363 results.