Refine your search

Your search returned 17575 results.

Sort
Results
17461.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1657
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.

17462.
On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE [electronic resource] : Confederated International Conferences CoopIS, DOA, and ODBASE 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2519
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.

17463.
Component-Based Software Engineering [electronic resource] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3054
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.

17464.
Security Engineering with Patterns [electronic resource] : Origins, Theoretical Models, and New Applications / by Series: Lecture Notes in Computer Science ; 2754
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.

17465.
Multi-Agent System Engineering [electronic resource] : 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 1647
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.

17466.
Object-Oriented Technology. ECOOP 2002 Workshop Reader [electronic resource] : ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2548
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.

17467.
17468.
Application of Petri Nets to Communication Networks [electronic resource] : Advances in Petri Nets / by Series: Lecture Notes in Computer Science ; 1605
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.

17469.
Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 2171
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.

17470.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1908
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.

17471.
Numerical Analysis and Its Applications [electronic resource] : First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings / by Series: Lecture Notes in Computer Science ; 1196
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.

17472.
Information Networking [electronic resource] : Networking Technologies for Enhanced Internet Services, International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 2662
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.

17473.
17474.
Foundations of Information and Knowledge Systems [electronic resource] : First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1762
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.

17475.
Theoretical Aspects of Computer Software [electronic resource] : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1281
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.

17476.
Combinatorial Pattern Matching [electronic resource] : 9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1448
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.

17477.
Software Process Technology [electronic resource] : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000. Proceedings / by Series: Lecture Notes in Computer Science ; 1780
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.

17478.
Artificial Evolution [electronic resource] : Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers / by Series: Lecture Notes in Computer Science ; 1363
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.

17479.
17480.
Advances in Spatial and Temporal Databases [electronic resource] : 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24 - 27, 2003. Proceedings / by Series: Lecture Notes in Computer Science ; 2750
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