Вы здесь

Главная

разработка по

Связанные издания:

Modelling Foundations and Applications: Proc./7th European Conference, ECMFA 2011, Birmingham, UK, June 2011
Modelling Foundations and Applications: Proc./8th European Conference, ECMFA 2012, Kgs.Lyngby, Denmark, July 2012
Models and Software Model Checking of a Distributed File Replication System
Models in Software Engineering: Reports and Revised Selected Papers/Workshops and Symposia at MoDELS 2007. Nashville, TN, USA, September/October 2007
Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2009, Denver,CO,USA, October 2009
Multi-Agent Based Simulation XVIII: Revised Selected Papers/ International Workshop, MABS 2017. Sao Paulo, Brazil, May 2017
Multi-Agent Systems and Agreement Technologies: Revised Selected Papers/15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 2017
Multi-Agent Systems: Revised Selected Papers/16th European Conference, EUMAS 2018, Bergen, Norway, December 2018
Multivariate Network Visualization: Revised Discussions/ Dagstuhl Seminar #13201, Dagstuhl Castle, Germany, May 2013
NASA Formal Methods: Proc./12th International Symposium, NFM 2020, Moffett Field,CA,USA, May 2020
NASA Formal Methods: Proc./5th International Symposium, NFM 2013, Moffett Field,CA,USA, May 2013
NASA Formal Methods: Proc./6th International Symposium, NFM 2014, Houston,TX,USA, April 2014
Networked Systems: Proc./5th International Conference, NETYS 2017, Marrakech, Morocco, May 2017
Networked Systems: Proc./9th International Conference, NETYS 2021, Virtual Event, May 2021
Networked Systems: Revised Selected Papers/6th International Conference, NETYS 2018, Essaouira, Morocco, May 2018
New Opportunities for Software Reuse: Proc./17th International Conference, ICSR 2018, Madrid, Spain, May 2018
Novosibirsk programming school: a historical overview
Object-Oriented Technology: ECOOP 2007 Workshop Reader: Final Reports/ECOOP 2007 Workshops. Berlin, Germany, July 2007
Objects and Databases: Proc./Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 2010
Objects, Models, Components, Patterns: Proc./50th International Conference, TOOLS 2012, Prague, Czech Republic, May 2012
Online Communities and Social Computing: Proc./Third International Conference, OCSC 2009 Held as Part of HCI International 2009. San Diego, CA, USA, July 2009
On the Integration of UML and Petri Nets in Software Development
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, Part I: Proc./OTM Confederated Intl Conf. CoopIS,DOA,GADA and ODBASE 2006, Montpellier,France,October 2006
On the Move to Meaningful Internet Systems: OTM 2017 Workshops: Revised Selected Papers/ Confederated International Workshops EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 2017
OpenSHMEM and Related Technologies: Open SHMEM in the Era of Extreme Heterogeneity: Revised Selected Papers/5th Workshop, OpenSHMEM 2018, Baltimore,MD,USA, August 2018
Parallel Computing Technologies: Proc./14th International Conference, Nizhny Novgorod, Russia, September 2017
Perspectives of System Informatics: Revised Selected Papers/10th International Andrei Ershov Informatics Conference, PSI 2015 in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 2015
Perspectives of System Informatics: Revised Selected Papers/11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 2017
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009
Persuasive Technology: Proc./Third International Conference, PERSUASIVE 2008. Oulu, Finland, June 2008
PRIMA 2012: Principles and Practice of Multi-Agent Systems: Proc./15th International Conference, Kuching, Sarawak, Malaysia, September 2012
Principles of Modeling: Essays Dedicated to Edward A.Lee on the Occasion of His 60th Birthday
Principles of Practice in Multi-Agent Systems: Proc./12th International Conference, PRIMA 2009, Nagoya, Japan, December 2009
Product-Focused Software Process Improvement: Proc./16th International Conference, PROFES 2015, Bolzano, Italy, Dexmber 2015
Product-Focused Software Process Improvement: Proc./17th International Conference, PROFES 2016, Trondheim, Norway, November 2016
Product-Focused Software Process Improvement: Proc./18th International Conference, PROFES 2017, Innsbruck, Austria, November 2017
Product-Focused Software Process Improvement: Proc./8th International Conference, PROFES 2007. Riga, Latvia, July 2007
Programming Languages and Systems: Proc./26th European Symposium on Programming, ESOP 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Programming Languages and Systems: Proc./28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Programming Languages: Proc./16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 2012
Programming with Actors: State-of-the-Art and Research Perspectives
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of His 66.66th Birthday
Provenance and Annotation of Data and Processes: Proc./7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 2018
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 2016
Refinement Techniques in Software Engineering: Revised Lectures/1st Pernambuco Summer School on Software Engineering, PSSE 2004. Recife, Brazil, November/December 2004
Relational and Algebraic Methods in Computer Science: Proc./17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 2018
Reliable Software Technologies - Ada-Europe 2008: Proc./13th Ada-Europe International Conference. Venice, Italy, June 2008
Reliable Software Technologies - Ada-Europe 2009: Proc./14th Ada-Europe International Conference, Brest, France, June 2009
Reproducible Research in Pattern Recognition: Revised Selected Papers/2nd International Workshop, RRPR 2018, Beijing, China, August 2019
Requirements Engineering: Foundation for Software Quality: Proc./16th International Working Conference, REFSQ 2010, Essen, Germany, June/July 2010