Refine your search

Your search returned 4479 results.

Sort
Results
3221.
3222.
3223.
3224.
Testing Software and Systems [electronic resource] : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14131
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

3225.
3226.
UbiComp 2004: Ubiquitous Computing [electronic resource] : 6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3205
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.

3227.
Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3223
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.

3228.
Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5160
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

3229.
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [electronic resource] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings / by Series: Programming and Software Engineering ; 8356
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

3230.
Multiagent System Technologies [electronic resource] : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3187
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.

3231.
Formal Approaches to Software Testing [electronic resource] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / by Series: Lecture Notes in Computer Science ; 2931
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.

3232.
Radical Innovations of Software and Systems Engineering in the Future [electronic resource] : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2941
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.

3233.
UML 2004 - The Unified Modeling Language [electronic resource] : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / by Series: Lecture Notes in Computer Science ; 3273
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.

3234.
3235.
Perspectives in Business Informatics Research [electronic resource] : 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings / by Series: Lecture Notes in Business Information Processing ; 365
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

3236.
3237.
3238.
3239.
3240.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in