FEEDBACK Smiley face

Your search returned 656 results. Subscribe to this search

|
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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

42. Part-Whole Reasoning in an Object-Centered Framework [electronic resource] /

by Lambrix, Patrick [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

44. Non-Standard Inferences in Description Logics [electronic resource] /

by Küsters, Ralf [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in