Software engineering - Congresses.
概要
作品: | 540 作品在 424 項出版品 424 種語言 |
---|
書目資訊
Information, communication and computing technology = 8th International Conference, ICICCT 2023, New Delhi, India, May 27, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Information and software technologies = 28th International Conference, ICIST 2022, Kaunas, Lithuania, October 13-15, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2023 workshops = 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 = 23rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.. Part II /
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 workshops = Athens, Greece, July 3-6, 2023 : proceedings.. Part VIII /
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 VI /
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 IV /
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 I /
by:
(書目-語言資料,印刷品)
Theoretical aspects of software engineering = 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Web engineering = 23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Dependable software engineering = theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022 : proceedings /
by:
(書目-語言資料,印刷品)
Advancing technology industrialization through intelligent software methodologies, tools and techniques
by:
(書目-語言資料,印刷品)
Agent-Oriented Software Engineering V = 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
E-Commerce and Web Technologies = 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Requirements Engineering: Foundation for Software Quality = 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the eighth Workshop on Algorithm Engineering and Experiments and the third Workshop on Analytic Algorithmics and Combinatorics /
by:
(書目-語言資料,印刷品)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Middleware = 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /
by:
(書目-語言資料,印刷品)
E-Commerce and Web Technologies = 9th International Conference, EC-Web 2008 Turin, Italy, September 3-4, 2008 Proceedings /
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:
(書目-語言資料,印刷品)
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 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Component-Based Software Engineering = 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Agile processes in software engineering and extreme programming = 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011 : proceedings /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Evaluation of novel approaches to software engineering = 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers /
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:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
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:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
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 = proceedings of the tenth SoMeT_11 /
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Software engineering, artificial intelligence, networking and parallel/distributed computing
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Software engineering and formal methods = 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 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:
(書目-語言資料,印刷品)
Telematics and computing = 12th International Congress, WITCOM 2023, Puerto Vallarta, Mexico, November 13-17, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Applied computer sciences in engineering = 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, 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:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
Component-based software engineering = 11th International Symposium, CBSE 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Agile processes in software engineering and extreme programming = 13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings /
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 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
System specification and design languages = selected contributions from FDL 2010 /
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:
(書目-語言資料,印刷品)
S-BPM ONE - Scientific research = 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Business modeling and software design = first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Generative programming and component engineering = second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in learning software organizations = 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 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:
(書目-語言資料,印刷品)
E-commerce and web technologies = 5th international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Agent-oriented software engineering IX = 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Requirements engineering = foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Information and communication technology = second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014 : proceedings /
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:
(書目-語言資料,印刷品)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014)
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:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 /
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:
(書目-語言資料,印刷品)
Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Advances in learning software organizations = 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題