Refine your search

Your search returned 1989 results.

Sort
Results
361.
Digital Learning based Education [electronic resource] : Transcending Physical Barriers / by Series: Advanced Technologies and Societal Change
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

362.
Theory and Applications of Satisfiability Testing – SAT 2019 [electronic resource] : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11628
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.

363.
Tests and Proofs [electronic resource] : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / by Series: Programming and Software Engineering ; 11823
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.

364.
Software Technology: Methods and Tools [electronic resource] : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / by Series: Programming and Software Engineering ; 11771
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.

365.
366.
Graphical Models for Security [electronic resource] : 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers / by Series: Security and Cryptology ; 11720
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.

367.
368.
369.
Extended Reality [electronic resource] : First International Conference, XR Salento 2022, Lecce, Italy, July 6–8, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13446
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

370.
Green, Pervasive, and Cloud Computing [electronic resource] : 17th International Conference, GPC 2022, Chengdu, China, December 2–4, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13744
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.

371.
Performance Tools and Applications to Networked Systems [electronic resource] : Revised Tutorial Lectures / by Series: Lecture Notes in Computer Science ; 2965
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.

372.
Energy Efficient Data Centers [electronic resource] : Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers / by Series: Computer Communication Networks and Telecommunications ; 8945
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

373.
374.
375.
376.
Quantum Technology and Optimization Problems [electronic resource] : First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11413
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.

377.
Computer Simulation Validation [electronic resource] : Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives / by Series: Simulation Foundations, Methods and Applications
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.

378.
Computing and Software Science [electronic resource] : State of the Art and Perspectives / by Series: Theoretical Computer Science and General Issues ; 10000
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.

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