Your search returned 1702 results.

Sort
Results
801.
802.
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1548
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.

803.
Communications and Multimedia Security. Advanced Techniques for Network and Data Protection [electronic resource] : 7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2828
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.

804.
Communication and Architectural Support for Network-Based Parallel Computing [electronic resource] : First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings / by Series: Lecture Notes in Computer Science ; 1199
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.

805.
806.
Formal Aspects of Security [electronic resource] : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2629
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.

807.
ZB 2000: Formal Specification and Development in Z and B [electronic resource] : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1878
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.

808.
Intelligent Tutoring Systems [electronic resource] : 5th International Conference, ITS 2000, Montreal, Canada, June 19-23, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1839
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.

809.
CONCUR 2001 - Concurrency Theory [electronic resource] : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2154
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.

810.
Self-Adaptive Software [electronic resource] : First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 1936
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.

811.
Artificial Evolution [electronic resource] : 4th European Conference, AE'99 Dunkerque, France, November 3-5, 1999 Selected Papers / by Series: Lecture Notes in Computer Science ; 1829
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.

812.
Logic Programming [electronic resource] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2916
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.

813.
High Performance Computing [electronic resource] : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1336
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.

814.
FME 2002: Formal Methods - Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2391
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.

815.
IT-Security and Privacy [electronic resource] : Design and Use of Privacy-Enhancing Security Mechanisms / by Series: Lecture Notes in Computer Science ; 1958
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.

816.
Principles and Practice of Constraint Programming - CP98 [electronic resource] : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1520
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.

817.
Information Security and Privacy [electronic resource] : 5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1841
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.

818.
Abstract Compositional Analysis of Iterated Relations [electronic resource] : A Structural Approach to Complex State Transition Systems / by Series: Lecture Notes in Computer Science ; 1426
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.

819.
Graph Drawing [electronic resource] : 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1353
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.

820.
Computing and Combinatorics [electronic resource] : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2387
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