Software engineering - Congresses.

Middleware 2010 = ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / by: (書目-語言資料,印刷品)

Human-centred software engineering = Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010, proceedings / by: (書目-語言資料,印刷品)

Architecting dependable systems VII by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

S-BPM ONE - setting the stage for subject-oriented business process management = First International Workshop, Karlsruhe, Germany, October 22, 2009, revised selected papers / by: (書目-語言資料,印刷品)

Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (書目-電子資源)

Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers / by: (書目-電子資源)

Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers / by: (書目-電子資源)

Software language engineering = third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers / by: (書目-電子資源)

Agent-oriented software engineering X = 10th international workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009 : revised selected papers / by: (書目-電子資源)

Fundamental approaches to software engineering = 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (書目-電子資源)

Software engineering research, management and applications 2011 by: (書目-電子資源)

Computer science and convergence = CSA 2011 & WCC 2011 proceedings / by: (書目-電子資源)

System specification and design languages = selected contributions from FDL 2010 / by: (書目-電子資源)

Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Software engineering and knowledge engineering = theory and practice.. Volume 1 / by: (書目-電子資源)

Software engineering and knowledge engineering = theory and practice.. Volume 2 / by: (書目-電子資源)

Recent advances in computer science and information engineering.. Volume 1 by: (書目-電子資源)

Recent advances in computer science and information engineering.. Volume 2 by: (書目-電子資源)

Recent advances in computer science and information engineering.. Volume 5 by: (書目-電子資源)

Advances in computer science and engineering by: (書目-電子資源)

Current trends in web engineering = workshops, doctoral symposium, and tutorials, held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011 : revised selected papers / by: (書目-電子資源)

Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (書目-電子資源)

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.. Volume 2 by: (書目-電子資源)

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.. Volume 1 by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (書目-電子資源)

Foundations of software science and computational structures = 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

S-BPM ONE - Scientific research = 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (書目-電子資源)

Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-電子資源)

Models in software engineering = workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers / by: (書目-電子資源)

Handbook of research on mobile software engineering = design, implementation, and emergent applications / by: (書目-語言資料,印刷品)

Agile processes in software engineering and extreme programming = 13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings / by: (書目-電子資源)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (書目-電子資源)

Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Advances in computer science and information engineering.. Volume 1 by: (書目-電子資源)

Computer and information science 2012 by: (書目-電子資源)

Software engineering research, management and applications 2012 by: (書目-電子資源)

Mobile computing, applications, and services = third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011 : revised selected papers / by: (書目-電子資源)

Web Engineering = 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings / by: (書目-電子資源)

Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: (書目-電子資源)

Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / by: (書目-電子資源)

Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (書目-電子資源)

Information and software technologies = 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / by: (書目-電子資源)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems = 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings / by: (書目-電子資源)

Human-centered software engineering = 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers / by: (書目-電子資源)

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-電子資源)

Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (書目-電子資源)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-電子資源)

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Service-oriented computing - ICSOC 2008 = 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings / by: (書目-電子資源)

Software process and product measurement = international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings / by: (書目-電子資源)

Software-intensive systems and new computing paradigms = challenges and visions / by: (書目-電子資源)

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: (書目-電子資源)

On the move to meaningful internet systems: OTM 2012 workshops = confederated international workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012 : proceedings / by: (書目-電子資源)

Knowledge-based software engineering = proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / by: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the eleventh SoMeT_12 / by: (書目-電子資源)

Software engineering research, management and applications by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / by: (書目-電子資源)

S-BPM ONE - Application studies and work in progress = 6th International Conference, S-BPM ONE 2014, Eichstatt, Germany, April 22-23, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Requirements engineering = foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Foundations of software science and computation structures = 17th International Conference, FOSSACS 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: (書目-電子資源)

Information and communication technology = second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014 : proceedings / by: (書目-電子資源)

S-BPM ONE - Scientific research = 6th International Conference, S-BPM ONE 2014, Eichstatt, Germany, April 22-23, 2014. Proceedings / by: (書目-電子資源)

Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) by: (書目-電子資源)

Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part V / by: (書目-電子資源)

Recent advances in computer science and information engineering.. Volume 3 by: (書目-電子資源)

Recent advances in computer science and information engineering.. Volume 6 by: (書目-電子資源)

Emerging trends and applications in information communication technologies = second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings / by: (書目-電子資源)

Mobile computing, applications, and services = second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers / by: (書目-電子資源)

Business modeling and software design = first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers / by: (書目-電子資源)

Software and network engineering by: (書目-電子資源)

New trends in software methodologies, tools and techniques by: (書目-語言資料,印刷品)

New trends in software methodologies, tools and techniques = proceedings of the 9th SoMeT_10 / by: (書目-語言資料,印刷品)

New trends in software methodologies, tools and techniques = proceedings of the tenth SoMeT_11 / by: (書目-語言資料,印刷品)

Software and systems safety = specification and verification / by: (書目-語言資料,印刷品)

Proceedings of the ninth Workshop on Algorithm Engineering and Experiments and the fourth Workshop on Analytic Algorithmics and Combinatorics by: (書目-電子資源)

Proceedings of the tenth workshop on algorithm engineering and experiments and the fifth workshop on analytic algorithmics and combinations by: (書目-電子資源)

Product-focused software process improvement = 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings / by: (書目-電子資源)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / by: (書目-電子資源)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / by: (書目-電子資源)

Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (書目-電子資源)

Data and knowledge engineering = third International conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (書目-電子資源)

Web information systems engineering - WISE 2012 = 13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings / by: (書目-電子資源)

Middleware 2012 = ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures / by: (書目-電子資源)

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: (書目-語言資料,印刷品)

Generative and transformational techniques in software engineering IV : = international summer school, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers / by: (書目-語言資料,印刷品)

Modern trends and techniques in computer science = 3rd Computer Science On-line Conference 2014 (CSOC 2014) / by: (書目-電子資源)

Tests and proofs = 8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2014 = 14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.. Part VI / by: (書目-電子資源)

Search-based software engineering = 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / by: (書目-電子資源)

Agent-oriented software engineering = reflections on architectures, methodologies, languages, and frameworks / by: (書目-電子資源)

Systems, software and services process improvement = 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings / by: (書目-電子資源)

Experimental algorithms = 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings / by: (書目-電子資源)

Knowledge-based software engineering = 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-電子資源)

Knowledge engineering and the semantic web = 5th International Conference, KESW 2014, Kazan, Russia, September 29 - October 1, 2014 : proceedings / by: (書目-電子資源)

Information and software technologies = 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014 : proceedings / by: (書目-電子資源)

Software technologies = 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : revised selected papers / by: (書目-電子資源)

Software language engineering = 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014 : proceedings / by: (書目-電子資源)

Web information systems engineering - WISE 2014 = 15th International Conference, Thessaloniki, Greece, October 12-14, 2014 : proceedings.. Part II / by: (書目-電子資源)

Web information systems engineering - WISE 2014 = 15th International Conference, Thessaloniki, Greece, October 12-14, 2014 : proceedings.. Part I / by: (書目-電子資源)

Human-centered software engineering = 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014 : proceedings / by: (書目-電子資源)

Software process improvement and capability determination = 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems = 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Agile methods = large-scale development, refactoring, testing, and estimation : XP 2014 International Workshops, Rome, Italy, May 26-30, 2014 : revised selected papers / by: (書目-電子資源)

Mathematical and engineering methods in computer science = 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17 - 19, 2014 : revised selected papers / by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2013 / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (書目-電子資源)

Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / by: (書目-電子資源)

Software, services, and systems = essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering / by: (書目-電子資源)

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: (書目-電子資源)

Foundations of software science and computation structures = 18th International Conference, FOSSACS 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: (書目-電子資源)

Open source systems = adoption and impact : 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015 : proceedings / by: (書目-電子資源)

Perspectives of system informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers / by: (書目-電子資源)

Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015).. Vol 3,. Software engineering in intelligent systems by: (書目-電子資源)

Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015).. Vol 1,. Artificial intelligence perspectives and applications by: (書目-電子資源)

Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015).. Vol 2,. Intelligent systems in cybernetics and automation theory by: (書目-電子資源)

Intelligent software methodologies, tools and techniques = 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers / by: (書目-電子資源)

Formal methods for industrial critical systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / by: (書目-電子資源)

Software process improvement and capability determination = 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Nordic contributions in IS research = 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings / by: (書目-電子資源)

Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings / by: (書目-電子資源)

Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (書目-電子資源)

Intelligent software methodologies, tools and techniques = 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings / by: (書目-電子資源)

Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (書目-電子資源)

Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (書目-電子資源)

Software architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / by: (書目-電子資源)

Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (書目-電子資源)

Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: (書目-電子資源)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I / by: (書目-電子資源)

Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part II / by: (書目-電子資源)

Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development = second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers / by: (書目-電子資源)

Model-driven engineering and software development = third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers / by: (書目-電子資源)

Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures / by: (書目-電子資源)

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: (書目-電子資源)

Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014) by: (書目-電子資源)

Image processing & communications challenges 7 by: (書目-電子資源)

Trends and applications in software engineering = proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 / by: (書目-電子資源)

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: (書目-電子資源)

Proceedings of 4th International Conference in Software Engineering for Defence Applications = SEDA 2015 / by: (書目-電子資源)

Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (書目-電子資源)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (書目-電子資源)

Mathematical and engineering methods in computer science = 10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / by: (書目-電子資源)

Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / by: (書目-電子資源)

Foundations of software science and computation structures = 19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 19th International Conference, FASE 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

Information technology = new generations : 13th International Conference on Information Technology / by: (書目-電子資源)

Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / by: (書目-電子資源)

Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part III / by: (書目-電子資源)

Systems, software and services process improvement = 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings / by: (書目-電子資源)

Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (書目-電子資源)

Human-centered and error-resilient systems development = IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / by: (書目-電子資源)

Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (書目-電子資源)

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 / by: (書目-電子資源)

Static analysis = 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings / by: (書目-電子資源)

Signal processing and information technology = second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012 : revised selected papers / by: (書目-電子資源)

Software engineering = a methodical approach / by: (書目-電子資源)

Software engineering research, management and applications by: (書目-電子資源)

Image processing & communications challenges 6 by: (書目-電子資源)

Applied computation and security systems.. Volume Two by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 / by: (書目-電子資源)

Experimental algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / by: (書目-電子資源)

Knowledge engineering and semantic web = 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings / by: (書目-電子資源)

Information and software technologies = 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings / by: (書目-電子資源)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Knowledge, information and creativity support systems = recent trends, advances and solutions : selected papers from KICSS'2013 - 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Krakow, Poland / by: (書目-電子資源)

Knowledge, information and creativity support systems = selected papers from KICSS'2014 - 9th International Conference, held in Limassol, Cyprus, on November 6-8, 2014 / by: (書目-電子資源)

Information science and applications (ICISA) 2016 by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015 : revised selected papers / by: (書目-電子資源)

Automation control theory perspectives in intelligent systems = proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016).. Vol 3 / by: (書目-電子資源)

Modelling and implementation of complex systems = proceedings of the 4th International Symposium, MISC 2016, May 7-8, 2016, Constantine, Algeria / by: (書目-電子資源)

Software engineering perspectives and application in intelligent systems = proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016).. Vol 2 / by: (書目-電子資源)

Agile processes in software engineering and extreme programming = 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016 : proceedings / by: (書目-電子資源)

Software process improvement and capability determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings / by: (書目-電子資源)

Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: (書目-電子資源)

Web engineering = 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings / by: (書目-電子資源)

Experimental algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings / by: (書目-電子資源)