Your search returned 627 results.

Sort
Results
121.
122.
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by Series: Programming and Software Engineering ; 11119
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.

123.
124.
125.
Membrane Computing [electronic resource] : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11399
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.

126.
Cloud Computing and Big Data [electronic resource] : 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1050
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.

127.
Critical Information Infrastructures Security [electronic resource] : 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers / by Series: Security and Cryptology ; 11777
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.

128.
FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings / by Series: Programming and Software Engineering ; 5014
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.

129.
Computer and Computing Technologies in Agriculture X [electronic resource] : 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings / by Series: IFIP Advances in Information and Communication Technology ; 509
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.

130.
131.
High Performance Computing [electronic resource] : 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1087
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.

132.
Rigorous State-Based Methods [electronic resource] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12071
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.

133.
Product-Focused Software Process Improvement [electronic resource] : 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings / by Series: Programming and Software Engineering ; 12562
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.

134.
Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10491
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.

135.
136.
137.
138.
139.
Edge Computing – EDGE 2022 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10–14, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13732
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.

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