Your search returned 2820 results.

Sort
Results
1761.
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1690
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.

1762.
Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2753
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.

1763.
Theorem Proving in Higher Order Logics [electronic resource] : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1869
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.

1764.
Algorithms and Data Structures [electronic resource] : 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1272
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.

1765.
Analysis and Verification of Multiple-Agent Languages [electronic resource] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / by Series: Lecture Notes in Computer Science ; 1192
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.

1766.
Advances in Cryptology - CRYPTO 2001 [electronic resource] : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2139
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.

1767.
ECOOP 2001 - Object-Oriented Programming [electronic resource] : 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings / by Series: Lecture Notes in Computer Science ; 2072
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.

1768.
Computer Vision Systems [electronic resource] : Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2095
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.

1769.
Shape, Contour and Grouping in Computer Vision [electronic resource] / by Series: Lecture Notes in Computer Science ; 1681
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.

1770.
1771.
1772.
Advances in Information Systems [electronic resource] : Second International Conference, ADVIS 2002, Izmir, Turkey, October 23-25, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2457
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.

1773.
Algorithms and Data Structures [electronic resource] : 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2125
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.

1774.
1775.
Advances in Pattern Recognition - ICAPR 2001 [electronic resource] : Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2013
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.

1776.
Types in Compilation [electronic resource] : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1473
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.

1777.
Biometric Authentication [electronic resource] : International ECCV 2002 Workshop Copenhagen, Denmark, June 1, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2359
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.

1778.
ECOOP '99 - Object-Oriented Programming [electronic resource] : 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1628
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.

1779.
Active, Real-Time, and Temporal Database Systems [electronic resource] : Second International Workshop, ARTDB'97, Como, Italy, September 8-9, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1553
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.

1780.
Advances in Object-Oriented Information Systems [electronic resource] : OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2426
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.

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