Refine your search

Your search returned 1766 results.

Sort
Results
1461.
Parallel Computing Technologies [electronic resource] : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2127
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.

1462.
Algorithms and Computation [electronic resource] : 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1969
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.

1463.
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition, Vienna, Austria, April 28-30, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1225
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.

1464.
Logics in Artificial Intelligence [electronic resource] : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2424
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.

1465.
Selected Areas in Cryptography [electronic resource] : 7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 2012
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.

1466.
Engineering Societies in the Agents World II [electronic resource] : Second International Workshop, ESAW 2001, Prague, Czech Republic, July 7, 2001, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 2203
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.

1467.
Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Series: Lecture Notes in Artificial Intelligence ; 2654
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.

1468.
ZUM'97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1212
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.

1469.
Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2315
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.

1470.
1471.
Static Analysis [electronic resource] : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1694
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.

1472.
1473.
ECOOP '98 - Object-Oriented Programming [electronic resource] : 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1445
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.

1474.
Advances in Neural Networks - ISNN 2004 [electronic resource] : International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 3174
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.

1475.
Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. / by Series: Lecture Notes in Computer Science ; 2335
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.

1476.
1477.
ECOOP 2003 - Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2743
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.

1478.
Object-Oriented Technology: ECOOP ’97 Workshop Reader [electronic resource] : ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1357
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.

1479.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2850
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.

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