Refine your search

Your search returned 3358 results.

Sort
Results
2821.
Telecommunications and beyond: The Broader Applicability of SDL and MSC [electronic resource] : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers / by Series: Lecture Notes in Computer Science ; 2599
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.

2822.
FST TCS 2000: Foundations of Software Technology and Theoretical Science [electronic resource] : 20th Conference, New Delhi, India, December13-15, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1974
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.

2823.
Solving Irregularly Structured Problems in Parallel [electronic resource] : 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1253
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.

2824.
Recent Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 2755
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.

2825.
2826.
2827.
Implementation of Functional Languages [electronic resource] : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers / by Series: Lecture Notes in Computer Science ; 2312
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.

2828.
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1313
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.

2829.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1928
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.

2830.
2831.
Computing in Object-Oriented Parallel Environments [electronic resource] : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1732
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.

2832.
2833.
2834.
Meta-Level Architectures and Reflection [electronic resource] : Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1616
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.

2835.
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1912
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.

2836.
Computer Science Logic [electronic resource] : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1683
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.

2837.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2514
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.

2838.
2839.
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers / by Series: Lecture Notes in Computer Science ; 2064
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.

2840.
Algorithm Theory - SWAT 2002 [electronic resource] : 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2368
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