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

Results
	21.	NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9058 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)
	22.	Functional and Logic Programming [electronic resource] : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / by Kameyama, Yukiyoshi [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2998 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)
	23.	Concurrency, Security, and Puzzles [electronic resource] : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday / by Gibson-Robinson, Thomas [editor.] Hopcroft, Philippa [editor.] Lazić, Ranko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10160 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)
	24.	Machines, Computations, and Universality [electronic resource] : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / by Durand-Lose, Jérôme [editor.] Verlan, Sergey [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10881 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)
	25.	Logics in Artificial Intelligence [electronic resource] : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / by Calimeri, Francesco [editor.] Leone, Nicola [editor.] Manna, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11468 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)
	26.	Theoretical Aspects of Computing – ICTAC 2019 [electronic resource] : 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings / by Hierons, Robert Mark [editor.] Mosbah, Mohamed [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11884 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)
	27.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings / by Gottlob, Georg [editor.] Inclezan, Daniela [editor.] Maratea, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13416 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)
	28.	Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / by Artho, Cyrille [editor.] Legay, Axel [editor.] Peled, Doron [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9938 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)
	29.	Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / by Gill, Andy [editor.] Hage, Jurriaan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7257 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)
	30.	Principles and Practice of Constraint Programming - CP 2012 [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings / by Milano, Michela [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7514 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)
	31.	Computer Aided Systems Theory - EUROCAST 2007 [electronic resource] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / by Moreno Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4739 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)
	32.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Abraham, Erika [editor.] Havelund, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8413 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	33.	Reliable Software Technologies -- Ada-Europe 2012 [electronic resource] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings / by Brorsson, Mats [editor.] Pinho, Luis Miguel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7308 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)
	34.	Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers / by Cîrstea, Corina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11202 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.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / by Balduccini, Marcello [editor.] Lierler, Yuliya [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11481 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)
	36.	DNA Computing and Molecular Programming [electronic resource] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings / by Thachuk, Chris [editor.] Liu, Yan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11648 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)
	37.	Perspectives of System Informatics [electronic resource] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / by Bjørner, Nikolaj [editor.] Virbitskaite, Irina [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11964 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)
	38.	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12477 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)
	39.	Static Analysis [electronic resource] : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by Chang, Bor-Yuh Evan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11822 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)
	40.	Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / by Seguin, Christel [editor.] Zeller, Marc [editor.] Prosvirnova, Tatiana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13525 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1808 results.