Refine your search

Your search returned 8328 results.

Sort
Results
7781.
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.

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

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

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

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

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

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

7788.
7789.
7790.
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.

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

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

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

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

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

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

7797.
Advances in Database Technology - EDBT '98 [electronic resource] : 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998. / by Series: Lecture Notes in Computer Science ; 1377
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.

7798.
SDL 2001: Meeting UML [electronic resource] : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2078
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.

7799.
Compiler Construction [electronic resource] : 9th International Conference, CC 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 ; 1781
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.

7800.
Abstract State Machines 2003: Advances in Theory and Practice [electronic resource] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2589
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