Refine your search

Your search returned 4479 results.

Sort
Results
4201.
Architecting Dependable Systems II [electronic resource] / by Series: Lecture Notes in Computer Science ; 3069
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.

4202.
Reliable Software Technologies - Ada-Europe '97 [electronic resource] : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1251
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.

4203.
Requirements Targeting Software and Systems Engineering [electronic resource] : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 / by Series: Lecture Notes in Computer Science ; 1526
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.

4204.
Product Focused Software Process Improvement [electronic resource] : Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2188
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.

4205.
Evolutionary Multi-Criterion Optimization [electronic resource] : Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2632
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.

4206.
Worldwide Computing and Its Applications [electronic resource] : International Conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 Proceedings. / by Series: Lecture Notes in Computer Science ; 1274
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.

4207.
STACS 2000 [electronic resource] : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1770
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.

4208.
Secure Internet Programming [electronic resource] : Security Issues for Mobile and Distributed Objects / by Series: Lecture Notes in Computer Science ; 1603
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.

4209.
Automata, Languages and Programming [electronic resource] : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1644
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.

4210.
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2144
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.

4211.
Static Analysis [electronic resource] : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1824
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.

4212.
Computer Performance Evaluation [electronic resource] : Modelling Techniques and Tools / by Series: Lecture Notes in Computer Science ; 1469
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.

4213.
Distributed Computing [electronic resource] : Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2571
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.

4214.
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2469
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.

4215.
Future Directions in Distributed Computing [electronic resource] : Research and Position Papers / by Series: Lecture Notes in Computer Science ; 2584
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.

4216.
Distributed Algorithms [electronic resource] : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1320
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.

4217.
Empirical Methods and Studies in Software Engineering [electronic resource] : Experiences from ESERNET / by Series: Lecture Notes in Computer Science ; 2765
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.

4218.
Theoretical Aspects of Computer Software [electronic resource] : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / by Series: Lecture Notes in Computer Science ; 2215
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.

4219.
Mobile Object Systems Towards the Programmable Internet [electronic resource] : Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers / by Series: Lecture Notes in Computer Science ; 1222
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.

4220.
Practical Aspects of Declarative Languages [electronic resource] : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2257
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