Software engineering - Congresses.
概要
作品: | 251 作品在 214 項出版品 214 種語言 |
---|
書目資訊
New trends in software methodologies, tools and techniques = proceedings of the Eighth SoMeT_09 /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Systems, software and services process improvement = 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
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 9th SoMeT_10 /
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:
(書目-電子資源)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(書目-電子資源)
Agent-oriented software engineering = reflections on architectures, methodologies, languages, and frameworks /
by:
(書目-電子資源)
Experimental algorithms = 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings /
by:
(書目-電子資源)
Static analysis = 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(書目-電子資源)
New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 /
by:
(書目-電子資源)
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(書目-電子資源)
Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014)
by:
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2014 /
by:
(書目-電子資源)
Proceedings of 4th International Conference in Software Engineering for Defence Applications = SEDA 2015 /
by:
(書目-電子資源)
Information technology = new generations : 13th International Conference on Information Technology /
by:
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 /
by:
(書目-電子資源)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(書目-電子資源)
Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(書目-電子資源)
Model checking software = 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Software product lines = going beyond : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Middleware 2010 = ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Human-centred software engineering = Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010, 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:
(書目-電子資源)
New trends in software methodologies, tools and techniques = proceedings of the tenth SoMeT_11 /
by:
(書目-語言資料,印刷品)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-電子資源)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : 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:
(書目-電子資源)
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:
(書目-電子資源)
Modern trends and techniques in computer science = 3rd Computer Science On-line Conference 2014 (CSOC 2014) /
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:
(書目-電子資源)
Software process improvement and capability determination = 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-電子資源)
Software architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings /
by:
(書目-電子資源)
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(書目-電子資源)
Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 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:
(書目-電子資源)
更多
較少的
主題