Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
разработка по
Связанные издания:
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Development: Revised Selected Papers/1st International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 2018
Software Engineering Education in the Modern Age: Revised Lectures/Software Education and Training Sessions at the International Conference on Software Engineering,ICSE 2005,St.Louis,MO,USA,May 2005
Software Engineering for Self-Adaptive Systems III: Assurances: Revised Selected and Invited Papers/ International Seminar, Dagstuhl Castle, Germany, December 2013
Software Engineering in Health Care: Revised Selected Papers/4th International Symposium, FHIES 2014 and 6th International Workshop, SEHC 2014, Washington,DC,USA, July 2014
Software Engineering: Revised Tutoreal Lectures/ International Summer Schools, ISSSE 2009-2011, Salerno, Italy
Software Process and Product Measurement: Proc./ International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 2009
Software Process Improvement: Proc./14th European Conference, EuroSPI 2007. Potsdam, Germany, September 2007
Software Reuse: Bridging with Social-Awareness: Proc./15th International Conference, ICSR 2016, Limassol, Cyprus, June 2016
Software Reuse for Dynamic Systems in the Cloud and Beyond: Proc./14th International Conference, ICSR 2015, Miami,FL,USA, January 2015
Software Technologies: Applications and Foundations: Revised Selected Papers/STAF 2018 Collocated Workshops, Toulouse, France, June 2018
Software Technology: Methods and Tools: Proc./51st International Conference, TOOLS 2019, Innopolis, Russia, October 2019
Spatial Cognition X: Revised Selected Papers/13th Biennial Conference, KogWis 2016, Bremen, Germany, September 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia,PA,USA, August 2016
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
sql и модульное тестирование
Static Analysis: Proc./21st International Symposium, SAS 2014, Munich, Germany, September 2014
Static Analysis: Proc./25th International Symposium, SAS 2018
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/3rd International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 2013
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 2016
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Systen Analysis and Modeling: Languages, Methods, and Tools for Industry 4.0: Proc./11th International Conference, SAM 2019, Munich, Germany, September 2019
Task Models and Diagrams for User Interface Design: Revised Selected Papers/8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 2009
Testing - Practice and Research Techniques: Proc./5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 2010
Testing Software and Systems: Proc./30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 2018
Tests and Proofs: Proc./11th International Conference, TAP 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Tests and Proofs: Proc./12th International Conference, TAP 2018 Held as Part of STAF 2018, Toulouse, France, June 2018
Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019
Tests and Proofs: Proc./14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 2020
The Future of Digital Democracy: An Interdisciplinary Approach
Theory and Applications of Models of Computation: Proc./15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 2019
Theory and Applications of Satisfiability Testing - SAT 2017: Proc./20th International Conference, Melbourn,VIC,Australia, August 2017
Theory and Applications of Satisfiability Testing - SAT 2018: Proc./21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
Theory and Practice of Model Transformations: Proc./7th International Conference, ICMT 2014 Held as Part of STAF 2014, York, UK, July 2014
Theory and Practice of Model Transformations: Proc./Second International Conference, ICMT 2009. Zurich, Switzerland, June 2009
The Semantic Web, Part I: Proc./14th International Conference, ESWC 2017, Portoroz, Slovenia, May 2017
The Semantic Web: Proc./15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 2018
The Semantic Web: Proc./16th International Conference, ESWC 2019, Portoroz, Slovenia, June 2019
Third Conference of Program Designers: Budapest, Hungary, July 1987
Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019
Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./23rd International Conference, TACAS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Tools and Algorithms for the Construction and Analysis of Systems: Proc./18th International Conference, TACAS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Tools for Practical Software Verification: Revised Tutorial Lectures/LASER, International Summer School 2011, Elba Island, Italy
Towards a Service-Based Internet: Proc./Third European Conference, ServiceWave 2010, Ghent, Belgium, December 2010
Transactions on Aspect-Oriented Software Development II
Transactions on Aspect-Oriented Software Development V
Transactions on Aspect-Oriented Software Development VII
Transactions on Aspect-Oriented Software Development XI
Transactions on Computational Collective Intelligence XVI
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
следующая ›
последняя »