PRAGYAAN

Your search returned 716 results.

Sort
Results
1.
2.
3.
4.
5.
6.
7.
Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman. by Series: Lecture Notes in Computer Science ; 13487
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
Online resources:
Availability: No items available.

8.
Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello. by Series: Transactions on Petri Nets and Other Models of Concurrency ; 12530
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook
Online resources:
Availability: No items available.

9.
10.
11.
Cloud Broker and Cloudlet for Workflow Scheduling [electronic resource] / by Chan-Hyun Youn, Min Chen, Patrizio Dazzi. by Series: KAIST Research Series
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2017 In: Springer Nature eBook
Online resources:
Availability: No items available.

12.
13.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / edited by Sergiy Bogomolov, David Parker. by Series: Lecture Notes in Computer Science ; 13465
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
Online resources:
Availability: No items available.

14.
15.
16.
Public-Key Cryptography – PKC 2019 [electronic resource] : 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II / edited by Dongdai Lin, Kazue Sako. by Series: Security and Cryptology ; 11443
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
Online resources:
Availability: No items available.

17.
18.
19.
20.
Pages


Home | IITHLibrary |RAIITH |Catalog
A service provided by IITHLibrary
© Copyright 2022-2023. IITHLibrary, IIT Hyderabad
web page visitor counter