FEEDBACK Smiley face

Your search returned 1484 results. Subscribe to this search

|
41. Logics in Artificial Intelligence [electronic resource] :European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings /

by Dix, Jürgen [editor.] | Cerro, Luís Fariñas del [editor.] | Furbach, Ulrich [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, 1998.Online access: Click here to access online Availability: No items available

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

43. Logic Program Synthesis and Transformation [electronic resource] :7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings /

by Fuchs, Norbert E [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, 1998.Online access: Click here to access online Availability: No items available

44. ZUM ’98: The Z Formal Specification Notation [electronic resource] :11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /

by Bowen, Jonathan P [editor.] | Fett, Andreas [editor.] | Hinchey, Michael G [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, 1998.Online access: Click here to access online Availability: No items available

45. Algorithmic Learning Theory [electronic resource] :9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings /

by Richter, Michael M [editor.] | Smith, Carl H [editor.] | Wiehagen, Rolf [editor.] | Zeugmann, Thomas [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, 1998.Online access: Click here to access online Availability: No items available

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

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

48. Theorem Proving in Higher Order Logics [electronic resource] :11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings /

by Grundy, Jim [editor.] | Newey, Malcolm [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, 1998.Online access: Click here to access online Availability: No items available

49. Artificial Intelligence and Symbolic Computation [electronic resource] :International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings /

by Calmet, Jacques [editor.] | Plaza, Jan [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, 1998.Online access: Click here to access online Availability: No items available

50. Logic Programming and Knowledge Representation [electronic resource] :Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers /

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor 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, 1998.Online access: Click here to access online Availability: No items available

51. Grammatical Inference [electronic resource] :4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12–14, 1998 Proceedings /

by Honavar, Vasant [editor.] | Slutzki, Giora [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, 1998.Online access: Click here to access online Availability: No items available

52. Automata Implementation [electronic resource] :Second International Workshop on Implementing Automata, WIA'97 London, Ontario, Canada September 18–20, 1997 Revised Papers /

by Wood, Derick [editor.] | Yu, Sheng [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, 1998.Online access: Click here to access online Availability: No items available

53. Automated Deduction — CADE-15 [electronic resource] :15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings /

by Kirchner, Claude [editor.] | Kirchner, Hélène [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, 1998.Online access: Click here to access online Availability: No items available

54. Rough Sets and Current Trends in Computing [electronic resource] :First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings /

by Polkowski, Lech [editor.] | Skowron, 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, 1998.Online access: Click here to access online Availability: No items available

55. Computer Aided Verification [electronic resource] :10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings /

by Hu, Alan J [editor.] | Vardi, Moshe Y [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, 1998.Online access: Click here to access online Availability: No items available

56. Computer Science Logic [electronic resource] :11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers /

by Nielsen, Mogens [editor.] | Thomas, Wolfgang [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, 1998.Online access: Click here to access online Availability: No items available

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

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

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

60. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.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