Your search returned 2827 results.

Sort
Results
2261.
2262.
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.

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

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

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

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

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

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

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

2270.
2271.
2272.
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.

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

2274.
Fundamentals of Computation Theory [electronic resource] : 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1279
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.

2275.
Hybrid Systems: Computation and Control [electronic resource] : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1386
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.

2276.
Worldwide Computing and Its Applications - WWCA'98 [electronic resource] : Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1368
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.

2277.
View Synthesis Using Stereo Vision [electronic resource] / by Series: Lecture Notes in Computer Science ; 1583
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.

2278.
Application and Theory of Petri Nets 1998 [electronic resource] : 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1420
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.

2279.
Multiple Classifier Systems [electronic resource] : Third International Workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2364
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.

2280.
Graph Drawing [electronic resource] : 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2265
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