Your search returned 3774 results.

Sort
Results
3281.
Next Generation Networks. Networks and Services for the Information Society [electronic resource] : 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1938
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.

3282.
Innovative Internet Community Systems [electronic resource] : Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2877
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.

3283.
3284.
Static Analysis [electronic resource] : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1694
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.

3285.
SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1885
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.

3286.
Applications of Graph Transformations with Industrial Relevance [electronic resource] : International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1779
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.

3287.
Database Theory - ICDT 2001 [electronic resource] : 8th International Conference London, UK, January 4-6, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 1973
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.

3288.
Agent-Oriented Software Engineering III [electronic resource] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / by Series: Lecture Notes in Computer Science ; 2585
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.

3289.
ECOOP '98 - Object-Oriented Programming [electronic resource] : 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1445
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.

3290.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2250
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.

3291.
Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. / by Series: Lecture Notes in Computer Science ; 2335
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.

3292.
Advanced Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2834
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.

3293.
ECOOP 2003 - Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2743
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.

3294.
Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2102
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.

3295.
Evolvable Systems: From Biology to Hardware [electronic resource] : Second International Conference, ICES 98 Lausanne, Switzerland, September 23–25, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1478
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.

3296.
Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Series: Lecture Notes in Artificial Intelligence ; 2922
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.

3297.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 2850
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.

3298.
3299.
3300.
Formal Methods and Software Engineering [electronic resource] : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2495
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