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

Results
	1281.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings / by Grumberg, Orna [editor.] Huth, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4424 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)
	1282.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / by Johnsen, Einar Broch [editor.] Petre, Luigia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7940 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)
	1283.	Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings / by Narukawa, Yasuo [editor.] Inuiguchi, Masahiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5861 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)
	1284.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIX [electronic resource] : Special Issue on Data Management – Principles, Technologies and Applications / by Hameurlain, Abdelkader [editor.] Tjoa, A Min [editor.] Amann, Bernd [editor.] Goasdoué, François [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 12920 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1285.	Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Xu, Yejun [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1286.	Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / by Bowen, Jonathan P [editor.] Li, Qin [editor.] Xu, Qiwen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14080 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)
	1287.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / by Ramanayake, Revantha [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14278 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)
	1288.	Frontiers of Combining Systems [electronic resource] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / by Sattler, Uli [editor.] Suda, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14279 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)
	1289.	Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7810 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)
	1290.	Testing Software and Systems [electronic resource] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / by Wotawa, Franz [editor.] Nica, Mihai [editor.] Kushik, Natalia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9976 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)
	1291.	Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / by Ur, Shmuel [editor.] Bin, Eyal [editor.] Wolfsthal, Yaron [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3875 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)
	1292.	Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by Fränzle, Martin [editor.] Kapur, Deepak [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9984 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)
	1293.	Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / by Luck, Michael [editor.] Padgham, Lin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4951 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)
	1294.	Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by Leite, João [editor.] Omicini, Andrea [editor.] Torroni, Paolo [editor.] Yolum, Pinar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3476 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)
	1295.	Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / by Gordon, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6012 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)
	1296.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / by Legay, Axel [editor.] Margaria, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10206 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1297.	SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / by Prinz, Andreas [editor.] Reed, Rick [editor.] Reed, Jeanne [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3530 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)
	1298.	Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / by Havelund, Klaus [editor.] Núnez, Manuel [editor.] Rosu, Grigore [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4262 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)
	1299.	Programming Languages and Systems [electronic resource] : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / by Chin, Wei-Ngan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3302 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)
	1300.	Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / by Schmidt, Renate [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5663 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1808 results.