National Science Library of Georgia

Refine your search

Your search returned 51 results.

Sort
Results
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. by Series: Theoretical Computer Science and General Issues ; 11561
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 eBooks
Online resources:
Availability: No items available.
Methodological Investigations in Agent-Based Modelling [electronic resource] : With Applications for the Social Sciences / by Eric Silverman. by Series: Methodos Series, Methodological Prospects in the Social Sciences ; 13
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 eBooks
Online resources:
Availability: No items available.
Graphical models for categorical data / Alberto Roverato. by Series: SemStat elements | Cambridge elements
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2017
Online resources:
Availability: No items available.
Air Quality Integrated Assessment [electronic resource] : A European Perspective / edited by Giorgio Guariso, Marialuisa Volta. by Series: PoliMI SpringerBriefs
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 eBooks
Online resources:
Availability: No items available.
Scaling of Differential Equations [electronic resource] / by Hans Petter Langtangen, Geir K. Pedersen. by Series: Simula SpringerBriefs on Computing ; 2
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks
Online resources:
Availability: No items available.
Anti-fragile ICT Systems [electronic resource] / by Kjell Jørgen Hole. by Series: Simula SpringerBriefs on Computing ; 1
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks
Online resources:
Availability: No items available.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.