Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 62 results.

    1.
    Rapid Integration of Software Engineering Techniques (vol. # 3943) Электронный ресурс Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers edited by Nicolas Guelfi, Anthony Savi

    by Guelfi, Nicolas | Savidis, Anthony | 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.
    Computer Safety, Reliability, and Security (vol. # 4166) Электронный ресурс 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings edited by Janusz Górski

    by Górski, Janusz | 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.
    Agile Processes in Software Engineering and Extreme Programming Электронный ресурс 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings / edited by Giulio Concas, Ernesto Damiani, et al.

    by Concas, Giulio | Damiani, Ernesto | Scotto, Marco | Succi, Giancarlo | 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.
    Formal Approaches to Software Testing and Runtime Verification Электронный ресурс First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers edited by Klaus Havelund,

    by Havelund, Klaus | Núñez, Manuel | Rosu, Grigore | Wolff, Burkhart | 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 :
    5.
    Rapid Integration of Software Engineering Techniques Электронный ресурс Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers / edited by Nicolas Guelfi, Didier Buchs.

    by Guelfi, Nicolas | Buchs, Didier | 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 :
    6.
    Testing of Software and Communicating Systems Электронный ресурс 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko

    by Petrenko, Alexandre F | Grieskamp, Wolfgang | Tretmans, Jan | Veanes, Margus | 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 :
    7.
    Requirements Engineering: Foundation for Software Quality Электронный ресурс 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings / edited by Pete Sawyer, Barbara Paech, Patrick Heymans.

    by Sawyer, Pete | Heymans, Patrick | Paech, Barbara | 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 :
    8.
    Rapid Integration of Software Engineering Techniques (vol. # 3475) Электронный ресурс First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers edited by Nicolas Guelfi.

    by Guelfi, Nicolas | 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 :
    9.
    ECOOP 2005 - Object-Oriented Programming Электронный ресурс 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings edited by Andrew Black.

    by Black, Andrew | 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 :
    10.
    ECOOP 2008 – Object-Oriented Programming Электронный ресурс 22nd European Conference Paphos, Cyprus, July 7-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, Jan Vitek.

    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 | Vitek, Jan | 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 :
    11.
    Object-Oriented Technology. ECOOP 2007 Workshop Reader Электронный ресурс ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports / edited by Michael Cebulla.

    by Cebulla, Michael | 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 :
    12.
    FM 2006: Formal Methods Электронный ресурс 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.

    by Misra, Jayadev | Nipkow, Tobias | Sekerinski, Emil | 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 :
    13.
    FM 2005: Formal Methods Электронный ресурс International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki.

    by Fitzgerald, John | Hayes, Ian J | Tarlecki, Andrzej | 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 :
    14.
    Model Driven Architecture Электронный ресурс European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and LinkГ¶ping, Sweden, June 10-11, 2004, Revised Selected Papers edi

    by Aksit, Mehmet | Assmann, Uwe | Rensink, Arend | 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 :
    15.
    Cryptographic Hardware and Embedded Systems - CHES 2005 Электронный ресурс 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings edited by Josyula R. Rao, Berk Sunar.

    by Rao, Josyula R | Sunar, Berk | 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 :
    16.
    Web Services and Formal Methods electronic resource 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / edited by Emilio Tuosto, Chun Ouyang.

    by Tuosto, Emilio [editor.] | Ouyang, Chun [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, 2014Online access: Click here to access online Availability: No items available :
    17.
    Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel.

    by Duddy, Keith [editor.] | Kappel, Gerti [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, 2013Online access: Click here to access online Availability: No items available :
    18.
    Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün.

    by Păsăreanu, Corina S [editor.] | Salaün, Gwen [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, 2013Online access: Click here to access online Availability: No items available :
    19.
    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 :
    20.
    Computer Safety, Reliability, and Security Электронный ресурс 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster.

    by Saglietti, Francesca | Oster, Norbert | 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 :
    21.
    FM 2014: Formal Methods electronic resource 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.

    by Jones, Cliff [editor.] | Pihlajasaari, Pekka [editor.] | Sun, Jun [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, 2014Online access: Click here to access online Availability: No items available :
    22.
    Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Gorp, Tom Ritter, Louis M. Rose.

    by Gorp, Pieter [editor.] | Ritter, Tom [editor.] | Rose, Louis M [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, 2013Online access: Click here to access online Availability: No items available :
    23.
    System Analysis and Modeling: Models and Reusability electronic resource 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher.

    by Amyot, Daniel [editor.] | Fonseca i Casas, Pau [editor.] | Mussbacher, Gunter [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, 2014Online access: Click here to access online Availability: No items available :
    24.
    Testing Software and Systems electronic resource 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / edited by Mercedes G. Merayo, Edgardo Montes Oca.

    by Merayo, Mercedes G [editor.] | Oca, Edgardo Montes [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 :
    25.
    Evaluation of Novel Approaches to Software Engineering [electronic resource] : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / edited by Leszek A. Maciaszek, Kang Zhang.

    by Maciaszek, Leszek A [editor.] | Zhang, Kang [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    26.
    Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe.

    by Maciaszek, Leszek A [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    27.
    Evaluation of Novel Approaches to Software Engineering [electronic resource] : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers / edited by Joaquim Filipe, Leszek A. Maciaszek.

    by Filipe, Joaquim [editor.] | Maciaszek, Leszek A [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    28.
    Model-Driven Engineering Languages and Systems electronic resource 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran.

    by Dingel, Juergen [editor.] | Schulte, Wolfram [editor.] | Ramos, Isidro [editor.] | Abrahão, Silvia [editor.] | Insfran, Emilio [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, 2014Online access: Click here to access online Availability: No items available :
    29.
    Theory and Practice of Model Transformations electronic resource 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings / edited by Davide Ruscio, Dániel Varró.

    by Ruscio, Davide [editor.] | Varró, Dániel [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, 2014Online access: Click here to access online Availability: No items available :
    30.
    Software Architecture electronic resource 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings / edited by Paris Avgeriou, Uwe Zdun.

    by Avgeriou, Paris [editor.] | Zdun, Uwe [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, 2014Online access: Click here to access online Availability: No items available :
    31.
    Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke.

    by Moreira, Ana [editor.] | Schätz, Bernhard [editor.] | Gray, Jeff [editor.] | Vallecillo, Antonio [editor.] | Clarke, Peter [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, 2013Online access: Click here to access online Availability: No items available :
    32.
    Model Driven Architecture – Foundations and Applications Электронный ресурс 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / edited by Ina Schieferdecker, Alan Hartman.

    by Schieferdecker, Ina | Hartman, Alan | 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 :
    33.
    FM 2008: Formal Methods Электронный ресурс 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere.

    by Cuellar, Jorge | Maibaum, Tom | Sere, Kaisa | 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 :
    34.
    Runtime Verification Электронный ресурс 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran

    by Sokolsky, Oleg | Taşıran, Serdar | 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 :
    35.
    Object-Oriented Technology. ECOOP 2006 Workshop Reader Электронный ресурс ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel.

    by Südholt, Mario | Consel, Charles | 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.
    Model Driven Architecture- Foundations and Applications Электронный ресурс Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings edited by David Akehurst, Regis Vogel, Richard Paige.

    by Akehurst, David | Paige, Richard F | Vogel, Regis | 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., 2007Online access: Click here to access online Availability: No items available :
    37.
    ECOOP 2007 – Object-Oriented Programming Электронный ресурс 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst.

    by Ernst, Erik | 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 :
    38.
    Computer Safety, Reliability, and Security Электронный ресурс 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 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, Michael D. Harrison, Mark-Alexander Sujan.

    by Hutchison, David | Harrison, Michael D | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Sujan, Mark-Alexander | 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 :
    39.
    Scenarios: Models, Transformations and Tools Электронный ресурс International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers edited by Stefan Leue, Tarja J. Systä

    by Leue, Stefan | Systä, Tarja J | 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 :
    40.
    SDL 2005: Model Driven Электронный ресурс 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings edited by Andreas Prinz, Rick Reed, Jeanne Reed.

    by Prinz, Andreas | Reed, Jeanne | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
    41.
    Formal Approaches to Software Testing (vol. # 3395) Электронный ресурс 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers edited by Jens Grabowski, Brian Nielsen.

    by Grabowski, Jens | Nielsen, Brian | 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 :
    42.
    Model-Driven Architecture - Foundations and Applications Электронный ресурс Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings edited by Jos Warmer.

    by Rensink, Arend | Warmer, 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 :
    43.
    Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) Электронный ресурс 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo

    by Abrahamsson, Pekka | Marchesi, Michele | Succi, Giancarlo | 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 :
    44.
    Testing of Software and Communicating Systems Электронный ресурс 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / edited by Kenji Suzuki, Teruo Hig

    by Suzuki, Kenji | Hasegawa, Toru | Higashino, Teruo | Ulrich, Andreas | 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 :
    45.
    Requirements Engineering: Foundation for Software Quality Электронный ресурс 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings / edited by Barbara Paech, Colette Rolland.

    by Paech, Barbara | Rolland, Colette | 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 :
    46.
    Cryptographic Hardware and Embedded Systems - CHES 2007 Электронный ресурс 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede.

    by Paillier, Pascal | Verbauwhede, Ingrid | 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 :
    47.
    Formal Methods and Testing Электронный ресурс An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.

    by Hierons, Robert M | Bowen, Jonathan P | Harman, Mark | 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 :
    48.
    Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) Электронный ресурс 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings edited by Hubert Baumeister, Mike Holcombe, Michele Marc

    by Baumeister, Hubert | Holcombe, Mike | Marchesi, Michele | 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 :
    49.
    Modelling Foundations and Applications electronic resource 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / edited by Jordi Cabot, Julia Rubin.

    by Cabot, Jordi [editor.] | Rubin, Julia [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, 2014Online access: Click here to access online Availability: No items available :
    50.
    Engineering Secure Future Internet Services and Systems electronic resource Current Research / edited by Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli.

    by Heisel, Maritta [editor.] | Joosen, Wouter [editor.] | Lopez, Javier [editor.] | Martinelli, Fabio [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, 2014Online access: Click here to access online Availability: No items available :