Your search returned 1705 results.

Sort
Results
701.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers / by Series: Lecture Notes in Computer Science ; 1956
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.

702.
Lectures on Embedded Systems [electronic resource] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / by Series: Lecture Notes in Computer Science ; 1494
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.

703.
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.

704.
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.

705.
Electronic Government [electronic resource] : First International Conference, EGOV 2002, Aix-en-Provence, France, September 2-5, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2456
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.

706.
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.

707.
Algorithms and Complexity [electronic resource] : 4th Italian Conference, CIAC 2000 Rome, Italy, March 1-3, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1767
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.

708.
Secure Networking - CQRE (Secure) '99 [electronic resource] : International Exhibition and Congress Düsseldorf, Germany, November 30 - December 2, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1740
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.

709.
Quality of Service - IWQoS 2003 [electronic resource] : 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2707
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.

710.
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.

711.
Job Scheduling Strategies for Parallel Processing [electronic resource] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2862
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.

712.
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.

713.
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.

714.
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.

715.
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.

716.
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.

717.
Information and Communications Security [electronic resource] : Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2229
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.

718.
Modular Programming Languages [electronic resource] : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2789
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.

719.
720.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in