Software engineering.
概要
作品: | 399 作品在 247 項出版品 247 種語言 |
---|
書目資訊
Wicked problems, righteous solutions : = a catalogue of modern software engineering paradigms /
by:
(書目-語言資料,印刷品)
Object-oriented requirements analysis and logical design : = a software engineering approach /
by:
(書目-語言資料,印刷品)
The laws of software process : = a new model for the production and management of software /
by:
(書目-語言資料,印刷品)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Inductive synthesis of functional programs = universal planning, folding of finite programs, and schema abstraction by analogical reasoning /
by:
(書目-語言資料,印刷品)
Matchmaking in electronic markets = an agent-based approach towards matchmaking in electronic negotiations /
by:
(書目-語言資料,印刷品)
Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling /
by:
(書目-語言資料,印刷品)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-電子資源)
Information security = 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings /
by:
(書目-電子資源)
From requirements to Java in a snap = model-driven requirements engineering in practice /
by:
(書目-電子資源)
Rapid prototyping of software for avionics systems = model-oriented approaches for complex systems certification /
by:
(書目-電子資源)
Data science = second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings /
by:
(書目-電子資源)
Service-oriented computing = 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
by:
(書目-電子資源)
Distributed computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
by:
(書目-電子資源)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-電子資源)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-電子資源)
Software developers as users = semiotic investigations in human-centered software development /
by:
(書目-電子資源)
Model-driven development and operation of multi-cloud applications = the MODAClouds approach /
by:
(書目-電子資源)
A book of object-oriented knowledge : = object-oriented analysis, design, and implementation : a new approach to software engineering /
by:
(書目-語言資料,印刷品)
Artificial intelligence and software engineering = understanding the promise of the future /
by:
(書目-電子資源)
Methodologies and software engineering for agent systems = the agent-oriented software engineering handbook /
by:
(書目-語言資料,印刷品)
Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle
by:
(書目-語言資料,印刷品)
Model-Based Software and Data Integration = First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(書目-語言資料,印刷品)
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Agile Processes in Software Engineering and Extreme Programming = 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings /
by:
(書目-語言資料,印刷品)
Empirical methods and studies in software engineering = experiences from ESERNET /
by:
(書目-語言資料,印刷品)
Software engineering for large-scale mulit-agent systems = research issues and practical applications /
by:
(書目-語言資料,印刷品)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-語言資料,印刷品)
New software engineering paradigm based on complexity science = an introduction to NSE /
by:
(書目-電子資源)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(書目-電子資源)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-電子資源)
Software business = third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings /
by:
(書目-電子資源)
Practical support for lean six sigma software process definition = using IEEE software engineering standards /
by:
(書目-電子資源)
Embedded and real time system development = a software engineering perspective : concepts, methods and principles /
by:
(書目-電子資源)
Aligning business processes and information systems = new approaches to continuous quality engineering /
by:
(書目-電子資源)
Software engineering techniques applied to agricultural systems = an object-oriented and UML approach /
by:
(書目-電子資源)
Multiple access communications = 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings /
by:
(書目-電子資源)
Programming languages = 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(書目-電子資源)
Distributed computing = 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings /
by:
(書目-電子資源)
Practical software development techniques = tools and techniques for building enterprise software /
by:
(書目-電子資源)
Innovation explosion : = using intellect and software to revolutionize growth strategies /
by:
(書目-語言資料,印刷品)
Software engineering for embedded systems = methods, practical techniques, and applications /
by:
(書目-電子資源)
Bridging the gap between requirements engineering and software architecture = a problem-oriented and quality-driven method /
by:
(書目-電子資源)
Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(書目-電子資源)
Guide to software systems development = connecting novel theory and current practice /
by:
(書目-電子資源)
Software engineering for absolute beginners = your guide to creating software products /
by:
(書目-電子資源)
Requirements engineering for social sector software applications = innovating for a diverse set of user needs /
by:
(書目-電子資源)
The business manager's guide to software projects = a framework for decision-making, team collaboration, and effectiveness /
by:
(書目-電子資源)
Software engineering : = Barry W. Boehm's lifetime contributions to software development, management, and research /
by:
(書目-語言資料,印刷品)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(書目-語言資料,印刷品)
Software engineering for micros : = the electrifying streamlined blueprint speedcode method /
by:
(書目-語言資料,印刷品)
Methodologies and software engineering for agent systems = the agent-oriented software engineering handbook /
by:
(書目-語言資料,印刷品)
Knowledge engineering for software development life cycles = support technologies and applications /
by:
(書目-電子資源)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
by:
(書目-電子資源)
Research methodologies, innovations, and philosophies in software systems engineering and information systems
by:
(書目-語言資料,印刷品)
New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 /
by:
(書目-電子資源)
Agile product development = how to design innovative products that create customer value /
by:
(書目-電子資源)
Software data engineering for network eLearning environments = analytics and awareness learning services /
by:
(書目-電子資源)
The DevOps adoption playbook = a guide to adopting DevOps in a multi-speed IT enterprise /
by:
(書目-電子資源)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(書目-電子資源)
Next generation and advanced network reliability analysis = using Markov models and software reliability engineering /
by:
(書目-電子資源)
Interface development for learning environments = establishing connections between users and learning /
by:
(書目-電子資源)
Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud /
by:
(書目-電子資源)
Performance management of integrated systems and its applications in software engineering
by:
(書目-電子資源)
Beginning Git and GitHub = a comprehensive guide to version control, project management, and teamwork for the new developer /
by:
(書目-電子資源)
On the construction of engineering handbooks = with an illustration from the railway safety domain /
by:
(書目-電子資源)
Modern C++ for absolute beginners = a friendly introduction to C++ programming language and C++11 to C++20 standards /
by:
(書目-電子資源)
Software engineering for embedded systems = methods, practical techniques, and applications /
by:
(書目-電子資源)
Building better interfaces for remote autonomous systems = an introduction for systems engineers /
by:
(書目-電子資源)
Software business = 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16-18, 2020 : proceedings /
by:
(書目-電子資源)
Embedded software timing = methodology, analysis and practical tips with a focus on automotive /
by:
(書目-電子資源)
Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
(書目-電子資源)
Understanding System.IO for .NET Core 3 = implementing internal and commercial tools /
by:
(書目-電子資源)
Security protocols XXVII = 27th International Workshop, Cambridge, UK, April 10-12, 2019 : revised selected papers /
by:
(書目-電子資源)
Frontiers in cyber security = third International Conference, FCS 2020, Tianjin, China, November 15-17, 2020 : proceedings /
by:
(書目-電子資源)
Design thinking for software engineering = creating human-oriented software-intensive products and services /
by:
(書目-電子資源)
Sequence analysis and modern C++ = the creation of the SeqAn3 bioinformatics library /
by:
(書目-電子資源)
Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
(書目-電子資源)
GIT for electronic circuit design = CAD and version control for electrical engineers /
by:
(書目-電子資源)
Deployment and operation of complex software in heterogeneous execution environments = the SODALITE approach /
by:
(書目-電子資源)
Modern C++ for absolute beginners = a friendly introduction to the C++ programming language and C++11 to C++23 standards /
by:
(書目-電子資源)
MLOps lifecycle toolkit = a software engineering roadmap for designing, deploying, and scaling stochastic systems /
by:
(書目-電子資源)
A Deep Learning Based Approach to Sketch Recognition and Model Transformation for Requirements Elicitation and Modelling.
by:
(書目-電子資源)
Defense against Micro-Architecture Level Transient Execution Based Attacks via Program Analysis.
by:
(書目-電子資源)
Migrations To Microservices-Based Architectures - A Tale of Technical and Organizational Change.
by:
(書目-電子資源)
更多
較少的
主題