FEEDBACK Smiley face

Your search returned 4580 results. Subscribe to this search

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

122. The Automation of Reasoning with Incomplete Information [electronic resource] :From Semantic Foundations to Efficient Computation /

by Schaub, Torsten [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, 1997.Online access: Click here to access online Availability: No items available

123. Computational Logic and Proof Theory [electronic resource] :5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings /

by Gottlob, Georg [editor.] | Leitsch, Alexander [editor.] | Mundici, Daniele [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, 1997.Online access: Click here to access online Availability: No items available

124. Practical Aspects of Declarative Languages [electronic resource] :First International Workshop, PADL’99 San Antonio, Texas, USA, January 18–19, 1999 Proceedings /

by Gupta, Gopal [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

125. Audio System for Technical Readings [electronic resource] /

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

126. Theory Reasoning in Connection Calculi [electronic resource] /

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

127. Compositionality: The Significant Difference [electronic resource] :International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /

by Roever, Willem-Paul de [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [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

128. Learning Robots [electronic resource] :6th European Workshop, EWLR-6 Brighton, England, August 1–2, 1997 Proceedings /

by Birk, Andreas [editor.] | Demiris, John [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

129. Multi-Agent Systems. Theories, Languages and Applications [electronic resource] :4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998. Selected Papers /

by Zhang, Chenqi [editor.] | Lukose, Dickson [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

130. Multi-Agent Systems and Agent-Based Simulation [electronic resource] :First International Workshop, MABS ’98, Paris, France, July 4-6, 1998. Proceedings /

by Sichman, Jaime Simão [editor.] | Conte, Rosaria [editor.] | Gilbert, Nigel [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

131. Community Computing and Support Systems [electronic resource] :Social Interaction in Networked Communities /

by Ishida, Toru [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

132. Discovey Science [electronic resource] :First International Conference, DS’98 Fukuoka, Japan, December 14–16, 1998 Proceedings /

by Arikawa, Setsuo [editor.] | Motoda, Hiroshi [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

133. Advances in Computing Science ASIAN 98 [electronic resource] :4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings /

by Hsiang, Jieh [editor.] | Ohori, Atsushi [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

134. Modelling and Motion Capture Techniques for Virtual Environments [electronic resource] :International Workshop, CAPTECH’98 Geneva, Switzerland, November 26–27, 1998 Proceedings /

by Magnenat-Thalmann, Nadia [editor.] | Thalmann, Daniel [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

135. Applications of Uncertainty Formalisms [electronic resource] /

by Hunter, Anthony [editor.] | Parsons, Simon [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

136. Neural Networks: Tricks of the Trade [electronic resource] /

by Orr, Genevieve B [editor.] | Müller, Klaus-Robert [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

137. 3D Structure from Multiple Images of Large-Scale Environments [electronic resource] :European Workshop, SMILE’98 Freiburg, Germany, June 6–7, 1998 Proceedings /

by Koch, Reinhard [editor.] | Gool, Luc Van [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

138. Transactions and Change in Logic Databases [electronic resource] :International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers /

by Freitag, Burkhard [editor.] | Decker, Hendrik [editor.] | Kifer, Michael [editor.] | Voronkov, Andrei [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

139. PRICAI’98: Topics in Artificial Intelligence [electronic resource] :5th Pacific Rim International Conference on Artificial Intelligence Singapore, November 22–27, 1998 Proceedings /

by Lee, Hing-Yan [editor.] | Motoda, Hiroshi [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

140. Machine Translation and the Information Soup [electronic resource] :Third Conference of the Association for Machine Translation in the Americas AMTA’98 Langhorne, PA, USA, October 28–31, 1998 Proceedings /

by Farwell, David [editor.] | Gerber, Laurie [editor.] | Hovy, Eduard [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