The University of Texas at Tyler Libraries

Your search returned 2 results. Subscribe to this search

|
1.
Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / Hanne Riis Nielson, Gilberto Filé (eds.).

by International Static Analysis Symposium (14th : 2007 : Lyngby, Denmark) | Nielson, Hanne Riis, 1954- | Filé, Gilberto, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: SAS 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.6 .I5733 2007.
Place hold Log in to add tags.
2.
Semantics with applications : an appetizer / Hanne Riis Nielson and Flemming Nielson.

by Nielson, Hanne Riis, 1954- | Nielson, Flemming, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York ; London : Springer, 2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.7 .N54 2007.
Place hold