Your search returned 28 results.

Sort
Results
21.
Hybrid Systems V [electronic resource] / by Series: Lecture Notes in Computer Science ; 1567
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.

22.
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2311
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.

23.
Self-Adaptive Software [electronic resource] : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2614
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.

24.
Computer Aided Verification [electronic resource] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1855
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.

25.
Computer Aided Verification [electronic resource] : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / by Series: Lecture Notes in Computer Science ; 2404
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.

26.
Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2027
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.

27.
Foundations of Computer Science [electronic resource] : Potential-Theory-Cognition / by Series: Lecture Notes in Computer Science ; 1337
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.

28.
Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2634
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