Refine your search

Your search returned 4435 results.

Sort
Results
3601.
3602.
3603.
3604.
3605.
Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13768
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

3606.
Artificial General Intelligence [electronic resource] : 16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13921
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.

3607.
3608.
Scientific Engineering of Distributed Java Applications. [electronic resource] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2952
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.

3609.
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Series: Lecture Notes in Computer Science ; 2925
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.

3610.
Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 4444
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

3611.
3612.
3613.
Incentives, Overlays, and Economic Traffic Control [electronic resource] : Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6236
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

3614.
Service-Oriented and Cloud Computing [electronic resource] : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / by Series: Programming and Software Engineering ; 10465
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

3615.
Software Architecture [electronic resource] : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3047
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.

3616.
Ad-hoc, Mobile and Wireless Networks [electronic resource] : 7th International Conference, ADHOC-NOW 2008, Sophia Antipolis, France, September 10-12, 2008, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5198
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.

3617.
Trust Management [electronic resource] : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2995
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.

3618.
Middleware 2004 [electronic resource] : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3231
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.

3619.
3620.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in