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

Your cart is empty.

FEEDBACK

Your search returned 656 results.

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

	41.	Foundations of Software Science and Computation Structures [electronic resource] :Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / by Tiuryn, Jerzy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	42.	Part-Whole Reasoning in an Object-Centered Framework [electronic resource] / by Lambrix, Patrick [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	43.	Computer Aided Verification [electronic resource] :13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings / by Berry, Gérard [editor.] \| Comon, Hubert [editor.] \| Finkel, Alain [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	44.	Non-Standard Inferences in Description Logics [electronic resource] / by Küsters, Ralf [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	45.	Theorem Proving in Higher Order Logics [electronic resource] :14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / by Boulton, Richard J [editor.] \| Jackson, Paul B [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	46.	Inductive Logic Programming [electronic resource] :11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings / by Rouveirol, Céline [editor.] \| Sebag, Michéle [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	47.	Semantics, Applications, and Implementation of Program Generation [electronic resource] :Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings / by Taha, Walid [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	48.	Programs as Data Objects [electronic resource] :Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings / by Danvy, Olivier [editor.] \| Filinski, Andrzej [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	49.	Logic Based Program Synthesis and Transformation [electronic resource] :10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / by Lau, Kung-Kiu [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	50.	FME 2001: Formal Methods for Increasing Software Productivity [electronic resource] :International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings / by Oliveira, José Nuno [editor.] \| Zave, Pamela [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	51.	FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :21st Conference Bangalore, India, December 13–15, 2001 Proceedings / by Hariharan, Ramesh [editor.] \| Vinay, V [editor.] \| Mukund, Madhavan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	52.	Compiler Construction [electronic resource] :10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / by Wilhelm, Reinhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	53.	Programming Languages and Systems [electronic resource] :10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / by Sands, David [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	54.	Foundations of Software Science and Computation Structures [electronic resource] :4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / by Honsell, Furio [editor.] \| Miculan, Marino [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	55.	Logic Programming and Nonmotonic Reasoning [electronic resource] :6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings / by Eiter, Thomas [editor.] \| Faber, Wolfgang [editor.] \| Truszczyński, Miros law [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	56.	Constraints in Computational Logics [electronic resource] :Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures / by Goos, Gerhard [editor.] \| Hartmanis, Juris [editor.] \| Leeuwen, Jan van [editor.] \| Comon, Hubert [editor.] \| Marché, Claude [editor.] \| Treinen, Ralf [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	57.	Formal Approaches to Agent-Based Systems [electronic resource] :First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers / by Rash, James L [editor.] \| Truszkowski, Walt [editor.] \| Hinchey, Michael G [editor.] \| Rouff, Christopher A [editor.] \| Gordon, Diana [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	58.	Theoretical Aspects of Computer Software [electronic resource] :4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings / by Kobayashi, Naoki [editor.] \| Pierce, Benjamin C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	59.	Engineering of Intelligent Systems [electronic resource] :14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4–7, 2001 Proceedings / by Monostori, László [editor.] \| Váncza, József [editor.] \| Ali, Moonis [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	60.	Principles and Practice of Constraint Programming — CP 2001 [electronic resource] :7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings / by Walsh, Toby [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

Refine your search

Authors

Item types

Series

Topics