Software engineering - Congresses.

Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / by: (書目-語言資料,印刷品)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (書目-語言資料,印刷品)

E-Commerce and Web Technologies = 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings / by: (書目-語言資料,印刷品)

Advances in Computer and Information Sciences and Engineering by: (書目-語言資料,印刷品)

Nordic contributions in IS research = 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings / by: (書目-語言資料,印刷品)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / 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: (書目-語言資料,印刷品)

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

Rapid Integration of Software Engineering Techniques = First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering : = 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings by: (書目-語言資料,印刷品)

Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings by: (書目-語言資料,印刷品)

Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / 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: (書目-語言資料,印刷品)

COTS-Based Software Systems = 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings / by: (書目-語言資料,印刷品)

Software Product Lines : = 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings 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: (書目-語言資料,印刷品)

Software Composition = 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / by: (書目-語言資料,印刷品)

Proceedings of the fifth Workshop on Algorithm Engineering and Experiments / 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: (書目-語言資料,印刷品)

Trust, Privacy and Security in Digital Business = 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (書目-語言資料,印刷品)

Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / by: (書目-語言資料,印刷品)

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in applied economics, business and development = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Education and Management = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Applied economics, business and development = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Advances in education and management = international symposium, ISAEBD 2011, Dalian, China, August 6-7, 2011 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Web information systems and technologies = 6th international conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Software engineering, artificial intelligence, networking and parallel/distributed computing 2011 by: (書目-語言資料,印刷品)

Software process improvement and capability determination = 11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-語言資料,印刷品)

Modelling foundations and applications = 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Web engineering = 11th international conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 : proceedings / by: (書目-語言資料,印刷品)

Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 : proceedings / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (書目-語言資料,印刷品)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Agile processes in software engineering and extreme programming = 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011 : proceedings / by: (書目-語言資料,印刷品)

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

Product Focused Software Process Improvement = 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings / by: (書目-語言資料,印刷品)

Software Composition : = 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers by: (書目-語言資料,印刷品)

Formal Approaches to Agent-Based Systems = Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (書目-語言資料,印刷品)

Rule interchange and applications = international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / by: (書目-語言資料,印刷品)

Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (書目-語言資料,印刷品)

Software technologies for embedded and ubiquitous systems = 7th IFIP WG 10.2 international workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-語言資料,印刷品)

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Software Engineering = International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Software engineering research, management and applications 2009 by: (書目-語言資料,印刷品)

E-commerce and web technologies = 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Middleware 2011 = ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / by: (書目-語言資料,印刷品)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Software engineering, business continuity, and education = international conferences ASEA, DRBC and EL 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-語言資料,印刷品)

Innovative computing technology = first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010, revised selected papers / by: (書目-語言資料,印刷品)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (書目-語言資料,印刷品)

Advances in Software Engineering : = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (書目-語言資料,印刷品)

Agent-Oriented Software Engineering IX : = 9th international workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (書目-語言資料,印刷品)

Agent-oriented software engineering XI = 11th international workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

On the move to meaningful internet systems = OTM 2011 Workshops : Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings / by: (書目-語言資料,印刷品)

S-BPM ONE - learning by doing - doing by learning = third international conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings / by: (書目-語言資料,印刷品)

Software engineering techniques = Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Information systems development = business systems and services : modeling and development / by: (書目-語言資料,印刷品)

Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings / by: (書目-語言資料,印刷品)

Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings / by: (書目-語言資料,印刷品)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Subject-oriented business process management = second international conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010 : selected papers / by: (書目-語言資料,印刷品)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Applied informatics and communication = international conference, ICAIC 2011,Xi'an, China, August 20-21, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : 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: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-語言資料,印刷品)

Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: (書目-語言資料,印刷品)

Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers / 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: (書目-語言資料,印刷品)

Information and software technologies = 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

Knowledge engineering and semantic web = 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015 : proceedings / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 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: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I / 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: (書目-語言資料,印刷品)

Practical formal software engineering : = wanting the software you get / by: (書目-語言資料,印刷品)

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

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

New trends in software methodologies, tools and techniques 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: (書目-語言資料,印刷品)

Innovations and advances in computer, information, systems sciences, and engineering by: (書目-語言資料,印刷品)

Software engineering, artificial intelligence, networking and parallel/distributed computing 2012 by: (書目-語言資料,印刷品)

Proceedings of International Conference on Advances in Computing by: (書目-語言資料,印刷品)

IAENG transactions on engineering technologies = special edition of the World Congress on Engineering and Computer Science 2011 / by: (書目-語言資料,印刷品)

Proceedings of the 2012 International Conference on Information Technology and Software Engineering = information technology & computing intelligence / by: (書目-語言資料,印刷品)

Proceedings of the 2012 International Conference on Information Technology and Software Engineering = information technology / by: (書目-語言資料,印刷品)

Proceedings of the 2012 International Conference on Information Technology and Software Engineering = software engineering & digital media technology / by: (書目-語言資料,印刷品)

IAENG transactions on engineering technologies = special issue of the International MultiConference of Engineers and Computer Scientists 2012 / by: (書目-語言資料,印刷品)

Software and data technologies = 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Software and data technologies = 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation = 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Mathematical and engineering methods in computer science = 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Software engineering = International Summer Schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures / by: (書目-語言資料,印刷品)

Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Mobile computing, applications, and services = 4th International Conference, MobiCASE 2012, Seattle, WA, USA, October 11-12, 2012 : revised Selected Papers / by: (書目-語言資料,印刷品)

Engineering secure software and systems = 5th international symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 16th International Conference, FASE 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: (書目-語言資料,印刷品)

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

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012.. Volume 3 by: (書目-語言資料,印刷品)

Information and communication technology = International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013 : proceedings / by: (書目-語言資料,印刷品)

Requirements engineering = foundation for software quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013 : proceedings / by: (書目-語言資料,印刷品)

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012.. Volume 4 by: (書目-語言資料,印刷品)

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012.. Volume 1 by: (書目-語言資料,印刷品)

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012.. Volume 5 by: (書目-語言資料,印刷品)

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012.. Volume 2 by: (書目-語言資料,印刷品)

Software process improvement and capability determination = 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013 : proceedings / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2011 and 2012 Workshops = combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Experimental algorithms = 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings / by: (書目-語言資料,印刷品)

Model checking software = 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings / by: (書目-語言資料,印刷品)

Intelligent technologies and engineering systems by: (書目-語言資料,印刷品)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-語言資料,印刷品)

Grand successes and failures in IT = public and private sectors : IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2013, Bangalore, India, June 27-29, 2013 : proceedings / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013 : proceedings / by: (書目-語言資料,印刷品)

End-user development = 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013 : proceedings / by: (書目-語言資料,印刷品)

Software composition = 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings / by: (書目-語言資料,印刷品)

Web engineering = 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013 : proceedings / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Unifying theories of programming and formal engineering methods = International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures / by: (書目-語言資料,印刷品)

Search based software engineering = 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings / by: (書目-語言資料,印刷品)

Agent-oriented software engineering XIII = 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures / by: (書目-語言資料,印刷品)

Knowledge engineering and the semantic web = 4th International Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013 : proceedings / by: (書目-語言資料,印刷品)

Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

On the move to meaningful internet systems: OTM 2013 Conferences = Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

On the move to meaningful internet systems: OTM 2013 Workshops = Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013 : proceedings / 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: (書目-語言資料,印刷品)

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

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

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

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

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

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

Convergence and hybrid information technology = 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 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: (書目-語言資料,印刷品)

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

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

Reliable software technologies - Ada-Europe 2012 = 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software process improvement and capability determination = 12th international conference, SPICE 2012, Palma, Spain, May 29-31, 2012 : proceedings / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and knowledge engineering: Theory and Practice = selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) / 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: (書目-語言資料,印刷品)

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

Information systems development = reflections, challenges and new directions / by: (書目-語言資料,印刷品)

Software engineering research, management and applications 2012 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: (書目-語言資料,印刷品)

Information and software technologies = 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013 : proceedings / by: (書目-語言資料,印刷品)

Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2013 = 14th International Conference, Nanjing, China, October 13-15, 2013 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2013 = 14th International Conference, Nanjing, China, October 13-15, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Testing software and systems = 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 : proceedings / by: (書目-語言資料,印刷品)

Lean enterprise software and systems = 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013 : proceedings / by: (書目-語言資料,印刷品)

Middleware 2013 = ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013 : proceedings / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Software engineering research, management and applications 2011 by: (書目-語言資料,印刷品)

System specification and design languages = selected contributions from FDL 2010 / by: (書目-語言資料,印刷品)

Computer science and convergence = CSA 2011 & WCC 2011 proceedings / 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: (書目-語言資料,印刷品)

Recent advances in computer science and information engineering.. Volume 3 by: (書目-語言資料,印刷品)

Recent advances in computer science and information engineering.. Volume 6 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: (書目-語言資料,印刷品)

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

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

Emerging trends and applications in information communication technologies = second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software and network engineering by: (書目-語言資料,印刷品)

Agent-technologies, infrastructures, tools, and applications for E-services = NODe 2002 agent-related workshops, Erfurt, Germany, October 7-10, 2002 : revised papers / by: (書目-語言資料,印刷品)

Agent-Oriented Software Engineering III = third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions / by: (書目-語言資料,印刷品)

COTS-based software systems = second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 proceedings / by: (書目-語言資料,印刷品)

E-commerce and Web technologies = 4th International Conference, EC-Web, Prague, Czech Republic, September 2003 proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / by: (書目-語言資料,印刷品)

FST TCS 2003 = foundations of software technology and theoretical computer science / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / by: (書目-語言資料,印刷品)

Generative programming and component engineering = second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings / by: (書目-語言資料,印刷品)

Innovative concepts for agent-based systems = first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers / by: (書目-語言資料,印刷品)

Advances in learning software organizations = 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers / by: (書目-語言資料,印刷品)

Scientific engineering for distributed Java applications = International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers / by: (書目-語言資料,印刷品)

Software engineering and middleware = third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers / by: (書目-語言資料,印刷品)

Algebraic methodology and software technology = 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings / by: (書目-語言資料,印刷品)

Component-based software engineering = 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / by: (書目-語言資料,印刷品)

COTS-based software systems = third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / by: (書目-語言資料,印刷品)

Scientific engineering of distributed Java applications = third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers / by: (書目-語言資料,印刷品)

E-commerce and web technologies = 5th international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: (書目-語言資料,印刷品)

Generative programming and component engineering = Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings / by: (書目-語言資料,印刷品)

Product focused software process improvement = 5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings / by: (書目-語言資料,印刷品)

Radical Innovations of Software and Systems Engineering in the Future = 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers / by: (書目-語言資料,印刷品)

Software engineering for multi-agent systems II = research issues and practical applications / by: (書目-語言資料,印刷品)

Software engineering research and applications = first international conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003 : selected revised papers / by: (書目-語言資料,印刷品)

Software product-family engineering = 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers / by: (書目-語言資料,印刷品)

Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures / by: (書目-語言資料,印刷品)

Software language engineering = First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised selected papers / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / by: (書目-語言資料,印刷品)

Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Software engineering approaches for offshore and outsourced development = Second international conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised papers / 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: (書目-語言資料,印刷品)

Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013)/ 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: (書目-語言資料,印刷品)

Semantic web enabled software engineering / by: (書目-語言資料,印刷品)

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

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2013 / 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 research, management and applications by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / 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: (書目-語言資料,印刷品)

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

Proceedings of 4th International Conference in Software Engineering for Defence Applications = SEDA 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: (書目-語言資料,印刷品)

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

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

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

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

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

Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 / 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: (書目-語言資料,印刷品)

Information systems: development, research, applications, education = 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings / 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: (書目-語言資料,印刷品)

Knowledge engineering and semantic web = 7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016 : proceedings / by: (書目-語言資料,印刷品)

Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (書目-語言資料,印刷品)

Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (書目-語言資料,印刷品)

Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (書目-語言資料,印刷品)

Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Software architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings / by: (書目-語言資料,印刷品)

Product-focused software process improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and methodology for emerging domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Proceedings of the 2015 International Conference on Software Engineering and Information Technology (SEIT2015) = Guilin, Guangxi, China, 26-28 June 2015 / by: (書目-語言資料,印刷品)

Software process improvement and management = approaches and tools for practical development / by: (書目-語言資料,印刷品)

Agile processes in software engineering and extreme programming = 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017 : proceedings / by: (書目-語言資料,印刷品)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (書目-語言資料,印刷品)

Software engineering trends and techniques in intelligent systems = proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017).. Vol 3 / by: (書目-語言資料,印刷品)

End-user development = 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017 : proceedings / by: (書目-語言資料,印刷品)

Web engineering = 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Knowledge engineering and semantic web = 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017 : proceedings / by: (書目-語言資料,印刷品)

Information, communication and computing technology = Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

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

Web information systems engineering - WISE 2017 = 18th International Conference, Puschino, Russia, October 7-11, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2017 = 18th International Conference, Puschino, Russia, October 7-11, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / by: (書目-語言資料,印刷品)

Grand timely topics in software engineering = International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures / by: (書目-語言資料,印刷品)

Tests and proofs = 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for self-adaptive systems. = International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 : revised selected and invited papers /. III,. Assurances by: (書目-語言資料,印刷品)

Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part VI / by: (書目-語言資料,印刷品)

Software engineering in health care = 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software architecture = 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (書目-語言資料,印刷品)

Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings / by: (書目-語言資料,印刷品)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Model-driven engineering and software development = 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Software process improvement and capability determination = 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / by: (書目-語言資料,印刷品)

Information and software technologies = 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017 : proceedings / by: (書目-語言資料,印刷品)

Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (書目-語言資料,印刷品)

Foundations of software science and computation structures = 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (書目-語言資料,印刷品)

Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Data management technologies and applications = 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: (書目-語言資料,印刷品)

Engineering secure software and systems = 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018 : proceedings / by: (書目-語言資料,印刷品)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Nordic contributions in IS research = 9th Scandinavian Conference on Information Systems, SCIS 2018, Odder, Denmark, August 5-8, 2018 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Interactive theorem proving = 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings / by: (書目-語言資料,印刷品)

Information and software technologies = 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4-6, 2018 : proceedings / by: (書目-語言資料,印刷品)

Search-based software engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018 : proceedings / by: (書目-語言資料,印刷品)

Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (書目-語言資料,印刷品)

Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

Testing software and systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018 : proceedings / by: (書目-語言資料,印刷品)

Software process improvement and capability determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings / by: (書目-語言資料,印刷品)

Software architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 : proceedings / by: (書目-語言資料,印刷品)

Telematics and computing = 7th International Congress, WITCOM 2018, Mazatlan, Mexico, November 5-9, 2018 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Web information systems engineering - WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (書目-語言資料,印刷品)

Current trends in web engineering = ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Caceres, Spain, June 5, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Advancing technology industrialization through intelligent software methodologies, tools and techniques : = proceedings of the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_19) / by: (書目-語言資料,印刷品)

Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (書目-語言資料,印刷品)

Web engineering = 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019 : proceedings / by: (書目-語言資料,印刷品)

Applied computer sciences in engineering = 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Collaboration in a data-rich world = 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Software quality = complexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Learning technology for education challenges = 8th International Workshop, LTEC 2019, Zamora, Spain, July 15-18, 2019 : proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence methods in intelligent algorithms = proceedings of 8th Computer Science On-line Conference 2019.. Vol. 2 / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Cloud computing - CLOUD 2019 = 12th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (書目-語言資料,印刷品)

Big data, cloud computing, data science & engineering by: (書目-語言資料,印刷品)

Computational statistics and mathematical modeling methods in intelligent systems = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 2 / by: (書目-語言資料,印刷品)

Intelligent systems applications in software engineering = proceedings of 3rd Computational Methods in Systems and Software 2019.. Vol. 1 / by: (書目-語言資料,印刷品)

Enterprise information systems = 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Dependable software systems engineering by: (書目-語言資料,印刷品)

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

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

Formal methods at the crossroads = from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / by: (書目-語言資料,印刷品)

Advances in learning software organizations = 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings / by: (書目-語言資料,印刷品)

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Software Engineering for Multi-Agent Systems III = Research Issues and Practical Applications / by: (書目-語言資料,印刷品)

Software engineering = challenges and solutions : results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland / by: (書目-語言資料,印刷品)

Trends and applications in software engineering = proceedings of CIMPS 2016 / by: (書目-語言資料,印刷品)

SOFSEM 2017 = theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

Functional programming for dummies / by: (書目-語言資料,印刷品)

Advancing technology industrialization through intelligent software methodologies, tools and techniques by: (書目-語言資料,印刷品)

The ITK software guide / by: (書目-語言資料,印刷品)

Dependable software engineering = theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings / by: (書目-語言資料,印刷品)

Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings / by: (書目-語言資料,印刷品)

Software verification and formal methods for ML-enabled autonomous systems = 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings / by: (書目-語言資料,印刷品)

Advances in model and data engineering in the digitalization era = MEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022 : proceedings / by: (書目-語言資料,印刷品)

Web engineering = 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023 : proceedings / by: (書目-語言資料,印刷品)

Theoretical aspects of software engineering = 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part V / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VI / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VII / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VIII / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 = 23rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 = 23rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part IX / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2023 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Information and software technologies = 28th International Conference, ICIST 2022, Kaunas, Lithuania, October 13-15, 2022 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Information, communication and computing technology = 8th International Conference, ICICCT 2023, New Delhi, India, May 27, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Testing software and systems = 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023 : proceedings / by: (書目-語言資料,印刷品)

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Applied computer sciences in engineering = 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023 : proceedings / by: (書目-語言資料,印刷品)

Telematics and computing = 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023 : proceedings / by: (書目-語言資料,印刷品)

Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (書目-語言資料,印刷品)

Security protocols XXVIII = 28th International Workshop, Cambridge, UK, March 27-28, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-語言資料,印刷品)

Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Evaluation of novel approaches to software engineering = 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Theoretical aspects of software engineering = 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part XI / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part IX / by: (書目-語言資料,印刷品)

Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2023.. Volume 1 / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: (書目-語言資料,印刷品)

Computational science and its applications - ICCSA 2024 Workshops = Hanoi, Vietnam, July 1-4, 2024 : proceedings.. Part VII / by: (書目-語言資料,印刷品)

Cybernetics and control theory in systems = proceedings of 13th Computer Science On-line Conference 2024.. Volume 2 / by: (書目-語言資料,印刷品)

Software engineering methods design and application = proceedings of 13th Computer Science Online Conference 2024.. Volume 1 / by: (書目-語言資料,印刷品)

Proceedings of International Conference on Recent Innovations in Computing = ICRIC 2023.. Volume 2 / by: (書目-語言資料,印刷品)

Machine learning methods in systems = proceedings of 13th Computer Science On-line Conference 2024.. Vol. 4 / by: (書目-語言資料,印刷品)

Model-driven engineering and software development = 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Systems, software and services process improvement = 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Rules and reasoning = 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings / by: (書目-語言資料,印刷品)

Formal aspects of component software = 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = SAFECOMP 2024 Workshops, DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024 : proceedings / by: (書目-語言資料,印刷品)