Your search returned 3774 results.

Sort
Results
3621.
3622.
Theory Reasoning in Connection Calculi [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 1527
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

3623.
Automated Deduction - CADE-16 [electronic resource] : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1632
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

3624.
Evolvable Systems: From Biology to Hardware [electronic resource] : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2606
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

3625.
Algorithm Engineering [electronic resource] : 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2141
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

3626.
Evolvable Systems: From Biology to Hardware [electronic resource] : First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers / by Series: Lecture Notes in Computer Science ; 1259
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.

3627.
Inductive Logic Programming [electronic resource] : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 2583
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

3628.
High Performance Computing - HiPC 2000 [electronic resource] : 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1970
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

3629.
Conceptual Modeling - ER '98 [electronic resource] : 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1507
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

3630.
Advanced Lectures on Machine Learning [electronic resource] : ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures / by Series: Lecture Notes in Artificial Intelligence ; 3176
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

3631.
Rewriting Techniques and Applications [electronic resource] : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1833
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

3632.
Formal Methods and Software Engineering [electronic resource] : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2885
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

3633.
3634.
Algorithm Engineering [electronic resource] : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1668
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

3635.
Intelligent Agents VII. Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1986
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

3636.
Fundamental Approaches to Software Engineering [electronic resource] : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2621
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

3637.
Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2404
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

3638.
Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2835
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

3639.
Networked Group Communication [electronic resource] : Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2233
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

3640.
Computer Aided Systems Theory - EUROCAST 2003 [electronic resource] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 2809
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

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