Limit Search Results
Author
Language
Subject
Engineering geology -- Mathematical models -- Congresses.
(3)
Numerical analysis -- Congresses.
(2)
Rock mechanics -- Mathematical models -- Congresses.
(2)
Soil mechanics -- Mathematical models -- Congresses.
(2)
Bayesian statistical decision theory -- Congresses.
(1)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
00DEFAULT
Print
13. 
Cover image for The spin model checker : primer and reference manual
The spin model checker : primer and reference manual
Author 
Holzmann, Gerard J.
Preferred Shelf Number 
TA168 H65 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for Numerical models in geomechanics : proceedings of the ninth International Symposium on 'Numerical Models in Geomechanics -- NUMOG IX', Ottawa, Canada, 25-27 August 2004.
Numerical models in geomechanics : proceedings of the ninth International Symposium on 'Numerical Models in Geomechanics -- NUMOG IX', Ottawa, Canada, 25-27 August 2004.
Author 
International Symposium on Numerical Models in Geomechanics (9th : 2004 : Ottawa, Ont.) Pande, G. N., editor. Pietruszczak, S., editor.
Preferred Shelf Number 
TA710 .A1 N86 2004 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367803438
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies: