Refine your search

Your search returned 4479 results.

Sort
Results
3521.
3522.
Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7571
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

3523.
3524.
3525.
3526.
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / by Series: Programming and Software Engineering ; 7078
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

3527.
Distributed Computing and Networking [electronic resource] : 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8314
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

3528.
Web Engineering [electronic resource] : 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11496
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.

3529.
3530.
3531.
3532.
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 13490
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

3533.
Advanced Parallel Processing Technologies [electronic resource] : 15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14103
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

3534.
3535.
3536.
The What and How of Modelling Information and Knowledge [electronic resource] : From Mind Maps to Ontologies / by
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.

3537.
3538.
3539.
UbiComp 2006: Ubiquitous Computing [electronic resource] : 8th International Conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4206
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

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