Refine your search

Your search returned 1528 results.

Sort
Results
841.
Handbook of Requirements and Business Analysis [electronic resource] / by
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.

842.
Automated Reasoning [electronic resource] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13385
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.

843.
844.
845.
846.
Edge Computing – EDGE 2021 [electronic resource] : 5th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12990
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.

847.
Frontiers of Algorithmics [electronic resource] : International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12874
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.

848.
Formal Verification of Floating-Point Hardware Design [electronic resource] : A Mathematical Approach / by
Edition: 2nd 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.

849.
Internet of Things from Hype to Reality [electronic resource] : The Road to Digitization / by
Edition: 3rd 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.

850.
851.
Seriation in Combinatorial and Statistical Data Analysis [electronic resource] / by Series: Advanced Information and Knowledge Processing
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.

852.
853.
854.
Blockchain Scalability and its Foundations in Distributed Systems [electronic resource] / by
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.

855.
856.
Basics in Business Informatics [electronic resource] / by
Edition: 2nd ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2022 In: Springer Nature eBook
Availability: No items available.

857.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13372
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.

858.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13371
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.

859.
860.
Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13419
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.

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