Software engineering - Congresses.
Overview
| Works: | 251 works in 214 publications in 214 languages | |
|---|---|---|
Titles
New trends in software methodologies, tools and techniques = proceedings of the Eighth SoMeT_09 /
by:
(Language materials, printed)
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
(Language materials, printed)
Reasoning web = semantic technologies for software engineering : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010, tutorial lectures /
by:
(Language materials, printed)
Middleware 2010 = ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(Language materials, printed)
Human-centred software engineering = Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010, proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II/
by:
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation = 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I/
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, revised selected papers/
by:
(Language materials, printed)
Advances in software engineering = International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings/
by:
(Language materials, printed)
S-BPM ONE - setting the stage for subject-oriented business process management = First International Workshop, Karlsruhe, Germany, October 22, 2009, revised selected papers /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Electronic resources)
Proceedings of the ninth Workshop on Algorithm Engineering and Experiments and the fourth Workshop on Analytic Algorithmics and Combinatorics
by:
(Electronic resources)
Agile processes in software engineering and extreme programming = 13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings /
by:
(Electronic resources)
Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(Electronic resources)
Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(Electronic resources)
Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers /
by:
(Electronic resources)
Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
by:
(Electronic resources)
Data and knowledge engineering = third International conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings /
by:
(Electronic resources)
Computer applications for software engineering, disaster recovery, and business continuity = International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings /
by:
(Electronic resources)
Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Electronic resources)
Quality of software architectures = models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Electronic resources)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(Electronic resources)
Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(Language materials, printed)
Software product lines = going beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010, proceedings /
by:
(Language materials, printed)
Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings /
by:
(Language materials, printed)
Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings /
by:
(Electronic resources)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(Electronic resources)
Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
by:
(Electronic resources)
Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers /
by:
(Electronic resources)
Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
by:
(Electronic resources)
Engineering methods in the service-oriented context = 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011 : proceedings /
by:
(Electronic resources)
Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers /
by:
(Electronic resources)
System specification and design languages = selected contributions from FDL 2010 /
by:
(Electronic resources)
Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers /
by:
(Electronic resources)
Software engineering and knowledge engineering = theory and practice.. Volume 1 /
by:
(Electronic resources)
Software engineering and knowledge engineering = theory and practice.. Volume 2 /
by:
(Electronic resources)
Recent advances in computer science and information engineering.. Volume 1
by:
(Electronic resources)
Recent advances in computer science and information engineering.. Volume 2
by:
(Electronic resources)
Recent advances in computer science and information engineering.. Volume 5
by:
(Electronic resources)
Current trends in web engineering = workshops, doctoral symposium, and tutorials, held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011 : revised selected papers /
by:
(Electronic resources)
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(Electronic resources)
Recent advances in computer science and information engineering.. Volume 3
by:
(Electronic resources)
Recent advances in computer science and information engineering.. Volume 6
by:
(Electronic resources)
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.. Volume 2
by:
(Electronic resources)
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.. Volume 1
by:
(Electronic resources)
S-BPM ONE - Scientific research = 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings /
by:
(Electronic resources)
Advances in software engineering techniques = 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers /
by:
(Electronic resources)
Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(Electronic resources)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Electronic resources)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Electronic resources)
Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers /
by:
(Electronic resources)
Emerging trends and applications in information communication technologies = second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings /
by:
(Electronic resources)
Mobile computing, applications, and services = second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers /
by:
(Electronic resources)
Business modeling and software design = first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers /
by:
(Electronic resources)
Handbook of research on mobile software engineering = design, implementation, and emergent applications /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques = proceedings of the 9th SoMeT_10 /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques = proceedings of the tenth SoMeT_11 /
by:
(Language materials, printed)
Proceedings of the tenth workshop on algorithm engineering and experiments and the fifth workshop on analytic algorithmics and combinations
by:
(Electronic resources)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings /
by:
(Electronic resources)
Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Electronic resources)
Advances in computer science, engineering & applications = proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.. Volume 2 /
by:
(Electronic resources)
Mobile computing, applications, and services = third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011 : revised selected papers /
by:
(Electronic resources)
Web Engineering = 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings /
by:
(Electronic resources)
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings /
by:
(Electronic resources)
Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings /
by:
(Electronic resources)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings /
by:
(Electronic resources)
Information and software technologies = 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings /
by:
(Electronic resources)
Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems = 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(Electronic resources)
Human-centered software engineering = 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings /
by:
(Electronic resources)
Web information systems engineering - WISE 2012 = 13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings /
by:
(Electronic resources)
Middleware 2012 = ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings /
by:
(Electronic resources)
Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers /
by:
(Electronic resources)
Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Electronic resources)
Engineering interactive systems 2008 = second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Electronic resources)
Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
(Electronic resources)
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Electronic resources)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
(Electronic resources)
Software process and product measurement = international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings /
by:
(Electronic resources)
Software-intensive systems and new computing paradigms = challenges and visions /
by:
(Electronic resources)
Current trends in web engineering = ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012 : revised selected papers /
by:
(Electronic resources)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Electronic resources)
Foundations of software science and computation structures : = 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering IV : = international summer school, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques = proceedings of the eleventh SoMeT_12 /
by:
(Electronic resources)
S-BPM ONE - Application studies and work in progress = 6th International Conference, S-BPM ONE 2014, Eichstatt, Germany, April 22-23, 2014 : proceedings /
by:
(Electronic resources)
S-BPM ONE - Scientific research = 6th International Conference, S-BPM ONE 2014, Eichstatt, Germany, April 22-23, 2014. Proceedings /
by:
(Electronic resources)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013)
by:
(Electronic resources)
Modern trends and techniques in computer science = 3rd Computer Science On-line Conference 2014 (CSOC 2014) /
by:
(Electronic resources)
Tests and proofs = 8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part II /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part I /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part IV /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part III /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part VI /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part V /
by:
(Electronic resources)
Experimental algorithms = 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings /
by:
(Electronic resources)
Knowledge-based software engineering = 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(Electronic resources)
Static analysis = 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(Electronic resources)
Software language engineering = 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014 : proceedings /
by:
(Electronic resources)
Web information systems engineering - WISE 2014 = 15th International Conference, Thessaloniki, Greece, October 12-14, 2014 : proceedings.. Part II /
by:
(Electronic resources)
Web information systems engineering - WISE 2014 = 15th International Conference, Thessaloniki, Greece, October 12-14, 2014 : proceedings.. Part I /
by:
(Electronic resources)
Human-centered software engineering = 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014 : proceedings /
by:
(Electronic resources)
Software process improvement and capability determination = 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering = 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems = 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 : proceedings /
by:
(Electronic resources)
Mathematical and engineering methods in computer science = 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17 - 19, 2014 : revised selected papers /
by:
(Electronic resources)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Electronic resources)
Software engineering and formal methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
(Electronic resources)
SOFSEM 2015 = theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015 : proceedings /
by:
(Electronic resources)
Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering /
by:
(Electronic resources)
New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 /
by:
(Electronic resources)
Open source systems = adoption and impact : 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015 : proceedings /
by:
(Electronic resources)
Experimental algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part II /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part IV /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part V /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part III /
by:
(Language materials, printed)
Nordic contributions in IS research = 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings /
by:
(Electronic resources)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Electronic resources)
Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(Electronic resources)
Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Electronic resources)
Knowledge engineering and semantic web = 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015 : proceedings /
by:
(Electronic resources)
Systems, software and services process improvement = 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings /
by:
(Electronic resources)
Information and software technologies = 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings /
by:
(Electronic resources)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Electronic resources)
Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(Electronic resources)
Software architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings /
by:
(Electronic resources)
Information and communication technology = third IFIP TC 5/8 International Conference, ICT-EurAsia 2015, and 9th IFIP WG 8.9 Working Conference, CONFENIS 2015, held as part of WCC 2015, Daejeon, Korea, October 4-7, 2015 : proceedings /
by:
(Electronic resources)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(Electronic resources)
Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Electronic resources)
Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I /
by:
(Electronic resources)
Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part II /
by:
(Electronic resources)
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(Electronic resources)
Evaluation of novel approaches to software engineering = 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers /
by:
(Electronic resources)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(Electronic resources)
Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014)
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 /
by:
(Electronic resources)
SOFSEM 2016 = theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings /
by:
(Electronic resources)
Evaluation of novel approaches to software engineering = 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015 : revised selected papers /
by:
(Electronic resources)
Mathematical and engineering methods in computer science = 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers /
by:
(Electronic resources)
Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(Electronic resources)
Information technology = new generations : 13th International Conference on Information Technology /
by:
(Electronic resources)
Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Electronic resources)
Agile processes in software engineering and extreme programming = 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016 : proceedings /
by:
(Electronic resources)
Software process improvement and capability determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings /
by:
(Electronic resources)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Electronic resources)
Web engineering = 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings /
by:
(Electronic resources)
Experimental algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 /
by:
(Electronic resources)
Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(Electronic resources)
Knowledge-based software engineering = proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(Electronic resources)
Software Engineering and Formal Methods = SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
(Electronic resources)
Requirements engineering = foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings /
by:
(Electronic resources)
Fundamental approaches to software engineering = 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Electronic resources)
Information and communication technology = second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014 : proceedings /
by:
(Electronic resources)
Search-based software engineering = 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings /
by:
(Electronic resources)
Agent-oriented software engineering = reflections on architectures, methodologies, languages, and frameworks /
by:
(Electronic resources)
Systems, software and services process improvement = 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings /
by:
(Electronic resources)
Knowledge engineering and the semantic web = 5th International Conference, KESW 2014, Kazan, Russia, September 29 - October 1, 2014 : proceedings /
by:
(Electronic resources)
Information and software technologies = 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014 : proceedings /
by:
(Electronic resources)
Software technologies = 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems = 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Electronic resources)
On the move to meaningful internet systems = OTM 2014 Conferences : Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014 : proceedings /
by:
(Electronic resources)
Signal processing and information technology = second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012 : revised selected papers /
by:
(Electronic resources)
Agile methods = large-scale development, refactoring, testing, and estimation : XP 2014 International Workshops, Rome, Italy, May 26-30, 2014 : revised selected papers /
by:
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2013 /
by:
(Electronic resources)
Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(Electronic resources)
Fundamental approaches to software engineering = 18th International Conference, FASE 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
(Electronic resources)
Perspectives of system informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers /
by:
(Electronic resources)
Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015).. Vol 3,. Software engineering in intelligent systems
by:
(Electronic resources)
Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015).. Vol 1,. Artificial intelligence perspectives and applications
by:
(Electronic resources)
Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015).. Vol 2,. Intelligent systems in cybernetics and automation theory
by:
(Electronic resources)
Intelligent software methodologies, tools and techniques = 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers /
by:
(Electronic resources)
Formal methods for industrial critical systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
(Electronic resources)
Software process improvement and capability determination = 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Web information systems engineering - WISE 2014 Workshops = 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
(Electronic resources)
Model-driven engineering and software development = second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers /
by:
(Electronic resources)
Model-driven engineering and software development = third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers /
by:
(Electronic resources)
Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(Electronic resources)
Trends and applications in software engineering = proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 /
by:
(Electronic resources)
Proceedings of 4th International Conference in Software Engineering for Defence Applications = SEDA 2015 /
by:
(Electronic resources)
Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(Electronic resources)
Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(Electronic resources)
Knowledge, information and creativity support systems = selected papers from KICSS'2014 - 9th International Conference, held in Limassol, Cyprus, on November 6-8, 2014 /
by:
(Electronic resources)
Automation control theory perspectives in intelligent systems = proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016).. Vol 3 /
by:
(Electronic resources)
Modelling and implementation of complex systems = proceedings of the 4th International Symposium, MISC 2016, May 7-8, 2016, Constantine, Algeria /
by:
(Electronic resources)
Software engineering perspectives and application in intelligent systems = proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016).. Vol 2 /
by:
(Electronic resources)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(Electronic resources)
Perspectives of system informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers /
by:
(Electronic resources)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part IV /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part V /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part I /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part II /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part III /
by:
(Electronic resources)
Systems, software and services process improvement = 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(Electronic resources)
Intelligent software methodologies, tools and techniques = 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects