Software engineering.
概要
| 作品: | 124 作品在 103 項出版品 103 種語言 | |
|---|---|---|
書目資訊
Guide to software development[electronic resource] :designing and managing the life cycle /
by:
(書目-語言資料,印刷品)
Foundations of algebraic specification and formal software development[electronic resource] /
by:
(書目-語言資料,印刷品)
Games, actions and social software[electronic resource] :multidisciplinary aspects /
by:
(書目-語言資料,印刷品)
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes[electronic resource] /
by:
(書目-語言資料,印刷品)
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Research methodologies, innovations, and philosophies in software systems engineering and information systems[electronic resource] /
by:
(書目-語言資料,印刷品)
Designing software-intensive systems[electronic resource] :methods and principles /
by:
(書目-語言資料,印刷品)
Practical support for lean six sigma software process definition[electronic resource] :using IEEE software engineering standards /
by:
(書目-語言資料,印刷品)
Visual usability[electronic resource] :principles and practices for designing digital applications /
by:
(書目-語言資料,印刷品)
Software engineering for embedded systems[electronic resource] :methods, practical techniques, and applications /
by:
(書目-語言資料,印刷品)
Software engineering[electronic resource] :architecture-driven software development /
by:
(書目-語言資料,印刷品)
Social software engineering[electronic resource] :development and collaboration with social networking /
by:
(書目-語言資料,印刷品)
Systems and software quality[electronic resource] :the next step for industrialisation /
by:
(書目-語言資料,印刷品)
Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages[electronic resource] :18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Aligning business processes and information systems[electronic resource] :new approaches to continuous quality engineering /
by:
(書目-語言資料,印刷品)
Software engineering techniques applied to agricultural systems[electronic resource] :an object-oriented and UML approach /
by:
(書目-語言資料,印刷品)
Computer science and its applications[electronic resource] :ubiquitous information technologies /
by:
(書目-語言資料,印刷品)
From requirements to Java in a snap[electronic resource] :model-driven requirements engineering in practice /
by:
(書目-語言資料,印刷品)
Designing, engineering, and analyzing reliable and efficient software[electronic resource] /
by:
(書目-語言資料,印刷品)
Software development techniques for constructive information systems design[electronic resource] /
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the Thirteenth SoMeT_14 /
by:
(書目-語言資料,印刷品)
Embedded and real time system development[electronic resource] :a software engineering perspective : concepts, methods and principles /
by:
(書目-語言資料,印刷品)
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems[electronic resource] :6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
by:
(書目-語言資料,印刷品)
Rapid prototyping of software for avionics systems[electronic resource] :model-oriented approaches for complex systems certification /
by:
(書目-語言資料,印刷品)
Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
The practice of enterprise modeling[electronic resource] :8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Data science[electronic resource] :second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
SDL 2015[electronic resource] :model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Mobile, secure, and programmable networking[electronic resource] :first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /
by:
(書目-語言資料,印刷品)
Globalizing domain-specific languages[electronic resource] :International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Research in attacks,intrusions, and defenses[electronic resource] :18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Risk assessment and risk-driven testing[electronic resource] :third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Product-focused software process improvement[electronic resource] :16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Service-oriented computing[electronic resource] :13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency X[electronic resource] /
by:
(書目-語言資料,印刷品)
Distributed computing[electronic resource] :29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Agile product development[electronic resource] :how to design innovative products that create customer value /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Hybrid soft computing approaches[electronic resource] :research and applications /
by:
(書目-語言資料,印刷品)
Computational intelligence and quantitative software engineering[electronic resource] /
by:
(書目-語言資料,印刷品)
Behavioural models[electronic resource] :from modelling finite automata to analysing business processes /
by:
(書目-電子資源)
Guide to software development[electronic resource] :designing and managing the life cycle /
by:
(書目-電子資源)
Software developers as users[electronic resource] :semiotic investigations in human-centered software development /
by:
(書目-電子資源)
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
by:
(書目-語言資料,印刷品)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) /
by:
(書目-語言資料,印刷品)
Modern software engineering methodologies for mobile and cloud environments[electronic resource] /
by:
(書目-電子資源)
Integrating the internet of things into software engineering practices[electronic resource] /
by:
(書目-電子資源)
Certifiable software applications.[electronic resource] :downward cycle /3,Downward cycle
by:
(書目-電子資源)
主題