Software engineering
概要
| 作品: | 236 作品在 213 項出版品 213 種語言 | |
|---|---|---|
書目資訊
Object-oriented requirements analysis and logical design:a software engineering approach
by:
(書目-語言資料,印刷品)
Engineering quality software:a review of current practices,standards and guidelines including new methods and...
by:
(書目-語言資料,印刷品)
Systems,software,and quality engineering:applying defect behavior theory to programming
by:
(書目-語言資料,印刷品)
Matchmaking in electronic markets: an agent-based approach towards matchmaking in electronic negotiations
by:
(書目-語言資料,印刷品)
Inductive synthesis of functional programs: universal planning,folding of finite programs,and schema abstraction by ...
by:
(書目-語言資料,印刷品)
Engineering methods and tools for software safety and security[electronic resource] /
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the Eighth SoMeT_09 /
by:
(書目-語言資料,印刷品)
Software engineering research, management and applications 2011[electronic resource] /
by:
(書目-語言資料,印刷品)
Computer science and convergence[electronic resource] :CSA 2011 & WCC 2011 proceedings /
by:
(書目-語言資料,印刷品)
System specification and design languages[electronic resource] :selected contributions from FDL 2010 /
by:
(書目-語言資料,印刷品)
Software engineering and knowledge engineering[electronic resource] :theory and practice.Volume 1 /
by:
(書目-語言資料,印刷品)
Software engineering and knowledge engineering[electronic resource] :theory and practice.Volume 2 /
by:
(書目-語言資料,印刷品)
Recent advances in computer science and information engineering.[electronic resource] /Volume 1
by:
(書目-語言資料,印刷品)
Recent advances in computer science and information engineering.[electronic resource] /Volume 2
by:
(書目-語言資料,印刷品)
Recent advances in computer science and information engineering.[electronic resource] /Volume 5
by:
(書目-語言資料,印刷品)
Recent advances in computer science and information engineering.[electronic resource] /Volume 3
by:
(書目-語言資料,印刷品)
Recent advances in computer science and information engineering.[electronic resource] /Volume 6
by:
(書目-語言資料,印刷品)
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.[electronic resource] /Volume 2
by:
(書目-語言資料,印刷品)
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.[electronic resource] /Volume 1
by:
(書目-語言資料,印刷品)
S-BPM ONE - Scientific research[electronic resource] :4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-語言資料,印刷品)
Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Product-focused software process improvement[electronic resource] :13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in computer science and information engineering.[electronic resource] /Volume 1
by:
(書目-語言資料,印刷品)
Software engineering research, management and applications 2012[electronic resource] /
by:
(書目-語言資料,印刷品)
Handbook of research on mobile software engineering[electronic resource] :design, implementation, and emergent applications /
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the 9th SoMeT_10 /
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the tenth SoMeT_11 /
by:
(書目-語言資料,印刷品)
Software and systems safety[electronic resource] :specification and verification /
by:
(書目-語言資料,印刷品)
Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2012[electronic resource] :13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Middleware 2012[electronic resource] :ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Proceedings of the tenth workshop on algorithm engineering and experiments and the fifth workshop on analytic algorithmics and combinations[electronic resource] /
by:
(書目-語言資料,印刷品)
Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(書目-語言資料,印刷品)
Self-sustaining systems[electronic resource] :first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Service-oriented computing - ICSOC 2008[electronic resource] :6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions /
by:
(書目-語言資料,印刷品)
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Knowledge-based software engineering[electronic resource] :proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the eleventh SoMeT_12 /
by:
(書目-語言資料,印刷品)
Modern trends and techniques in computer science[electronic resource] :3rd Computer Science On-line Conference 2014 (CSOC 2014) /
by:
(書目-語言資料,印刷品)
Knowledge-based software engineering[electronic resource] :11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering[electronic resource] :reflections on architectures, methodologies, languages, and frameworks /
by:
(書目-語言資料,印刷品)
Systems, software and services process improvement[electronic resource] :21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms[electronic resource] :13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 /
by:
(書目-語言資料,印刷品)
Software engineering, artificial intelligence, networking and parallel/distributed computing[electronic resource] /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the Thirteenth SoMeT_14 /
by:
(書目-語言資料,印刷品)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) /
by:
(書目-語言資料,印刷品)
Experimental algorithms[electronic resource] :14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(書目-語言資料,印刷品)
Software architecture[electronic resource] :9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Product-focused software process improvement[electronic resource] :16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Web engineering[electronic resource] :16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Experimental algorithms[electronic resource] :15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
by:
(書目-語言資料,印刷品)
Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014)[electronic resource] /
by:
(書目-語言資料,印刷品)
Trends and applications in software engineering[electronic resource] :proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 /
by:
(書目-語言資料,印刷品)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2014 /
by:
(書目-語言資料,印刷品)
Proceedings of 4th International Conference in Software Engineering for Defence Applications[electronic resource] :SEDA 2015 /
by:
(書目-語言資料,印刷品)
Software technologies[electronic resource] :10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Software architecture[electronic resource] :10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software process improvement and management[electronic resource] :approaches and tools for practical development /
by:
(書目-語言資料,印刷品)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) /
by:
(書目-語言資料,印刷品)
主題