Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 77 results.

    1.
    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 :
    Log in to add tags Add to cart
    2.
    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 :
    Log in to add tags Add to cart
    3.
    Reliable Software Technologies – Ada-Europe 2008 Электронный ресурс 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / edited by Fabrice Kordon, Tullio Vardanega.

    by Kordon, Fabrice | Vardanega, Tullio | 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 :
    Log in to add tags Add to cart
    4.
    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 :
    Log in to add tags Add to cart
    5.
    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 :
    Log in to add tags Add to cart
    6.
    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 :
    Log in to add tags Add to cart
    7.
    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 :
    Log in to add tags Add to cart
    8.
    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 :
    Log in to add tags Add to cart
    9.
    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 :
    Log in to add tags Add to cart
    10.
    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 :
    Log in to add tags Add to cart
    11.
    Formal Methods: Foundations and Applications electronic resource 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.

    by Braga, Christiano [editor.] | Martí-Oliet, Narciso [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 :
    Log in to add tags Add to cart
    12.
    SDL 2015: Model-Driven Engineering for Smart Cities electronic resource 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed.

    by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: 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 :
    Log in to add tags Add to cart
    13.
    Theory and Practice of Model Transformations electronic resource 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer.

    by Kolovos, Dimitris [editor.] | Wimmer, Manuel [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 :
    Log in to add tags Add to cart
    14.
    Software Technologies electronic resource 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / edited by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen.

    by Holzinger, Andreas [editor.] | Cardoso, Jorge [editor.] | Cordeiro, José [editor.] | Libourel, Therese [editor.] | Maciaszek, Leszek A [editor.] | van Sinderen, Marten [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceEdition: 1st ed. 2015.Source: 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 :
    Log in to add tags Add to cart
    15.
    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 :
    Log in to add tags Add to cart
    16.
    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 :
    Log in to add tags Add to cart
    17.
    Model Driven Engineering Languages and Systems Электронный ресурс 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil.

    by Engels, Gregor | Opdyke, Bill | Schmidt, Douglas C | Weil, Frank | 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 :
    Log in to add tags Add to cart
    18.
    Model Driven Engineering Languages and Systems (vol. # 3713) Электронный ресурс 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings edited by Lionel Briand, Clay Williams.

    by Briand, Lionel | Williams, Clay | 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 :
    Log in to add tags Add to cart
    19.
    Model Driven Engineering Languages and Systems Электронный ресурс 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 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, Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter

    by Hutchison, David | Bruel, Jean-Michel | Czarnecki, Krzysztof | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Ober, Ileana | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Uhl, Axel | Vardi, Moshe Y | Völter, Markus | 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 :
    Log in to add tags Add to cart
    20.
    Reliable Software Technology - Ada-Europe 2005 Электронный ресурс 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings edited by Tullio Vardanega, Andy Wellings.

    by Vardanega, Tullio | Wellings, Andy | 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 :
    Log in to add tags Add to cart
    21.
    UML Modeling Languages and Applications Электронный ресурс <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers edited by Nuno Jardim Nunes, Alberto Rodrigues da Silva, Bran Selic, Ambrosio Tov

    by Jardim Nunes, Nuno | Rodrigues da Silva, Alberto | Selic, Bran | Toval Alvarez, Ambrosio | 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 :
    Log in to add tags Add to cart
    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 :
    Log in to add tags Add to cart
    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 :
    Log in to add tags Add to cart
    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 :
    Log in to add tags Add to cart
    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 :
    Log in to add tags Add to cart
    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 :
    Log in to add tags Add to cart
    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 :
    Log in to add tags Add to cart
    28.
    Software Engineering electronic resource International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

    by Meyer, Bertrand [editor.] | Nordio, Martin [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 :
    Log in to add tags Add to cart
    29.
    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 :
    Log in to add tags Add to cart
    30.
    Software Language Engineering electronic resource 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / edited by Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju.

    by Combemale, Benoît [editor.] | Pearce, David J [editor.] | Barais, Olivier [editor.] | Vinju, Jurgen J [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 :
    Log in to add tags Add to cart
    31.
    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 :
    Log in to add tags Add to cart
    32.
    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 :
    Log in to add tags Add to cart
    33.
    Transactions on Pattern Languages of Programming III electronic resource edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford.

    by Noble, James [editor.] | Johnson, Ralph [editor.] | Zdun, Uwe [editor.] | Wallingford, Eugene [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 :
    Log in to add tags Add to cart
    34.
    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 :
    Log in to add tags Add to cart
    35.
    Early Aspects: Current Challenges and Future Directions Электронный ресурс 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers / edited by Ana Moreira, John Grundy.

    by Moreira, Ana | Grundy, John | 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 :
    Log in to add tags Add to cart
    36.
    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 :
    Log in to add tags Add to cart
    37.
    Models in Software Engineering Электронный ресурс Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / edited by Thomas Kühne

    by Kühne, Thomas | 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 :
    Log in to add tags Add to cart
    38.
    Transactions on Aspect-Oriented Software Development IV Электронный ресурс edited by Awais Rashid, Mehmet Aksit.

    by Rashid, Awais | Aksit, Mehmet | 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 :
    Log in to add tags Add to cart
    39.
    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 :
    Log in to add tags Add to cart
    40.
    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 :
    Log in to add tags Add to cart
    41.
    Reliable Software Technologies - Ada Europe 2007 Электронный ресурс 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings edited by Nabil Abdennahder, Fabrice Kordon

    by Abdennahder, Nabil | Kordon, Fabrice | 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 :
    Log in to add tags Add to cart
    42.
    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 :
    Log in to add tags Add to cart
    43.
    Generative Programming and Component Engineering Электронный ресурс 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings edited by Robert Glück, Michael Lowry.

    by Glück, Robert | Lowry, Michael | 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 :
    Log in to add tags Add to cart
    44.
    Embedded Systems Design Электронный ресурс The ARTIST Roadmap for Research and Development edited by Bruno Bouyssounouse, Joseph Sifakis.

    by Bouyssounouse, Bruno | Sifakis, Joseph | 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 :
    Log in to add tags Add to cart
    45.
    Reliable Software Technologies -- Ada-Europe 2006 Электронный ресурс 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings edited by Luís Miguel Pinho, Michael González H

    by Pinho, Luís Miguel | González Harbour, Michael | 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 :
    Log in to add tags Add to cart
    46.
    Satellite Events at the MoDELS 2005 Conference Электронный ресурс MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers edit

    by Bruel, Jean-Michel | 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 :
    Log in to add tags Add to cart
    47.
    Transactions on Aspect-Oriented Software Development I Электронный ресурс edited by Awais Rashid, Mehmet Aksit.

    by Rashid, Awais | Aksit, Mehmet | 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 :
    Log in to add tags Add to cart
    48.
    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 :
    Log in to add tags Add to cart
    49.
    Generative and Transformational Techniques in Software Engineering Электронный ресурс International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers edited by Ralf Lämmel, João Saraiva, Joost Visser.

    by Lämmel, Ralf | Saraiva, João | Visser, Joost | 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 :
    Log in to add tags Add to cart
    50.
    Model Driven Engineering Languages and Systems (vol. # 4199) Электронный ресурс 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio.

    by Nierstrasz, Oscar | Harel, David | Reggio, Gianna | Whittle, Jon | 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 :
    Log in to add tags Add to cart