Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 126 results.

    1.
    Comparative Genomics Электронный ресурс International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings / edited by Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Craig E. Nelson, Stéphane Vialette.

    by Istrail, Sorin | Nelson, Craig E | Pevzner, Pavel | Vialette, Stéphane | Waterman, Michael S | 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 :
    2.
    Term Rewriting and Applications Электронный ресурс 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.

    by Baader, Franz | 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.
    Typed Lambda Calculi and Applications Электронный ресурс 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca.

    by Rocca, Simona Ronchi | 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 :
    4.
    Trust Management (vol. # 3477) Электронный ресурс Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005, Proceedings edited by Peter Herrmann, Valerie Issarny, Simon Shiu.

    by Herrmann, Peter | Issarny, Valerie | Shiu, Simon | 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., 2005Online access: Click here to access online Availability: No items available :
    5.
    Detection of Intrusions and Malware, and Vulnerability Assessment Электронный ресурс 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 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, Diego Zamboni.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Zamboni, Diego | 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 :
    6.
    Autonomic Networking Электронный ресурс First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings edited by Dominique Gaïti, Guy Pujolle, Ehab Al-Shaer, Ken Calvert et al.

    by Gaïti, Dominique | Al-Shaer, Ehab | Calvert, Ken | Dobson, Simon | Leduc, Guy | Martikainen, Olli | Pujolle, Guy | 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 :
    7.
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 Электронный ресурс 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge

    by Najm, Elie | Donzeau-Gouge, Véronique Viguié | Pradat-Peyre, Jean-Francois | 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 :
    8.
    Composition of Embedded Systems. Scientific and Industrial Issues Электронный ресурс 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky.

    by Kordon, Fabrice | Sokolsky, Oleg | 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, 2007Online access: Click here to access online Availability: No items available :
    9.
    The Engineering of Sport 7 Электронный ресурс Vol. 1 / by Margaret Estivalet, Pierre Brisson.

    by Estivalet, Margaret | Brisson, Pierre | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    10.
    Advances in Material Forming Электронный ресурс Esaform 10 years on / by Francisco Chinesta, Elias Cueto.

    by Chinesta, Francisco | Cueto, Elias | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    11.
    Critique de la valeur fondamentale Электронный ресурс by Christian Walter, Éric Brian.

    by Walter, Christian | Brian, Éric | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    12.
    Les cancers digestifs Электронный ресурс Avec la collaboration de l’Association des Gastro-entérologues Oncologues (AGEO) / by Philippe Rougier, Emmanuel Mitry, Sophie Dominguez-Tinajero, Julien Taïeb

    by Rougier, Philippe | Dominguez-Tinajero, Sophie | Mitry, Emmanuel | Taïeb, Julien | SpringerLink (Online service).

    Series: Oncologie PratiqueSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    13.
    Approche pratique de la couverture des pertes de substance cutanГ©e de la main et des doigts Электронный ресурс by Dominique Nen, Weiguo Hu, Jacky Laulan.

    by Nen, Dominique | Hu, Weiguo | Laulan, Jacky | SpringerLink (Online service).

    Series: Approche pratique en orthopГ©die-traumatologieSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    14.
    Classifications et scores en chirurgie orthopédique et traumatologique Электронный ресурс I. Hanche, Genou, Rachis / by Emmanuel Favreul, Alain Dambreville, Gérard Gacon, Pierre Kehr.

    by Favreul, Emmanuel | Dambreville, Alain | Gacon, Gérard | Kehr, Pierre | SpringerLink (Online service).

    Series: Collection GECOSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    15.
    Premiers pas en simulation Электронный ресурс by Yadolah Dodge, Giuseppe Melfi.

    by Dodge, Yadolah | Melfi, Giuseppe | SpringerLink (Online service).

    Series: Statistique et probabilitès appliquèesSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2008Online access: Click here to access online Availability: No items available :
    16.
    Abord Clinique des Urgences Traumatiques AU Cabinet du GГ©nГ©raliste Электронный ресурс by Jean-Claude Pire, Carole Carolet.

    by Pire, Jean-Claude | Carolet, Carole | SpringerLink (Online service).

    Series: Abord cliniqueSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2005Online access: Click here to access online Availability: No items available :
    17.
    Les infections urinaires Электронный ресурс by Bernard Lobel, Claude-James Soussy.

    by Lobel, Bernard | Soussy, Claude-James | SpringerLink (Online service).

    Series: Monographies en urologieSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    18.
    Sepsis sévère et choc septique Электронный ресурс by Claude Martin, Jean-Louis Vincent.

    by Martin, Claude | Vincent, Jean-Louis | SpringerLink (Online service).

    Series: Le point surSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2005Online access: Click here to access online Availability: No items available :
    19.
    Cancer du sujet âgé Электронный ресурс edited by Jean-François Morère, Muriel Rainfray.

    by Morère, Jean-François | Rainfray, Muriel | SpringerLink (Online service).

    Series: Oncologie pratiqueEdition: Deuxième édition.Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    20.
    Cancer et traitement Электронный ресурс Domicile ou hôpital : le choix du patient / by Marie-Frédérique Bacqué

    by Bacqué, Marie-Frédérique | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2006Online access: Click here to access online Availability: No items available :
    21.
    Techniques virales avancées Электронный ресурс by Éric Filiol.

    by Filiol, Éric | SpringerLink (Online service).

    Series: Collection IRISSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    22.
    Revision of Loose Femoral Prostheses Электронный ресурс With a Stem System Based on the "Press-Fit" Principle: A Concept and a System of Implants: A Method and Its Results / edited by Pierre Le Béguec, Hans-Peter Sieber.

    by Le Béguec, Pierre | Sieber, Hans-Peter | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    23.
    Une politique mondiale pour Nourrir le monde Электронный ресурс

    by Pisani, Edgard | Lebiez, Marc | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    24.
    Échographie de contraste Электронный ресурс Méthodologie et applications cliniques / by François Tranquart, Jean-Michel Correas, Ayache Bouakaz.

    by Tranquart, François | Bouakaz, Ayache | Correas, Jean-Michel | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    25.
    L’esprit de l’aiguille Электронный ресурс L’apport du Yi Jing Г  la pratique de l’acupuncture / by Michel Vinogradoff.

    by Vinogradoff, Michel | SpringerLink (Online service).

    Series: Médecines d’Asie: Savoirs et PratiqueSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2006Online access: Click here to access online Availability: No items available :
    26.
    Les fonctions sphinctériennes Электронный ресурс by Gerard Amarenco, Alex Chantraine.

    by Amarenco, Gerard | Chantraine, Alex | SpringerLink (Online service).

    Series: Collection de Academie Europeenne De Medecine De ReadaSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    27.
    Les techniques de monitorage hémodynamique en réanimation Электронный ресурс by Jean-Louis Teboul, Daniel Backer.

    by Teboul, Jean-Louis | Backer, Daniel | SpringerLink (Online service).

    Series: Le point surSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    28.
    Raisonnements divins Электронный ресурс Quelques démonstrations mathématiques particulièrement élégantes / by Martin Aigner, Günter M. Ziegler.

    by Aigner, Martin | Ziegler, Günter M | SpringerLink (Online service).

    Edition: Deuxieme éditionSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    29.
    Génétique statistique Электронный ресурс by Stephan Morgenthaler ; edited by Yadolah Dodge, Christian Genest, Marc Hallin, Ludovic Lebart, Stephan Morgenthaler, Gilbert Saporta.

    by Morgenthaler, Stephan | Dodge, Yadolah | Genest, Christian | Hallin, Marc | Lebart, Ludovic | Morgenthaler, Stephan | Saporta, Gilbert | SpringerLink (Online service).

    Series: Statistique et probabilitès appliquèesSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    30.
    Research in Interactive Design Электронный ресурс by Xavier Fischer, Daniel Coutellier.

    by Fischer, Xavier | Coutellier, Daniel | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    31.
    Atlas de pathologie thoracique Электронный ресурс by Daniel Anthoine, Jean-Claude Humbert.

    by Anthoine, Daniel | Humbert, Jean-Claude | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    32.
    Formal Modeling and Analysis of Timed Systems (vol. # 4202) Электронный ресурс 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings edited by Eugene Asarin, Patricia Bouyer.

    by Asarin, Eugene | Bouyer, Patricia | 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 :
    33.
    SDL 2007: Design for Dependable Systems Электронный ресурс 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed.

    by Gaudin, Emmanuel | Najm, Elie | Reed, Rick | 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 :
    34.
    Natural Language Processing and Information Systems Электронный ресурс 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings / edited by Zoubida Kedad,

    by Kedad, Zoubida | Lammari, Nadira | Métais, Elisabeth | Meziane, Farid | Rezgui, Yacine | 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 :
    35.
    Stabilization, Safety, and Security of Distributed Systems Электронный ресурс 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / edited by Toshimitsu Masuzawa, Sébastien Tixeuil.

    by Masuzawa, Toshimitsu | Tixeuil, Sébastien | 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 :
    36.
    Radiologie interventionnelle des artГЁres rГ©nales Электронный ресурс by Jean-Paul Beregi.

    by Beregi, Jean-Paul | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    37.
    Optimisation appliquée Электронный ресурс by Yadolah Dodge, Sylvie Gonano-Weber, Jean-Pierre Renfer.

    by Dodge, Yadolah | Gonano-Weber, Sylvie | Renfer, Jean-Pierre | SpringerLink (Online service).

    Series: Statistique et probabilitès appliquèesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2005Online access: Click here to access online Availability: No items available :
    38.
    La lombalgie en 2007: aspects pratiques Электронный ресурс by Jean-Claude Goussard, Samy Bendaya.

    by Goussard, Jean-Claude | Bendaya, Samy | SpringerLink (Online service).

    Series: Abord cliniqueSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    39.
    Rehabilitation and palliation of cancer patients Электронный ресурс Patient care / by Hermann Delbrück.

    by Delbrück, Hermann | SpringerLink (Online service).

    Series: Collection de L’Académie Européenne de Médecine de RéadaptationSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    40.
    Le dépistage du cancer bronchique : de l’espoir à la réalité Электронный ресурс by Marc Taulelle, Étienne Lemarié

    by Taulelle, Marc | Lemarié, Étienne | SpringerLink (Online service).

    Series: Dépistage et cancerSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2005Online access: Click here to access online Availability: No items available :
    41.
    Homocysteine Электронный ресурс Related Vitamins and Neuropsychiatric Disorders

    by Bolander-Gouaille, Christina | Bottiglieri, Teodoro | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2007Online access: Click here to access online Availability: No items available :
    42.
    Vocational Rehabilitation Электронный ресурс by Charles Gobelet, Franco Franchignoni.

    by Gobelet, Charles | Franchignoni, Franco | SpringerLink (Online service).

    Series: Collection de L’Académie Européenne de Médecine de RéadaptationSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    43.
    Computer viruses: from theory to applications Электронный ресурс by Eric Filiol.

    by Filiol, Eric | SpringerLink (Online service).

    Series: Collection IRISSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2005Online access: Click here to access online Availability: No items available :
    44.
    Autoformation et aide au diagnostic en hГ©matologie avec le logiciel ADH Электронный ресурс by Michel Arock, Gilbert Chemla, Jean-Paul Chemla.

    by Arock, Michel | Chemla, Gilbert | Chemla, Jean-Paul | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2008Online access: Click here to access online Availability: No items available :
    45.
    Le choix bayésien Электронный ресурс Principes et pratique / by Christian P. Robert.

    by Robert, Christian P | SpringerLink (Online service).

    Series: Statistique et probabilitès appliquèesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2006Online access: Click here to access online Availability: No items available :
    46.
    La marche de l’infirme moteur cérébral enfant et adulte Электронный ресурс by Jean-Claude Bernard.

    by Bernard, Jean-Claude | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2005Online access: Click here to access online Availability: No items available :
    47.
    Research in Interactive Design Электронный ресурс Proceedings of Virtual Concept 2005 / by Xavier Fischer, Daniel Coutellier.

    by Fischer, Xavier | Coutellier, Daniel | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, 2006Online access: Click here to access online Availability: No items available :
    48.
    Reconstruction de l'avant-pied Электронный ресурс by Louis Samuel Barouk, Pierre Barouk.

    by Samuel Barouk, Louis | Barouk, Pierre | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2006Online access: Click here to access online Availability: No items available :
    49.
    TraitГ© des infections et pathologies gГ©nitales Г  papillomavirus Электронный ресурс by Joseph Monsonego.

    by Monsonego, Joseph | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Paris : Springer-Verlag France, Paris, 2007Online access: Click here to access online Availability: No items available :
    50.
    Verification, Model Checking, and Abstract Interpretation (vol. # 3385) Электронный ресурс 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot.

    by Cousot, Radhia | 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., 2005Online access: Click here to access online Availability: No items available :