Your search returned 2533 results.

Sort
Results
121.
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3099
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

122.
Recent Advances in Intrusion Detection [electronic resource] : 5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2516
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.

123.
Mathematical Foundations of Computer Science 2003 [electronic resource] : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2747
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.

124.
Software Engineering and Human-Computer Interaction [electronic resource] : ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994. Proceedings / by Series: Lecture Notes in Computer Science ; 896
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.

125.
126.
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings [electronic resource] : Volume 2: Tutorials / by Series: Lecture Notes in Computer Science ; 552
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.

127.
Randomness and Completeness in Computational Complexity [electronic resource] / by Series: Lecture Notes in Computer Science ; 1950
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.

128.
Treewidth [electronic resource] : Computations and Approximations / by Series: Lecture Notes in Computer Science ; 842
Edition: 1st ed. 1994.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook
Availability: No items available.

129.
130.
Types for Proofs and Programs [electronic resource] : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / by Series: Lecture Notes in Computer Science ; 1512
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.

131.
KORSO: Methods, Languages, and Tools for the Construction of Correct Software [electronic resource] : Final Report / by Series: Lecture Notes in Computer Science ; 1009
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.

132.
Coordination Languages and Models [electronic resource] : Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1594
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.

133.
Integer Programming and Combinatorial Optimization [electronic resource] : 6th International IPCO Conference Houston, Texas, June 22–24, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1412
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.

134.
Advances in Cryptology – EUROCRYPT '89 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques, Houthalen, Belgium, April 10-13, 1989. Proceedings / by Series: Lecture Notes in Computer Science ; 434
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.

135.
Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / by Series: Lecture Notes in Computer Science ; 691
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.

136.
Algorithms and Computations [electronic resource] : 6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings. / by Series: Lecture Notes in Computer Science ; 1004
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.

137.
Medical Data Analysis [electronic resource] : 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2868
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.

138.
Advances in Cryptology – EUROCRYPT '91 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques, Brighton, UK, April 8-11, 1991. Proceedings / by Series: Lecture Notes in Computer Science ; 547
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.

139.
The Semantic Web - ISWC 2002 [electronic resource] : First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2342
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.

140.
Algorithms in Bioinformatics [electronic resource] : Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2452
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

Powered by Koha