Refine your search

Your search returned 9086 results.

Sort
Results
7881.
7882.
Cryptographic Hardware and Embedded Systems -- CHES 2003 [electronic resource] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2779
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.

7883.
Logic Based Program Synthesis and Transformation [electronic resource] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / by Series: Lecture Notes in Computer Science ; 2372
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.

7884.
7885.
Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1476
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.

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

7887.
7888.
Principles of Data Mining and Knowledge Discovery [electronic resource] : Second European Symposium, PKDD'98, Nantes, France, September 23-26, 1998, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1510
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.

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

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

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

7892.
Pattern Detection and Discovery [electronic resource] : ESF Exploratory Workshop, London, UK, September 16-19, 2002. / by Series: Lecture Notes in Artificial Intelligence ; 2447
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.

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

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

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

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

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

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

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

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

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