Refine your search

Your search returned 295 results.

Sort
Results
221.
Advances in Document Image Analysis [electronic resource] : First Brazilian Symposium, BSDIA'97, Curitiba, Brazil, November 2-5, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1339
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

222.
Distributed Algorithms [electronic resource] : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1320
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

223.
Mobile Object Systems Towards the Programmable Internet [electronic resource] : Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers / by Series: Lecture Notes in Computer Science ; 1222
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

224.
Theorem Proving in Higher Order Logics [electronic resource] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1275
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

225.
Database and Expert Systems Applications [electronic resource] : 8th International Conference, DEXA'97, Toulouse, France, September 1-5, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1308
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

226.
227.
Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / by Series: Lecture Notes in Computer Science ; 1287
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

228.
Job Scheduling Strategies for Parallel Processing [electronic resource] : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1291
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

229.
Algebraic and Logic Programming [electronic resource] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1298
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

230.
Progress in Artificial Intelligence [electronic resource] : 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1323
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

231.
Advanced Topics in Artificial Intelligence [electronic resource] : 10th Australian Joint Conference on Artificial Intelligence AI'97, Perth, Australia, November 30 - December 4, 1997. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1342
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

232.
Case-Based Reasoning Research and Development [electronic resource] : Second International Conference on Case-Based Reasoning, ICCBR-97 Providence, RI, USA, July 25-27, 1997 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1266
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

233.
Foundations of Intelligent Systems [electronic resource] : 10th International Symposium, ISMIS '97. Charlotte, North Carolina, USA, October 15-18, 1997. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1325
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

234.
Inductive Logic Programming [electronic resource] : 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1297
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

235.
Distributed Reason Maintenance for Multiagent Systems [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 1229
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

236.
Algorithmic Learning Theory [electronic resource] : 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1316
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

237.
Foundations of Inductive Logic Programming [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 1228
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

238.
Machine Learning: ECML'97 [electronic resource] : 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1224
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

239.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1227
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

240.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1265
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in