Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical Logic and Formal Languages.} and su-to:Programming languages Electronic computers and su-to:Programming Languages, Compilers, Interpreters and su-to:Computer science'

Your cart is empty.

FEEDBACK

Your search returned 488 results.

	1.	Logic Program Synthesis and Transformation [electronic resource] :6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings / by Gallagher, John [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / by Dix, Jürgen [editor.] \| Pereira, Luís Moniz [editor.] \| Przymusinski, Teodor C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	3.	New Trends in Formal Languages [electronic resource] :Control, Cooperation, and Combinatorics / by Păun, Gheorghe [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	4.	Rewriting Techniques and Applications [electronic resource] :8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings / by Comon, Hubert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	5.	Automata Implementation [electronic resource] :First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers / by Raymond, Darrell [editor.] \| Wood, Derick [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	6.	Programming Languages: Implementations, Logics, and Programs [electronic resource] :9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings / by Glaser, Hugh [editor.] \| Hartel, Pieter [editor.] \| Kuchen, Herbert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	7.	Category Theory and Computer Science [electronic resource] :7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings / by Moggi, Eugenio [editor.] \| Rosolini, Giuseppe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	8.	Algebraic and Logic Programming [electronic resource] :6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / by Hanus, Michael [editor.] \| Heering, Jan [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	9.	Field-Programmable Logic and Applications [electronic resource] :7th International Workshop, FPL '97 London, UK, September 1–3, 1997 Proceedings / by Luk, Wayne [editor.] \| Cheung, Peter Y. K [editor.] \| Glesner, Manfred [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	10.	Principles and Practice of Constraint Programming-CP97 [electronic resource] :Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings / by Smolka, Gert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	11.	Automated Deduction in Geometry [electronic resource] :International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers / by Wang, Dongming [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	12.	Principles and Practice of Constraint Programming — CP98 [electronic resource] :4th International Conference, CP98 Pisa, Italy, October 26–30, 1998 Proceedings / by Maher, Michael [editor.] \| Puget, Jean-Francois [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	13.	Types for Proofs and Programs [electronic resource] :International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers / by Giménez, Eduardo [editor.] \| Paulin-Mohring, Christine [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	14.	Principles of Declarative Programming [electronic resource] :10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings / by Palamidessi, Catuscia [editor.] \| Glaser, Hugh [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	15.	Advances in Case-Based Reasoning [electronic resource] :4th European Workshop, EWCBR-98 Dublin, Ireland, September 23–25, 1998 Proceedings / by Smyth, Barry [editor.] \| Cunningham, Pádraig [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	16.	Foundations of Software Science and Computation Structures [electronic resource] :First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings / by Nivat, Maurice [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	17.	Rewriting Techniques and Applications [electronic resource] :9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / by Nipkow, Tobias [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	18.	Programming Languages and Systems [electronic resource] :7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / by Hankin, Chris [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	19.	Compiler Construction [electronic resource] :7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / by Koskimies, Kai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	20.	Grading Knowledge [electronic resource] :Extracting Degree Information from Texts / by Staab, Steffen [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

Refine your search

Authors

Item types

Series

Topics