PRAGYAAN

Your search returned 1213 results.

Sort
Results
1.
2.
3.
Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Michał Skrzypczak. by Series: Theoretical Computer Science and General Issues ; 9802
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Online resources:
Availability: No items available.

4.
Computational Methods in Systems Biology [electronic resource] : 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings / edited by Eugenio Cinquemani, Loïc Paulevé. by Series: Lecture Notes in Bioinformatics ; 12881
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
Online resources:
Availability: No items available.

5.
Specification and Analysis of Concurrent Systems [electronic resource] : The COSY Approach / by Ryszard Janicki, Peter E. Lauer. by Series: Monographs in Theoretical Computer Science. An EATCS Series
Edition: 1st ed. 1992.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992 In: Springer Nature eBook
Online resources:
Availability: No items available.

6.
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.

7.
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.

8.
9.
Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource]. by Series: Transactions on Petri Nets and Other Models of Concurrency ; 6550
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Online resources:
Availability: No items available.

10.
11.
12.
Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust. by Series: Programming and Software Engineering ; 3456
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Online resources:
Availability: No items available.

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.
Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / edited by Samir R. Das, Sajal K. Das. by Series: Lecture Notes in Computer Science ; 2918
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Online resources:
Availability: No items available.

16.
17.
Software Challenges to Exascale Computing [electronic resource] : Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / edited by Amit Majumdar, Ritu Arora. by Series: Communications in Computer and Information Science ; 964
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
Online resources:
Availability: No items available.

18.
19.
20.
Embedded Software for SoC [electronic resource] / edited by Ahmed Amine Jerraya, Sungjoo Yoo, Norbert Wehn, Diederik Verkest. by
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer US : Imprint: Springer, 2003 In: Springer Nature eBook
Online resources:
Availability: No items available.

Pages


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