Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

Sort
Results
1.
Formal Aspects of Component Software electronic resource 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.

by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
2.
Theoretical Computer Science electronic resource 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / edited by Josep Diaz, Ivan Lanese, Davide Sangiorgi.

by Diaz, Josep [editor.] | Lanese, Ivan [editor.] | Sangiorgi, Davide [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
Pages