Your search returned 22 results.

Image from Amazon.com

Image from Coce

Bayesian data analysis by

Gelman Andrew; Carlin John B; Stern Hal S; Dunson David B; Vehtari Aki; Rubin Donald B
Gelman Andrew; Carlin John B; Stern Hal S; Dunson David B; Vehtari Aki; Rubin Donald B

Edition: 3

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: London CRC Press 2014

Availability: Items available for loan: Central Science Library (1)Collection, call number: B28M N5;Q4;1 TB.

Image from Amazon.com

Image from Coce

Bayesian regression modeling with inla by

Series: Computer science and data analysis series

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: New York CRC Press 2018

Availability: Items available for loan: Central Science Library (1)Collection, call number: B28 Q8.

Image from Amazon.com

Image from Coce

Handbook of Model Checking by

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2018

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Image from Coce

Introduction to linear regression analysis Montgomery, Douglas C; Peck, Elizabeth A; Vining, G geoffrey by

Edition: 6th

Material type:

Text; Format: print

Language: English

Publication details: Hoboken Wiley 2021

Availability: Items available for loan: Central Science Library (1)Collection, call number: B281 M2;R1.

Image from Amazon.com

Image from Coce

Introduction to linear regression analysis by

Edition: 3

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Delhi Wiley India 2003

Availability: Items available for loan: Central Science Library (1)Collection, call number: B281 M2;P3;3-;4.

Image from Amazon.com

Image from Coce

Introduction to linear regression analysis by

Edition: 3

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Delhi Wiley India 2003

Availability: Items available for loan: Central Science Library (1)Collection, call number: B281 M2;P3;3-;4.

Model checking by

Clarke Edmund M

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: 1999

Availability: Items available for loan: South Campus Library (1)Collection, call number: D6,8(B) N9.

Image from Amazon.com

Image from Coce

Model Checking Quantum Systems by

Ying/Feng

Material type:

Text; Format: print

Language: English

Publication details: Cambridge University Press ; Cambridge University Press ; 2021

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Image from Coce

Model Checking Software by

Owolabi Legunsen, Grigore Rosu

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2022

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

10.

Image from Amazon.com

Image from Coce

Model Checking Software by

Alfons Laarman, Ana Sokolova

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2021

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

11.

Image from Amazon.com

Image from Coce

Model Checking Software by

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2019

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

12.

Image from Amazon.com

Image from Coce

Model Checking Software by

María del Mar Gallardo, Pedro Merino

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2018

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

13.

Image from Amazon.com

Image from Coce

Model Checking Software by

Dragan Bošna?ki, Anton Wijs

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2016

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

14.

Image from Amazon.com

Image from Coce

Model Checking, Synthesis, and Learning by

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2021

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

15.

Image from Amazon.com

Image from Coce

Statistical methods in biology: Design and analysis of experiment and regression by

Material type:

Text; Format: print regular print ; Literary form: Not fiction

Language: English

Publication details: Boca Raton CRC 2015

Availability: Items available for loan: Central Science Library (1)Collection, call number: G:(B28) Q5 TB.

16.

Image from Amazon.com

Image from Coce

Verification, Model Checking, and Abstract Interpretation by

Bernd Finkbeiner, Thomas Wies

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2022

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

17.

Image from Amazon.com

Image from Coce

Verification, Model Checking, and Abstract Interpretation by

Fritz Henglein, Sharon Shoham, Yakir Vizel

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2021

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

18.

Image from Amazon.com

Image from Coce

Verification, Model Checking, and Abstract Interpretation by

Dirk Beyer, Damien Zufferey

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2020

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

19.

Image from Amazon.com

Image from Coce

Verification, Model Checking, and Abstract Interpretation by

Constantin Enea, Ruzica Piskac

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2019

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

20.

Image from Amazon.com

Image from Coce

Verification, Model Checking, and Abstract Interpretation by

Isil Dillig, Jens Palsberg

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2018

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

21.

Image from Amazon.com

Image from Coce

Verification, Model Checking, and Abstract Interpretation by

Ahmed Bouajjani, David Monniaux

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2017

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

22.

Image from Amazon.com

Image from Coce

Verification, Model Checking, and Abstract Interpretation by

Barbara Jobstmann, K. Rustan M. Leino

Material type:

Text; Format: print

Language: English

Publication details: Springer ; Springer ; 2016

Online resources:

Click here to access online

Availability: Items available for loan: Central Library (1).

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Item types

Series

Topics

Holding libraries

Home libraries

Languages

Your search returned 22 results.