PRAGYAAN

Your search returned 1469 results.

Sort
Results
141.
142.
143.
Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers / edited by Dieter Kratsch. by Series: Theoretical Computer Science and General Issues ; 3787
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.

144.
New Trends in Interaction, Virtual Reality and Modeling [electronic resource] / edited by Victor M.R. Penichet, Antonio Peñalver, José A. Gallud. by Series: Human–Computer Interaction Series
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer Nature eBook
Online resources:
Availability: No items available.

145.
146.
Modelling and Simulation [electronic resource] : Exploring Dynamic System Behaviour / by Louis G. Birta, Gilbert Arbez. by Series: Simulation Foundations, Methods and Applications
Edition: 3rd 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.

147.
148.
Algorithmic Game Theory [electronic resource] : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / edited by Xiaotie Deng. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11059
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
Online resources:
Availability: No items available.

149.
Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter. by Series: Programming and Software Engineering ; 11023
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
Online resources:
Availability: No items available.

150.
Expert Systems in Engineering: Principles and Applications [electronic resource] : Principles and Applications / edited by Georg Gottlob, Wolfgang Nejdl. by Series: Lecture Notes in Artificial Intelligence ; 462
Edition: 1st ed. 1990.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990 In: Springer Nature eBook
Online resources:
Availability: No items available.

151.
152.
Advances in Applied Self-Organizing Systems [electronic resource] / edited by Mikhail Prokopenko. by Series: Advanced Information and Knowledge Processing
Edition: 2nd ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer Nature eBook
Online resources:
Availability: No items available.

153.
Web Proxy Cache Replacement Strategies [electronic resource] : Simulation, Implementation, and Performance Evaluation / by Hala ElAarag. by Series: SpringerBriefs in Computer Science
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer Nature eBook
Online resources:
Availability: No items available.

154.
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer Nature eBook
Online resources:
Availability: No items available.

155.
156.
157.
158.
Simulating Social Complexity [electronic resource] : A Handbook / edited by Bruce Edmonds, Ruth Meyer. by Series: Understanding Complex Systems
Edition: 2nd 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
Online resources:
Availability: No items available.

159.
160.
Models@run.time [electronic resource] : Foundations, Applications, and Roadmaps / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann. by Series: Programming and Software Engineering ; 8378
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 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