Refine your search

Your search returned 1766 results.

Sort
Results
1641.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2173
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.

1642.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2796
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.

1643.
Inductive Logic Programming [electronic resource] : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 1314
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.

1644.
Programming Constraint Services [electronic resource] : High-Level Programming of Standard and New Constraint Services / by Series: Lecture Notes in Artificial Intelligence ; 2302
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.

1645.
Collaboration between Human and Artificial Societies [electronic resource] : Coordination and Agent-Based Distributed Computing / by Series: Lecture Notes in Artificial Intelligence ; 1624
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.

1646.
Objective Coordination in Multi-Agent System Engineering [electronic resource] : Design and Implementation / by Series: Lecture Notes in Artificial Intelligence ; 2039
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.

1647.
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.

1648.
STACS 98 [electronic resource] : 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1373
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.

1649.
Functional and Logic Programming [electronic resource] : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1722
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.

1650.
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.

1651.
Input/Output Intensive Massively Parallel Computing [electronic resource] : Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems / by Series: Lecture Notes in Computer Science ; 1220
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.

1652.
CONCUR'97: Concurrency Theory [electronic resource] : 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1243
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.

1653.
1654.
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.

1655.
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.

1656.
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1204
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.

1657.
Object-Oriented Technology. ECOOP '98 Workshop Reader [electronic resource] : ECOOP'98 Workshop, Demos, and Posters Brussels, Belgium, July 20-24, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1543
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.

1658.
Reliable Software Technologies - Ada-Europe 2001 [electronic resource] : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2043
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.

1659.
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 Series: Lecture Notes in Computer Science ; 2028
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.

1660.
Grid Computing - GRID 2001 [electronic resource] : Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2242
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.

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