Your search returned 3969 results.

Sort
Results
101.
Constraints in Computational Logics: Theory and Applications [electronic resource] : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / by Series: Lecture Notes in Computer Science ; 2002
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.

102.
Ada: The Choice for '92 [electronic resource] : Ada-Europe International Conference Athens, Greece, May 13-17, 1991 / by Series: Lecture Notes in Computer Science ; 499
Edition: 1st ed. 1991.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
Other title:
  • Proceedings
In: Springer Nature eBook
Availability: No items available.

103.
Application and Theory of Petri Nets 1995 [electronic resource] : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings / by Series: Lecture Notes in Computer Science ; 935
Edition: 1st ed. 1995.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook
Availability: No items available.

104.
Advances in Cryptology - CRYPTO '89 [electronic resource] : Proceedings / by Series: Lecture Notes in Computer Science ; 435
Edition: 1st ed. 1990.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 1990 In: Springer Nature eBook
Availability: No items available.

105.
Algorithms and Data Structures [electronic resource] : 4th International Workshop, WADS '95, Kingston, Canada, August 16 - 18, 1995. Proceedings / by Series: Lecture Notes in Computer Science ; 955
Edition: 1st ed. 1995.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook
Availability: No items available.

106.
Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings / by Series: Lecture Notes in Computer Science ; 507
Edition: 1st ed. 1991.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 1991 In: Springer Nature eBook
Availability: No items available.

107.
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings / by Series: Lecture Notes in Computer Science ; 472
Edition: 1st ed. 1990.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook
Availability: No items available.

108.
Computer Aided Systems Theory - CAST '94 [electronic resource] : 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers / by Series: Lecture Notes in Computer Science ; 1105
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

109.
Queueing Networks with Discrete Time Scale [electronic resource] : Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks / by Series: Lecture Notes in Computer Science ; 2046
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.

110.
On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops [electronic resource] : OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2889
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.

111.
Parallel Processing and Applied Mathematics [electronic resource] : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers / by Series: Lecture Notes in Computer Science ; 2328
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.

112.
Algebraic and Logic Programming [electronic resource] : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / by Series: Lecture Notes in Computer Science ; 632
Edition: 1st ed. 1992.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook
Availability: No items available.

113.
Parallel Architectures and Their Efficient Use [electronic resource] : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings / by Series: Lecture Notes in Computer Science ; 678
Edition: 1st ed. 1993.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook
Availability: No items available.

114.
Database Issues for Data Visualization [electronic resource] : IEEE Visualization '95 Workshop, Atlanta, Georgia, USA, October 28, 1995. Proceedings / by Series: Lecture Notes in Computer Science ; 1183
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

115.
Functional Programming, Concurrency, Simulation and Automated Reasoning [electronic resource] : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / by Series: Lecture Notes in Computer Science ; 693
Edition: 1st ed. 1993.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook
Availability: No items available.

116.
Computer Science Logic [electronic resource] : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings / by Series: Lecture Notes in Computer Science ; 626
Edition: 1st ed. 1992.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook
Availability: No items available.

117.
Advances in Computing and Information - ICCI '91 [electronic resource] : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings / by Series: Lecture Notes in Computer Science ; 497
Edition: 1st ed. 1991.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991 In: Springer Nature eBook
Availability: No items available.

118.
Research and Advanced Technology for Digital Libraries [electronic resource] : First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1324
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.

119.
Computer Aided Verification [electronic resource] : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1633
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.

120.
Mobile Agents [electronic resource] : 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2535
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