Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 8641 results.

    1851.
    Rigid Body Dynamics Algorithms Электронный ресурс by Roy Featherstone.

    by Featherstone, Roy | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    1852.
    Advances in Information Technologies for Electromagnetics Электронный ресурс edited by Luciano Tarricone, Alessandra Esposito.

    by Tarricone, Luciano | Esposito, Alessandra | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
    1853.
    A Roadmap for Formal Property Verification Электронный ресурс by Pallab DasGupta.

    by DasGupta, Pallab | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
    1854.
    Signal Processing Techniques for Knowledge Extraction and Information Fusion Электронный ресурс edited by Danilo Mandic, Martin Golz, Anthony Kuh, Dragan Obradovic, Toshihisa Tanaka.

    by Mandic, Danilo | Golz, Martin | Kuh, Anthony | Obradovic, Dragan | Tanaka, Toshihisa | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    1855.
    Production Systems Engineering Электронный ресурс .

    by Meerkov, Semyon M | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer-Verlag US, 2009Online access: Click here to access online Availability: No items available :
    1856.
    It's ONLY Rocket Science Электронный ресурс An Introduction in Plain English / by Lucy Rogers.

    by Rogers, Lucy | SpringerLink (Online service).

    Series: Astronomers' UniverseSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: New York, NY : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    1857.
    Wireless Transceiver Systems Design Электронный ресурс by Wolfgang Eberle.

    by Eberle, Wolfgang | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    1858.
    Integration in Respiratory Control Электронный ресурс From Genes to Systems / edited by Marc J. Poulin, Richard J. A. Wilson.

    by Poulin, Marc J | Wilson, Richard J. A | SpringerLink (Online service).

    Series: Advances in Experimental Medicine and BiologySource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: New York, NY : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    1859.
    IUTAM Symposium on Multiscale Modelling of Damage and Fracture Processes in Composite Materials Электронный ресурс Proceedings of the IUTAM Symposium held in Kazimierz Dolny, Poland, 23–27 May 2005 / edited by Tomasz Sadowski.

    by Sadowski, Tomasz | SpringerLink (Online service).

    Series: SOLID MECHANICS AND ITS APPLICATIONSSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
    1860.
    Emerging Nanotechnologies Электронный ресурс Test, Defect Tolerance, and Reliability / edited by Mohammad Tehranipoor.

    by Tehranipoor, Mohammad | SpringerLink (Online service).

    Series: Frontiers in Electronic TestingSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    1861.
    Analytical and Hybrid Methods in the Theory of Slot-Hole Coupling of Electrodynamic Volumes Электронный ресурс by Sergey L. Berdnik, Yuriy M. Penkin, Victor A. Katrich, Mikhail V. Nesterenko.

    by Berdnik, Sergey L | Katrich, Victor A | Nesterenko, Mikhail V | Penkin, Yuriy M | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: New York, NY : Springer-Verlag New York, 2008Online access: Click here to access online Availability: No items available :
    1862.
    Optics of Biological Particles Электронный ресурс edited by Alfons Hoekstra, Valeri Maltsev, Gorden Videen.

    by Hoekstra, Alfons | Maltsev, Valeri | Videen, Gorden | SpringerLink (Online service).

    Series: NATO Science SeriesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    1863.
    Device and Materials Modeling in PEM Fuel Cells Электронный ресурс edited by C. E. Ascheron, Stephen J. Paddison, Keith S. Promislow.

    by Ascheron, C. E | Paddison, Stephen J | Promislow, Keith S | SpringerLink (Online service).

    Series: Topics in Applied PhysicsSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available :
    1864.
    Ordinary and Partial Differential Equations Электронный ресурс With Special Functions, Fourier Series, and Boundary Value Problems / by Ravi P. Agarwal, Donal O’Regan ; edited by Sheldon Axler, Vincenzo Capasso, Carles Casacuberta, Angus J. Macintyre, K.A. Ribet, Claude Sabbah, Endre Süli, Wojbor Andrzej Woyczynski.

    by Agarwal, Ravi P | Axler, Sheldon | Capasso, Vincenzo | Casacuberta, Carles | Macintyre, Angus J | O’Regan, Donal | Ribet, K. A | Sabbah, Claude | Süli, Endre | Woyczynski, Wojbor Andrzej | SpringerLink (Online service).

    Series: UniversitextSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available :
    1865.
    Thermal Energy Storage for Sustainable Energy Consumption Электронный ресурс Fundamentals, Case Studies and Design / edited by Halime Ö. Paksoy.

    by Paksoy, Halime Ö | SpringerLink (Online service).

    Series: NATO Science Series, Mathematics, Physics and ChemistrySource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    1866.
    Game Theoretic Risk Analysis of Security Threats Электронный ресурс .

    by Azaiez | SpringerLink (Online service).

    Series: International Series in Operations Research & Management ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer-Verlag US, 2009Online access: Click here to access online Availability: No items available :
    1867.
    Securing Emerging Wireless Systems Электронный ресурс Lower-layer Approaches / .

    by Zhang, Yanyong | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer-Verlag US, 2009Online access: Click here to access online Availability: No items available :
    1868.
    Full-Chip Nanometer Routing Techniques Электронный ресурс by Tsung-Yi Ho, Yao-Wen Chang, Sao-Jie Chen.

    by Ho, Tsung-Yi | Chang, Yao-Wen | Chen, Sao-Jie | SpringerLink (Online service).

    Series: Analog Circuits And Signal Processing SeriesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    1869.
    Forces, Growth and Form in Soft Condensed Matter: At the Interface between Physics and Biology Электронный ресурс edited by A. T. Skjeltorp, A. V. Belushkin.

    by Skjeltorp, A. T | Belushkin, Alexander V | SpringerLink (Online service).

    Series: NATO Science Series II: Mathematics, Physics and ChemistrySource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005Online access: Click here to access online Availability: No items available :
    1870.
    Mathematical Modeling of Complex Biological Systems Электронный ресурс A Kinetic Theory Approach / by Abdelghani Bellouquid, Marcello Delitala.

    by Bellouquid, Abdelghani | Delitala, Marcello | SpringerLink (Online service).

    Series: Modeling and Simulation in Science, Engineering and TechnologySource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Birkhäuser Boston, 2006Online access: Click here to access online Availability: No items available :
    1871.
    A First Course in Statistics for Signal Analysis Электронный ресурс by Wojbor A. Woyczyński

    by Woyczyński, Wojbor A | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Birkhäuser Boston, 2006Online access: Click here to access online Availability: No items available :
    1872.
    Advances in Ranking and Selection, Multiple Comparisons, and Reliability Электронный ресурс Methodology and Applications / edited by N. Balakrishnan, H. N. Nagaraja, N. Kannan.

    by Balakrishnan, N | Kannan, N | Nagaraja, H. N | SpringerLink (Online service).

    Series: Statistics for Industry and TechnologySource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Birkhäuser Boston, 2005Online access: Click here to access online Availability: No items available :
    1873.
    Perpendicular Magnetic Recording Электронный ресурс by Sakhrat Khizroev, Dmitri Litvinov.

    by Khizroev, Sakhrat | Litvinov, Dmitri | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005Online access: Click here to access online Availability: No items available :
    1874.
    LAN-ESD Co-Design for Fully Integrated CMOS Wireless Receivers Электронный ресурс by Paul Leroux, Michiel Steyaert.

    by Leroux, Paul | Steyaert, Michiel | SpringerLink (Online service).

    Series: The International Series in Engineering and Computer Science, Analog Circuits and Signal ProcessingSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer, 2005Online access: Click here to access online Availability: No items available :
    1875.
    Proceedings of the Conference on Applied Mathematics and Scientific Computing Электронный ресурс edited by Zlatko Drmač, Miljenko Marušić, Zvonimir Tutek.

    by Drmač, Zlatko | Marušić, Miljenko | Tutek, Zvonimir | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
    1876.
    IUTAM Symposium on Computational Methods in Contact Mechanics Электронный ресурс Proceedings of the IUTAM Symposium held in Hannover, Germany, November 5–8, 2006 / edited by Peter Wriggers, Udo Nackenhorst.

    by Wriggers, Peter | Nackenhorst, Udo | SpringerLink (Online service).

    Series: IUTAM BookseriesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    1877.
    Algorithm Collections for Digital Signal Processing Applications Using Matlab Электронный ресурс by E.S. Gopi.

    by Gopi, E.S | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    1878.
    Automatic Quantum Computer Programming Электронный ресурс A Genetic Programming Approach / edited by Lee Spector.

    by Spector, Lee | SpringerLink (Online service).

    Series: Genetic ProgrammingSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, Inc., 2007Online access: Click here to access online Availability: No items available :
    1879.
    Data and Applications Security XIX Электронный ресурс 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings edited by Sushil Jajodia, Duminda Wijesekera.

    by Jajodia, Sushil | Wijesekera, Duminda | 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 :
    1880.
    Advanced Bioimaging Technologies in Assessment of the Quality of Bone and Scaffold Materials Электронный ресурс Techniques and Applications / edited by Ling Qin, Harry K. Genant, James F. Griffith, Kwok Sui Leung.

    by Qin, Ling | Genant, Harry K | Griffith, James F | Leung, Kwok Sui | SpringerLink (Online service).

    Source: 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 :
    1881.
    Cooperative Systems Электронный ресурс Control and Optimization / edited by Don Grundel, Robert Murphey, Panos Pardalos, Oleg Prokopyev.

    by Grundel, Don | Murphey, Robert | Pardalos, Panos | Prokopyev, Oleg | SpringerLink (Online service).

    Series: Lecture Notes in Economics and Mathematical SystemsSource: 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 :
    1882.
    On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (vol. # 4278) Электронный ресурс OTM Confederated International Conferences and Posters, AWeSOMe, CAMS,COMINF,IS,KSinBIT,MIOS-CIAO,MONET,OnToContent,ORM,PerSys,OTM Academ

    by Meersman, Robert | Herrero, Pilar | Tari, Zahir | 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 :
    1883.
    Grid and Cooperative Computing - GCC 2005 Электронный ресурс 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings edited by Geoffrey C. Fox, Hai Zhuge.

    by Fox, Geoffrey C | Zhuge, Hai | 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 :
    1884.
    Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Электронный ресурс Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings edited by Gérard Subsol.

    by Subsol, Gérard | 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 :
    1885.
    Automatic Differentiation: Applications, Theory, and Implementations Электронный ресурс edited by Martin Bücker, George Corliss, Uwe Naumann, Paul Hovland, Boyana Norris.

    by Bücker, Martin | Corliss, George | Hovland, Paul | Naumann, Uwe | Norris, Boyana | SpringerLink (Online service).

    Series: Lecture Notes in Computational Science and EngineeringSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer, 2006Online access: Click here to access online Availability: No items available :
    1886.
    Formal Methods for Components and Objects (vol. # 3657) Электронный ресурс Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures edited by Marcello M. Bonsangue, Frank S. de Boer, Willem-

    by Bonsangue, Marcello M | de Boer, Frank S | de Roever, Willem-Paul | Graf, Susanne | 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 :
    1887.
    Rigorous Engineering of Fault-Tolerant Systems Электронный ресурс edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna.

    by Butler, Michael | Jones, Cliff | Romanovsky, Alexander | Troubitsyna, Elena | 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 :
    1888.
    FLOMANIA - A European Initiative on Flow Physics Modelling Электронный ресурс Results of the European-Union funded project, 2002 - 2004 / edited by Werner Haase, Bertrand Aupoix, Ulf Bunge, Dieter Schwamborn.

    by Haase, Werner | Aupoix, Bertrand | Bunge, Ulf | Schwamborn, Dieter | SpringerLink (Online service).

    Series: Notes on Numerical Fluid Mechanics and Multidisciplinary Design (NNFM)Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    1889.
    Carbon Электронный ресурс The Future Material for Advanced Technology Applications edited by Giacomo Messina, Saveria Santangelo.

    by Messina, Giacomo | Santangelo, Saveria | SpringerLink (Online service).

    Series: Topics in Applied PhysicsSource: 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 :
    1890.
    Qualitative Methods in Inverse Scattering Theory Электронный ресурс An Introduction / by Fioralba Cakoni, David Colton.

    by Cakoni, Fioralba | Colton, David | SpringerLink (Online service).

    Series: Interaction of Mechanics and MathematicsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    1891.
    Discrete Element Analysis Methods of Generic Differential Quadratures Электронный ресурс by Chang-New Chen.

    by Chen, Chang-New | SpringerLink (Online service).

    Series: Lecture Notes in Applied and Computational MechanicsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    1892.
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 Электронный ресурс 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings edited by Farn Wang.

    by Wang, Farn | 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 :
    1893.
    Correct Hardware Design and Verification Methods Электронный ресурс 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrГјcken, Germany, October 3-6, 2005, Proceedings edited by Dominique Borrione, Wolfgang Paul.

    by Borrione, Dominique | Paul, Wolfgang | 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 :
    1894.
    Highly Sensitive Optical Receivers Электронный ресурс by Kerstin Schneider, Horst Zimmermann.

    by Schneider, Kerstin | Zimmermann, Horst | SpringerLink (Online service).

    Series: Springer Series in ADVANCED MICROELECTRONICSSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    1895.
    Management of Multimedia Networks and Services Электронный ресурс 8th International Conference on Management of Multimedia Networks and Services, MMNS 2005, Barcelona, Spain, October 24-26, 2005, Proceedings edited by Jordi Dalmau Royo,

    by Dalmau Royo, Jordi | Hasegawa, Go | 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 :
    1896.
    Theory of Bridge Aerodynamics Электронный ресурс by Einar N. Strømmen

    by Strømmen, Einar N | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer, 2006Online access: Click here to access online Availability: No items available :
    1897.
    Power-Aware Computer Systems (vol. # 3471) Электронный ресурс 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers edited by Babak Falsafi, T.N. Vijaykumar.

    by Falsafi, Babak | Vijaykumar, T. N | 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 :
    1898.
    Communications and Multimedia Security (vol. # 4237) Электронный ресурс 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings edited by Herbert Leitold, Evangelos Markatos.

    by Leitold, Herbert | Markatos, Evangelos | 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 :
    1899.
    Smart Sensing and Context Электронный ресурс First European Conference, EuroSSC 2006, Enschede, Netherlands, October 25-27, 2006, Proceedings edited by Paul Havinga, Maria Lijding, Nirvana Meratnia, Wegdam Maarten.

    by Havinga, Paul | Lijding, Maria | Maarten, Wegdam | Meratnia, Nirvana | 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 :
    1900.
    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 :