Scientific Library of Tomsk State University

   E-catalog        

Your search returned 3 results.

Sort
Results
1.
Semantics with Applications: An Appetizer Электронный ресурс by Hanne Riis Nielson, Flemming Nielson.

by Nielson, Hanne Riis | Nielson, Flemming | SpringerLink (Online service).

Series: Undergraduate Topics in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: London : Springer-Verlag London Limited, 2007Online access: Click here to access online Availability: No items available :
2.
Transactions on Computational Systems Biology VII Электронный ресурс edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson.

by Ingolfsdottir, Anna | Mishra, Bud | Nielson, Hanne Riis | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
3.
Static Analysis Электронный ресурс 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.

by Nielson, Hanne Riis | Filé, Gilberto | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
Pages