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
	601.	Object-Oriented Technology. ECOOP 2003 Workshop Reader [electronic resource] : ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports / by Buschmann, Frank [editor.] Buchmann, Alejandro P [editor.] Cilia, Mariano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3013 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)
	602.	From Object-Orientation to Formal Methods [electronic resource] : Essays in Memory of Ole-Johan Dahl / by Owe, Olaf [editor.] Krogdahl, Stein [editor.] Lyche, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2635 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)
	603.	Formal Techniques for Networked and Distributed Systems - FORTE 2004 [electronic resource] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings / by Frutos-Escrig, David de [editor.] Nunez, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3235 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)
	604.	Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / by Antoniou, Grigoris [editor.] Boley, Harold [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3323 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)
	605.	Static Analysis [electronic resource] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / by Giacobazzi, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3148 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)
	606.	Logic Based Program Synthesis and Transformation [electronic resource] : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / by Bruynooghe, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3018 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)
	607.	Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / by Berghammer, R [editor.] Möller, Bernhard [editor.] Struth, Georg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3051 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)
	608.	Principles and Practice of Constraint Programming - CP 2004 [electronic resource] : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings / by Wallace, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3258 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)
	609.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings / by Steffen, Bernhard [editor.] Levi, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2937 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)
	610.	Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / by Bertacco, Valeria [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8244 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	611.	Computer Science – Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings / by Kulikov, Alexander [editor.] Vereshchagin, Nikolay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6651 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)
	612.	Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / by Alferes, Jose Julio [editor.] Bertossi, Leopoldo [editor.] Governatori, Guido [editor.] Fodor, Paul [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9718 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)
	613.	Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / by Berger, Christian [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9361 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)
	614.	Membrane Computing [electronic resource] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / by Alhazov, Artiom [editor.] Cojocaru, Svetlana [editor.] Gheorghe, Marian [editor.] Rogozhin, Yurii [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8340 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)
	615.	Language and Automata Theory and Applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7183 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)
	616.	Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / by Bogomolov, Sergiy [editor.] Martel, Matthieu [editor.] Prabhakar, Pavithra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10152 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)
	617.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / by Fricker, Samuel A [editor.] Schneider, Kurt [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9013 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)
	618.	Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / by Dastani, Mehdi [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9392 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)
	619.	Formal Methods and Software Engineering [electronic resource] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / by Davies, Jim [editor.] Schulte, Wolfram [editor.] Barnett, Mike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3308 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)
	620.	Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / by Kozen, Dexter [editor.] Shankland, Carron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3125 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1808 results.