Scientific Library of Tomsk State University

   E-catalog        


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 5 results.

    1.
    Algebra, Meaning, and Computation Электронный ресурс Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.

    by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, José | 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 :
    2.
    All About Maude - A High-Performance Logical Framework Электронный ресурс How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, et al.

    by Clavel, Manuel | Durán, Francisco | Eker, Steven | Lincoln, Patrick | Martí-Oliet, Narciso | Meseguer, José | Talcott, Carolyn | 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 :
    3.
    Concurrency, Graphs and Models Электронный ресурс Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.

    by Degano, Pierpaolo | Meseguer, José | Nicola, Rocco | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    4.
    Algebraic Methodology and Software Technology Электронный ресурс 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Meseguer, Grigore Roşu

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Meseguer, José | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Roşu, Grigore | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    5.
    Specification, Algebra, and Software electronic resource Essays Dedicated to Kokichi Futatsugi / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata.

    by Iida, Shusaku [editor.] | Meseguer, José [editor.] | Ogata, Kazuhiro [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 :