Your search returned 1705 results.

Sort
Results
1281.
Embedded Software [electronic resource] : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2211
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.

1282.
Electronic Commerce and Web Technologies [electronic resource] : First International Conference, EC-Web 2000 London, UK, September 4-6, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1875
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.

1283.
Programming Languages and Systems [electronic resource] : 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1782
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.

1284.
Vector and Parallel Processing - VECPAR'98 [electronic resource] : Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks / by Series: Lecture Notes in Computer Science ; 1573
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.

1285.
Automata, Logics, and Infinite Games [electronic resource] : A Guide to Current Research / by Series: Lecture Notes in Computer Science ; 2500
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.

1286.
Algorithm Theory - SWAT 2000 [electronic resource] : 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1851
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.

1287.
Information Retrieval Techniques for Speech Applications [electronic resource] / by Series: Lecture Notes in Computer Science ; 2273
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.

1288.
1289.
Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1816
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.

1290.
STACS 97 [electronic resource] : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1200
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.

1291.
Practice and Theory of Automated Timetabling IV [electronic resource] : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers / by Series: Lecture Notes in Computer Science ; 2740
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.

1292.
Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / by Series: Lecture Notes in Computer Science ; 2267
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.

1293.
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1346
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.

1294.
Stochastic Algorithms: Foundations and Applications [electronic resource] : International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2264
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.

1295.
Euro-Par’97 Parallel Processing [electronic resource] : Third International Euro-Par Conference, Passau, Germany, August 26–29, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1300
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.

1296.
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1855
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.

1297.
1298.
1299.
High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2327
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.

1300.
Rewriting Techniques and Applications [electronic resource] : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2706
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