Your search returned 70 results.

Sort
Results
1.
Languages and Compilers for Parallel Computing [electronic resource] : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11882
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.

2.
3.
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11571
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.

4.
VLSI Design and Test [electronic resource] : 22nd International Symposium, VDAT 2018, Madurai, India, June 28-30, 2018, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 892
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

5.
6.
7.
Massive MIMO Detection Algorithm and VLSI Architecture [electronic resource] / by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

8.
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 12224
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

9.
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13505
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.

10.
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering [electronic resource] : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / by Series: Programming and Software Engineering ; 11150
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

11.
12.
Computer Vision – ACCV 2018 Workshops [electronic resource] : 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11367
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.

13.
Euro-Par 2021: Parallel Processing [electronic resource] : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12820
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

14.
15.
Parallel Computing Technologies [electronic resource] : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11657
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.

16.
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12225
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

17.
Reliable Software Technologies – Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by Series: Programming and Software Engineering ; 10873
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

18.
Principles of Modeling [electronic resource] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / by Series: Programming and Software Engineering ; 10760
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

19.
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11947
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.

20.
Architecture of Computing Systems [electronic resource] : 35th International Conference, ARCS 2022, Heilbronn, Germany, September 13–15, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13642
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