Refine your search

Your search returned 3358 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2981.
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1790
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
Online access:
Availability: No items available.

Add to cart
2982.
Recent Trends in Algebraic Development Techniques [electronic resource] : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / by Series: Lecture Notes in Computer Science ; 1827
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
Online access:
Availability: No items available.

Add to cart
2983.
2984.
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2556
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
Online access:
Availability: No items available.

Add to cart
2985.
Logic Program Synthesis and Transformation [electronic resource] : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / by Series: Lecture Notes in Computer Science ; 1207
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
Online access:
Availability: No items available.

Add to cart
2986.
Reliable Software Technologies Ada-Europe 2000 [electronic resource] : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1845
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
Online access:
Availability: No items available.

Add to cart
2987.
High Performance Computing [electronic resource] : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2858
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
Online access:
Availability: No items available.

Add to cart
2988.
Component Deployment [electronic resource] : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2370
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
Online access:
Availability: No items available.

Add to cart
2989.
Computer Safety, Reliability and Security [electronic resource] : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2187
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
Online access:
Availability: No items available.

Add to cart
2990.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / by Series: Lecture Notes in Computer Science ; 2297
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
Online access:
Availability: No items available.

Add to cart
2991.
Object-Oriented Information Systems [electronic resource] : 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2817
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
Online access:
Availability: No items available.

Add to cart
2992.
Job Scheduling Strategies for Parallel Processing [electronic resource] : IPPS/SPDP'99 Workshop, JSSPP'99, San Juan, Puerto Rico, April 16, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1659
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
Online access:
Availability: No items available.

Add to cart
2993.
Principles and Practice of Constraint Programming - CP97 [electronic resource] : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / by Series: Lecture Notes in Computer Science ; 1330
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
Online access:
Availability: No items available.

Add to cart
2994.
Generative Programming and Component Engineering [electronic resource] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2830
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
Online access:
Availability: No items available.

Add to cart
2995.
Functional and Logic Programming [electronic resource] : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2441
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
Online access:
Availability: No items available.

Add to cart
2996.
Modular Specification and Verification of Object-Oriented Programs [electronic resource] / by Series: Lecture Notes in Computer Science ; 2262
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
Online access:
Availability: No items available.

Add to cart
2997.
Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2731
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
Online access:
Availability: No items available.

Add to cart
2998.
Algorithms - ESA'99 [electronic resource] : 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1643
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
Online access:
Availability: No items available.

Add to cart
2999.
Conceptual Modeling - ER '97 [electronic resource] : 16th International Conference on Conceptual Modeling, Los Angeles, CA, USA, November 3-5, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1331
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
Online access:
Availability: No items available.

Add to cart
3000.
Types in Compilation [electronic resource] : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 2071
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
Online access:
Availability: No items available.

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