PRAGYAAN

Your search returned 593 results.

Sort
Results
1.
Transactions on Computational Collective Intelligence XXIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jacek Mercik. by Series: Transactions on Computational Collective Intelligence ; 9760
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.

2.
3.
4.
5.
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.

6.
7.
8.
9.
Computer Simulation Validation [electronic resource] : Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives / edited by Claus Beisbart, Nicole J. Saam. by Series: Simulation Foundations, Methods and Applications
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.

10.
11.
12.
Computational Models of Speech Pattern Processing [electronic resource] / edited by Keith Ponting. by Series: NATO ASI Subseries F:, Computer and Systems Sciences ; 169
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999
Other title:
  • Proceedings of the NATO Advanced Study Institute on Computational Models of Speech Pattern Processing, held in St. Helier, Jersey, UK, July 7-18, 1997
In: Springer Nature eBook
Online resources:
Availability: No items available.

13.
Software Process Modeling [electronic resource] / edited by Silvia T. Acuna, Natalia Juristo. by Series: International Series in Software Engineering ; 10
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer US : Imprint: Springer, 2005 In: Springer Nature eBook
Online resources:
Availability: No items available.

14.
Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. by Series: Programming and Software Engineering ; 11918
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.

15.
Honeypot Frameworks and Their Applications: A New Framework [electronic resource] / by Chee Keong NG, Lei Pan, Yang Xiang. by Series: SpringerBriefs on Cyber Security Systems and Networks
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2018 In: Springer Nature eBook
Online resources:
Availability: No items available.

16.
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino. by Series: Theoretical Computer Science and General Issues ; 12760
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.

17.
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. by Series: Theoretical Computer Science and General Issues ; 12759
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.

18.
Logic-Based Program Synthesis and Transformation [electronic resource] : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli. by Series: Theoretical Computer Science and General Issues ; 12042
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
Online resources:
Availability: No items available.

19.
20.
Pages


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