Results of search for 'ccl=su:{Mathematical Logic and Formal Languages.} and su-to:Software engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Formal Aspects of Component Software [electronic resource] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by Arbab, Farhad [editor.] Jongmans, Sung-Shik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12018 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)
	2.	Correct System Design [electronic resource] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / by Meyer, Roland [editor.] Platzer, André [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9360 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)
	3.	Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / by Hutter, Dieter [editor.] Stephan, Werner [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2605 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)
	4.	Logic, Computation and Rigorous Methods [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by Raschke, Alexander [editor.] Riccobene, Elvinia [editor.] Schewe, Klaus-Dieter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12750 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)
	5.	Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / by James, Phillip [editor.] Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10644 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)
	6.	ZB 2002: Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] Henson, Martin C [editor.] Robinson, Ken [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2272 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Formal Concept Analysis [electronic resource] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / by Ferré, Sébastien [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5548 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)
	8.	Types for Proofs and Programs [electronic resource] : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers / by Dybjer, Peter [editor.] Nordström, Bengt [editor.] Smith, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 996 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / by Zimmermann, Wolf [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3052 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)
	10.	Applications and Theory of Petri Nets 2001 [electronic resource] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / by Colom, Jose-Manuel [editor.] Koutny, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2075 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings / by Wright, Joakim von [editor.] Grundy, Jim [editor.] Harrison, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1125 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Computer Science Logic [electronic resource] : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / by Börger, Egon [editor.] Jäger, Gerhard [editor.] Kleine Büning, Hans [editor.] Martini, Simone [editor.] Richter, Michael M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 702 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Meta-Programming in Logic [electronic resource] : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings / by Pettorossi, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 649 Edition: 1st ed. 1992. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Isabelle [electronic resource] : A Generic Theorem Prover / by Paulson, Lawrence C [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 828 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Computer-Aided Verification [electronic resource] : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings / by Clarke, Edmund M [editor.] Kurshan, Robert P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 531 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Attribute Grammars, Applications and Systems [electronic resource] : International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings / by Alblas, Henk [editor.] Melichar, Borivoj [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 545 Edition: 1st ed. 1991. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	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)
	18.	Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / by Basin, David [editor.] Rusinowitch, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3097 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)
	19.	Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / by Gore, Rajeev [editor.] Leitsch, Alexander [editor.] Nipkow, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2083 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / by Codescu, Mihai [editor.] Diaconescu, Răzvan [editor.] Țuțu, Ionuț [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9463 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

Item types

Series

Topics

Your search returned 24 results.