Software engineering.

Foundations of algebraic specification and formal software development by: (書目-電子資源)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (書目-電子資源)

Essentials of software engineering / by: (書目-語言資料,印刷品)

Software engineering : = evolution and emerging technologies / by: (書目-語言資料,印刷品)

Fundamentals of software engineering / by: (書目-語言資料,印刷品)

Software engineering / by: (書目-語言資料,印刷品)

Software engineering : = concepts and management / by: (書目-語言資料,印刷品)

Software engineering in the UNIX/C environment / by: (書目-語言資料,印刷品)

Practical guide to structured system development and maintenance / by: (書目-語言資料,印刷品)

Software engineering : = a practitioner's approach / by: (書目-語言資料,印刷品)

Software engineering and computer games / by: (書目-語言資料,印刷品)

The laws of software process : = a new model for the production and management of software / by: (書目-語言資料,印刷品)

Software engineering / by: (書目-語言資料,印刷品)

Software engineering / by: (書目-語言資料,印刷品)

Trustworthy systems through quantitative software engineering / by: (書目-語言資料,印刷品)

Methodologies and software engineering for agent systems = the agent-oriented software engineering handbook / by: (書目-電子資源)

Schaum's outline of theory and problems of software engineering by: (書目-電子資源)

An Integrated Approach to Software Engineering by: (書目-語言資料,印刷品)

Engineering and Managing Software Requirements by: (書目-語言資料,印刷品)

Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle by: (書目-語言資料,印刷品)

Software Product Line Engineering = Foundations, Principles, and Techniques / by: (書目-語言資料,印刷品)

Issues in Multi-Agent Systems = The AgentCities.ES Experience / by: (書目-語言資料,印刷品)

Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007/. II by: (書目-語言資料,印刷品)

Software engineering = evolution and emerging technologies / by: (書目-語言資料,印刷品)

Software engineering / by: (書目-語言資料,印刷品)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (書目-語言資料,印刷品)

Ada for software engineers (second edition with Ada 2005) by: (書目-語言資料,印刷品)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-語言資料,印刷品)

Formal foundations for software engineering methods by: (書目-電子資源)

Reflection and software engineering by: (書目-語言資料,印刷品)

Iterative software engineering for multiagent systems = the MASSIVE method / by: (書目-語言資料,印刷品)

Intentional perspectives on information systems engineering by: (書目-語言資料,印刷品)

Architecture-based design of multi-agent systems by: (書目-語言資料,印刷品)

Domain-specific model-driven testing by: (書目-語言資料,印刷品)

Advanced techniques in computing sciences and software engineering by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling / by: (書目-語言資料,印刷品)

Software automatic tuning = from concepts to state-of-the-art results / by: (書目-語言資料,印刷品)

Software engineering : = an object-oriented perspective / by: (書目-語言資料,印刷品)

Engineering of software = the continuing contributions of Leon J. Osterweil / by: (書目-電子資源)

Transactions on pattern languages of programming II = special issue on applying patterns / by: (書目-電子資源)

Specification of software systems by: (書目-電子資源)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (書目-電子資源)

Software similarity and classification by: (書目-電子資源)

Software process definition and management by: (書目-電子資源)

Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (書目-電子資源)

Software business = third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings / by: (書目-電子資源)

Modeling Time in Computing by: (書目-電子資源)

Soft city culture and technology = the Betaville Project / by: (書目-電子資源)

Embedded and real time system development = a software engineering perspective : concepts, methods and principles / by: (書目-電子資源)

Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (書目-電子資源)

Specification, algebra, and software = essays dedicated to Kokichi Futatsugi / by: (書目-電子資源)

Situational method engineering by: (書目-電子資源)

Advances in abstract intelligence and soft computing by: (書目-電子資源)

Distributed computing = 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings / by: (書目-電子資源)

Computer science and its applications = ubiquitous information technologies / by: (書目-電子資源)

Information science and applications by: (書目-電子資源)

Time-frequency domain for segmentation and classification of non-stationary signals = the Stockwell Transform applied on bio-signals and electric signals / by: (書目-電子資源)

Rapid prototyping of software for avionics systems = model-oriented approaches for complex systems certification / by: (書目-電子資源)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-電子資源)

The practice of enterprise modeling = 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings / by: (書目-電子資源)

Agent environments for multi-agent systems IV = 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014 : revised selected and invited papers / by: (書目-電子資源)

Data science = second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings / by: (書目-電子資源)

OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (書目-電子資源)

SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (書目-電子資源)

Dynamic data-driven environmental systems science = first International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers / by: (書目-電子資源)

PRIMA 2015 = principles and practice of multi-agent systems :: 18th International Conference, Bertinoro, Italy, October 26-30, 2015 : proceedings / by: (書目-電子資源)

Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (書目-電子資源)

Mobile, secure, and programmable networking = first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers / by: (書目-電子資源)

Advances in conceptual modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (書目-電子資源)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (書目-電子資源)

Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (書目-電子資源)

Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: (書目-電子資源)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part II / by: (書目-電子資源)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I / by: (書目-電子資源)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (書目-電子資源)

Research in attacks,intrusions, and defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings / by: (書目-電子資源)

Risk assessment and risk-driven testing = third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers / by: (書目-電子資源)

Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (書目-電子資源)

Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part I / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part IV / by: (書目-電子資源)

Agile Software Development Teams by: (書目-電子資源)

Object-oriented requirements analysis and logical design : = a software engineering approach / by: (書目-語言資料,印刷品)

Managing software engineering knowledge / by: (書目-語言資料,印刷品)

UML and the unified process by: (書目-電子資源)

Agile Processes in Software Engineering and Extreme Programming = 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings / by: (書目-語言資料,印刷品)

Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (書目-電子資源)

Engineering secure software and systems = 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings / by: (書目-電子資源)

Information security = 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings / by: (書目-電子資源)

Activity Monitoring by Multiple Distributed Sensing = Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / by: (書目-電子資源)

Service-oriented computing = 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency X by: (書目-電子資源)

Distributed computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings / by: (書目-電子資源)

A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (書目-電子資源)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (書目-電子資源)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (書目-電子資源)

Working with coders = a guide to software development for the perplexed non-techie / by: (書目-電子資源)

Advances in service-oriented and cloud computing = workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016 : revised selected papers / by: (書目-電子資源)

The agile safety case by: (書目-電子資源)

Data warehouse requirements engineering = a decision based approach / by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, proceedings / by: (書目-電子資源)

Software engineering / by: (書目-語言資料,印刷品)

Software portability with imake / by: (書目-語言資料,印刷品)

Real-time multicomputer software systems / by: (書目-語言資料,印刷品)

Advances in object-oriented software engineering / by: (書目-語言資料,印刷品)

A book of object-oriented knowledge : = object-oriented analysis, design, and implementation : a new approach to software engineering / by: (書目-語言資料,印刷品)

Software engineering / by: (書目-語言資料,印刷品)

Information engineering / by: (書目-語言資料,印刷品)

Neural network simulation environments / by: (書目-語言資料,印刷品)

Object-oriented software engineering : = the professional developer's guide / by: (書目-語言資料,印刷品)

Software engineering : = the production of quality software / by: (書目-語言資料,印刷品)

Data structures, algorithms, and software principles in C / by: (書目-語言資料,印刷品)

Software design and data structures in Turbo Pascal / by: (書目-語言資料,印刷品)

Software engineering : = a practitioner's approach / by: (書目-語言資料,印刷品)

Structured requirements analysis methodology with object extension / by: (書目-語言資料,印刷品)

Fundamentals of software engineering / by: (書目-語言資料,印刷品)

Artificial intelligence and software engineering = understanding the promise of the future / by: (書目-電子資源)

Knowledge-based software engineering by: (書目-電子資源)

Reverse engineering by: (書目-電子資源)

Software engineering : = Barry W. Boehm's lifetime contributions to software development, management, and research / by: (書目-語言資料,印刷品)

Software engineering for Internet applications / by: (書目-語言資料,印刷品)

Software measurement and estimation : = a practical approach / by: (書目-語言資料,印刷品)

Discovering real business requirements for software project success by: (書目-電子資源)

Requirements engineering for sociotechnical systems by: (書目-電子資源)

Service-oriented software system engineering = challenges and practices / by: (書目-電子資源)

Component-based software development = case studies / by: (書目-電子資源)

Data warehousing and web engineering by: (書目-電子資源)

Building reliable component-based software systems by: (書目-電子資源)

Practicing software engineering in the 21st century by: (書目-電子資源)

Software engineering : = a practitioners approach / 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: (書目-語言資料,印刷品)

Model-Based Software and Data Integration = First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Guide to Advanced Empirical Software Engineering by: (書目-語言資料,印刷品)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / 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: (書目-語言資料,印刷品)

Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings / by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (書目-語言資料,印刷品)

A concise introduction to software engineering by: (書目-電子資源)

Agile software engineering by: (書目-語言資料,印刷品)

Software engineering for micros : = the electrifying streamlined blueprint speedcode method / by: (書目-語言資料,印刷品)

Applying software engineering principles / by: (書目-語言資料,印刷品)

Software engineering : = design, reliability, and management / by: (書目-語言資料,印刷品)

Software engineering / by: (書目-語言資料,印刷品)

Beautiful code / by: (書目-語言資料,印刷品)

Empirical methods and studies in software engineering = experiences from ESERNET / 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: (書目-語言資料,印刷品)

Software engineering for large-scale mulit-agent systems = research issues and practical applications / by: (書目-語言資料,印刷品)

Software engineering : = a practitioner's approach = 軟件工程 : 實踐者的研究方法 / by: (書目-語言資料,印刷品)

Collaborative software engineering by: (書目-語言資料,印刷品)

Software engineering for secure systems = industrial and research perspectives / by: (書目-電子資源)

Engineering service oriented systems = a model driven approach / by: (書目-電子資源)

Service intelligence and service science = evolutionary technologies and challenges / by: (書目-電子資源)

Knowledge engineering for software development life cycles = support technologies and applications / by: (書目-電子資源)

Modern software engineering concepts and practices = advanced approaches / by: (書目-電子資源)

The future of software engineering by: (書目-電子資源)

Introduction to software process improvement by: (書目-電子資源)

New software engineering paradigm based on complexity science = an introduction to NSE / by: (書目-電子資源)

Games, actions and social software = multidisciplinary aspects / by: (書目-電子資源)

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (書目-電子資源)

Patterns, programming and everything by: (書目-電子資源)

The correctness-by-construction approach to programming by: (書目-電子資源)

Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes by: (書目-電子資源)

Adaptive control approach for software quality improvement by: (書目-電子資源)

Research methodologies, innovations, and philosophies in software systems engineering and information systems by: (書目-語言資料,印刷品)

Designing software-intensive systems = methods and principles / by: (書目-語言資料,印刷品)

Design problems, frames and innovative solutions by: (書目-語言資料,印刷品)

Practical support for lean six sigma software process definition = using IEEE software engineering standards / by: (書目-電子資源)

Data flow analysis = theory and practice / by: (書目-電子資源)

The Mythical man-month : = essays on software engineering / by: (書目-語言資料,印刷品)

Evolving software systems by: (書目-電子資源)

Recommendation systems in software engineering by: (書目-電子資源)

Transactions on aspect-oriented software development XI by: (書目-電子資源)

Systems and software quality = the next step for industrialisation / 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: (書目-電子資源)

Visual usability = principles and practices for designing digital applications / by: (書目-電子資源)

Software engineering for embedded systems = methods, practical techniques, and applications / by: (書目-電子資源)

Software engineering = architecture-driven software development / by: (書目-電子資源)

Autonomy requirements engineering for space missions by: (書目-電子資源)

Mashups = concepts, models and architectures / 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: (書目-電子資源)

Information and communication technologies in education, research, and industrial applications = 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014 : revised selected papers / by: (書目-電子資源)

Pro Git by: (書目-電子資源)

Practical software development techniques = tools and techniques for building enterprise software / by: (書目-電子資源)

A rigorous semantics for BPMN 2.0 process diagrams by: (書目-電子資源)

Innovation explosion : = using intellect and software to revolutionize growth strategies / by: (書目-語言資料,印刷品)

From requirements to Java in a snap = model-driven requirements engineering in practice / by: (書目-電子資源)

Software engineering for collective autonomic systems = The ASCENS Approach / by: (書目-電子資源)

Transactions on aspect-oriented software development XII by: (書目-電子資源)

Designing, engineering, and analyzing reliable and efficient software by: (書目-電子資源)

Software development techniques for constructive information systems design by: (書目-電子資源)

New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 / by: (書目-電子資源)

Software sourcing in the age of open = leveraging the unknown workforce / by: (書目-電子資源)

Model-integrating software components = engineering flexible software systems / by: (書目-電子資源)

Learning MATLAB = a problem solving approach / by: (書目-電子資源)

Agile product development = how to design innovative products that create customer value / by: (書目-電子資源)

Exploring the Raspberry Pi 2 with C++ by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (書目-電子資源)

Requirements in engineering projects by: (書目-電子資源)

Hybrid soft computing approaches = research and applications / by: (書目-電子資源)

Computational intelligence and quantitative software engineering by: (書目-電子資源)

Signal processing with free software = practical experiments / by: (書目-電子資源)

Nordic contributions in IS research = 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings / by: (書目-電子資源)

Stack frames = a look from inside / by: (書目-電子資源)

Behavioural models = from modelling finite automata to analysing business processes / by: (書目-電子資源)

Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (書目-電子資源)

Information systems for crisis response and management in mediterranean countries = third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings / by: (書目-電子資源)

The practice of enterprise modeling = 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings / by: (書目-電子資源)

Guide to software development = designing and managing the life cycle / by: (書目-電子資源)

Quality in business process modeling by: (書目-電子資源)

Software developers as users = semiotic investigations in human-centered software development / by: (書目-電子資源)

System architecture = an ordinary engineering discipline / by: (書目-電子資源)

Software architecture in action = designing and executing architectural models with SysADL grounded on the OMG SysML standard / by: (書目-電子資源)

C++/CLI primer = for .NET development / by: (書目-電子資源)

Model-driven development and operation of multi-cloud applications = the MODAClouds approach / by: (書目-電子資源)

Agile Swift = Swift programming using Agile tools and techniques / by: (書目-電子資源)

Perspectives on data science for software engineering / by: (書目-電子資源)

Bridging the gap between requirements engineering and software architecture = a problem-oriented and quality-driven method / by: (書目-電子資源)

Source code modularization = theory and techniques / by: (書目-電子資源)

Unraveling software maintenance and evolution = thinking outside the Box / by: (書目-電子資源)

Digging into software knowledge generation in cultural heritage = modeling assistance strategies for large archaeological data sets / by: (書目-電子資源)

Thinking-driven testing = the most reasonable approach to quality control / by: (書目-電子資源)

Modern software engineering methodologies for mobile and cloud environments by: (書目-電子資源)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence XXVIII by: (書目-電子資源)

Designing usable and secure software with IRIS and CAIRIS by: (書目-電子資源)

TraceME = a traceability-based method for conceptual model evolution : model-driven techniques, tools, guidelines, and open challenges in conceptual model evolution / by: (書目-電子資源)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (書目-電子資源)

Knowledge-based processes in software development by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017, held at CAiSE 2017, Essen, Germany, June 12-13, 2017 : proceedings / by: (書目-電子資源)

Beginning Git and GitHub = a comprehensive guide to version control, project management, and teamwork for the new developer / 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: (書目-電子資源)

Collaborative computing = networking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.. Part I / by: (書目-電子資源)

Collaborative computing = networking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.. Part II / by: (書目-電子資源)

Requirements engineering for social sector software applications = innovating for a diverse set of user needs / by: (書目-電子資源)

Defense against Micro-Architecture Level Transient Execution Based Attacks via Program Analysis. by: (書目-電子資源)

Expression in Live Coding: Gestural Interaction for Machine Musicianship. by: (書目-電子資源)

Devops on the Microsoft stack by: (書目-電子資源)

Enterprise, business-process and information systems modeling = 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, held at CAiSE 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / by: (書目-電子資源)

Advanced information systems engineering workshops = CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (書目-電子資源)

Business modeling and software design = 5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers / by: (書目-電子資源)

Beginning software engineering by: (書目-電子資源)

Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (書目-電子資源)

Real-world decision support systems by: (書目-電子資源)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (書目-電子資源)

Deductive software verification - The KeY Book = from theory to practice / by: (書目-電子資源)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (書目-電子資源)

Semantic web and model-driven engineering by: (書目-電子資源)

Concise guide to software engineering = from fundamentals to application methods / by: (書目-電子資源)

Software engineering = specification, implementation, verification / by: (書目-電子資源)

Present and ulterior software engineering by: (書目-電子資源)

Towards a synergistic combination of research and practice in software engineering by: (書目-電子資源)

Synergies between knowledge engineering and software engineering by: (書目-電子資源)

Practical Scala DSLs = real-world applications using domain specific languages / 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: (書目-電子資源)

Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers / by: (書目-電子資源)

Software development measurement programs = development, management and evolution / by: (書目-電子資源)

Integrating the internet of things into software engineering practices by: (書目-電子資源)

Programming and performance visualization tools = International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018 : revised selected papers / by: (書目-電子資源)

Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings / by: (書目-電子資源)

Software quality = complexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings / by: (書目-電子資源)

Cross-cultural design = 9th International Conference, CCD 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (書目-電子資源)

Design, user experience, and usability = designing pleasurable experiences : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (書目-電子資源)

Design, user experience, and usability = theory, methodology, and management : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (書目-電子資源)

Design, user experience, and usability = understanding users and contexts : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part III / by: (書目-電子資源)

Human-computer interaction = interaction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (書目-電子資源)

Human-computer interaction = user interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (書目-電子資源)

Unconventional computation and natural computation = 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings / by: (書目-電子資源)

Integrating research and practice in software engineering by: (書目-電子資源)

Performance management of integrated systems and its applications in software engineering by: (書目-電子資源)

Action research in software engineering = theory and applications / by: (書目-電子資源)

Software engineering in the era of cloud computing by: (書目-電子資源)

Automated software engineering = a deep learning-based approach / by: (書目-電子資源)

A journey towards bio-inspired techniques in software engineering by: (書目-電子資源)

Computing and software science = state of the art and perspectives / by: (書目-電子資源)

From software engineering to formal methods and tools, and back = essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday / by: (書目-電子資源)

Software engineering from scratch = a comprehensive introduction using Scala / by: (書目-電子資源)

Modern C++ for absolute beginners = a friendly introduction to C++ programming language and C++11 to C++20 standards / by: (書目-電子資源)

Computer-human interaction research and applications = second International Conference, CHIRA 2018, Seville, Spain, September 19-21, 2018 and third International Conference, CHIRA 2019, Vienna, Austria, September 20-21, 2019 : revised selected papers / by: (書目-電子資源)

SOFSEM 2021 = theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings / by: (書目-電子資源)

Patterns in the machine = a software engineering guide to embedded development / by: (書目-電子資源)

Software engineering for absolute beginners = your guide to creating software products / by: (書目-電子資源)

Essential spectrum-based fault localization by: (書目-電子資源)

Embedded software timing = methodology, analysis and practical tips with a focus on automotive / by: (書目-電子資源)

Automotive software architectures = an introduction / by: (書目-電子資源)

Financial software engineering by: (書目-電子資源)

Quality of information and communications technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020 : proceedings / by: (書目-電子資源)

Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (書目-電子資源)

Computer security - ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.. Part I / by: (書目-電子資源)

Computer security - ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.. Part II / by: (書目-電子資源)

Services - SERVICES 2020 = 16th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, proceedings.. Part III / by: (書目-電子資源)

Beginning C++20 = from novice to professional / by: (書目-電子資源)

Software engineering for robotics by: (書目-電子資源)

Advancements in model-driven architecture in software engineering by: (書目-電子資源)

Frontiers in cyber security = third International Conference, FCS 2020, Tianjin, China, November 15-17, 2020 : proceedings / by: (書目-電子資源)

MonoGame mastery = build a multi-platform 2D game and reusable game engine / by: (書目-電子資源)

Practical Git = confident Git through practice / by: (書目-電子資源)

Ernst Denert Award for Software Engineering 2019 = practice meets foundations / by: (書目-電子資源)

Domain science and engineering = a foundation for software development / by: (書目-電子資源)

Composing model-based analysis tools by: (書目-電子資源)

Getting started with secure embedded systems = developing IoT systems for micro:bit and Raspberry Pi Pico using Rust and Tock / by: (書目-電子資源)

Design thinking for software engineering = creating human-oriented software-intensive products and services / by: (書目-電子資源)

Patterns of software construction = how to predictably build results / by: (書目-電子資源)

Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday / by: (書目-電子資源)

Formal methods for software engineering = languages, methods, application domains / 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: (書目-電子資源)

DevOps for airborne software = exploring modern approaches / by: (書目-電子資源)

Handbook of requirements and business analysis by: (書目-電子資源)

Handbook on artificial intelligence-empowered applied software engineering.. Vol. 1,. Novel methodologies to engineering smart software systems by: (書目-電子資源)

Concise guide to software engineering = from fundamentals to application methods / by: (書目-電子資源)

Cooperative design, visualization, and engineering = 19th International Conference, CDVE 2022, virtual event, September 25-28, 2022 : proceedings / by: (書目-電子資源)

Quantum software engineering by: (書目-電子資源)

Accelerating digital transformation = 10 years of Software Center / by: (書目-電子資源)

Handbook on artificial intelligence-empowered applied software engineering.. Vol. 2,. Smart software applications in cyber-physical systems by: (書目-電子資源)

Certifiable software applications. = downward cycle /. 3,. Downward cycle by: (書目-電子資源)

Component-based software engineering : = putting the pieces together / by: (書目-語言資料,印刷品)

Developing sustainable and energy-efficient software systems by: (書目-電子資源)

IBM software systems integration = with IBM MQ Series for JMS, IBM FileNet Case Manager, and IBM Business Automation Workflow / by: (書目-電子資源)

The business manager's guide to software projects = a framework for decision-making, team collaboration, and effectiveness / by: (書目-電子資源)

Agile software engineering skills by: (書目-電子資源)

Reference architectures for critical domains = industrial uses and impacts / by: (書目-電子資源)

Convergence in crossover service by: (書目-電子資源)

Developing information systems accurately = a wholistic 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: (書目-電子資源)

Cloud computing, big data & emerging topics = 11th Conference, JCC-BD & ET 2023, La Plata, Argentina, June 27-29, 2023 : proceedings / by: (書目-電子資源)

Artificial intelligence methods for software engineering by: (書目-電子資源)

A Deep Learning Based Approach to Sketch Recognition and Model Transformation for Requirements Elicitation and Modelling. by: (書目-電子資源)

Security Enhancement of Vehicle Software Systems. by: (書目-電子資源)

Deep Learning Based Simulation for Automotive Software Development. by: (書目-電子資源)

A Framework for Dynamic Heterogeneous Information Networks Change Discovery Based on Knowledge Engineering and Data Mining Methods. by: (書目-電子資源)

The Determinants of Value Addition: A Crtitical Analysis of Global Software Engineering Industry in Sri Lanka. by: (書目-電子資源)

Designing Trustworthy Autonomous Systems. by: (書目-電子資源)

Detect and Repair Errors for DNN-based Software. by: (書目-電子資源)

Recognizing and Understanding User Behaviors from Screencasts. by: (書目-電子資源)

Migrations To Microservices-Based Architectures - A Tale of Technical and Organizational Change. by: (書目-電子資源)

Mobile, secure, and programmable networking = 9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023 : revised selected papers / by: (書目-電子資源)

New perspectives in software engineering by: (書目-電子資源)

Radical therapy for software development teams = lessons in remote team management and positive motivation / by: (書目-電子資源)

Ernst Denert Award for Software Engineering 2022 = practice meets foundations / by: (書目-電子資源)

IT crisisology models = object-based optimization for sustainable development / by: (書目-電子資源)

Networking and parallel/distributed computing systems.. Volume 18 by: (書目-電子資源)

Software engineering and management = theory and application.. Volume 16 / by: (書目-電子資源)

Beginning Git and GitHub = version control, project management and teamwork for the new developer / by: (書目-電子資源)

Software engineering, artificial intelligence, networking and parallel/distributed computing.. Volume 17 by: (書目-電子資源)

The engineering leadership playbook = strategies for team success and business growth / by: (書目-電子資源)

Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday / by: (書目-電子資源)

Taming your dragon = addressing your technical debt / by: (書目-電子資源)

Equity, diversity, and inclusion in software engineering = best practices and insights / by: (書目-電子資源)

Strategic software engineering = software engineering beyond the code / by: (書目-電子資源)

Quantum software = aspects of theory and system design / by: (書目-電子資源)

Become GCP cloud digital leader certified in 7 days = getting to know Google Cloud / by: (書目-電子資源)

Immersive Learning Environments for Computer Science Education. by: (書目-電子資源)

Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud / by: (書目-電子資源)

Cloud computing, big data & emerging topics = 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020 : proceedings / by: (書目-電子資源)

Toward Fixing Bad Practices in Software Engineering Hiring Process. by: (書目-電子資源)

Next generation and advanced network reliability analysis = using Markov models and software reliability engineering / by: (書目-電子資源)

Engineering software systems = research and praxis / by: (書目-電子資源)

Interface development for learning environments = establishing connections between users and learning / by: (書目-電子資源)

Rethinking productivity in software engineering by: (書目-電子資源)

Coordination models and languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (書目-電子資源)

Emerging technologies for authorization and authentication = second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings / by: (書目-電子資源)

Mining software engineering data for software reuse by: (書目-電子資源)

Guide to software systems development = connecting novel theory and current practice / by: (書目-電子資源)

On the construction of engineering handbooks = with an illustration from the railway safety domain / by: (書目-電子資源)

Software engineering for embedded systems = methods, practical techniques, and applications / by: (書目-電子資源)

Implementation and application of automata = 24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings / by: (書目-電子資源)

Environment modeling-based requirements engineering for software intensive systems by: (書目-電子資源)

Software architecture for big data and the cloud by: (書目-電子資源)

Graph transformation for software engineers = with applications to model-based development and domain-specific language engineering / 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: (書目-電子資源)

Systems, software and services process improvement = 27th European Conference, EuroSPI 2020, Dusseldorf, Germany, September 9-11, 2020 : proceedings / by: (書目-電子資源)

Contemporary empirical methods in software engineering by: (書目-電子資源)

Systems benchmarking = for scientists and engineers / by: (書目-電子資源)

Advances in cryptology - CRYPTO 2020 = 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020 : proceedings.. Part III / by: (書目-電子資源)

Parallel Problem Solving from Nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.. Part II / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.. Part I / by: (書目-電子資源)

Euro-Par 2020 = parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings / by: (書目-電子資源)

Security protocols XXVII = 27th International Workshop, Cambridge, UK, April 10-12, 2019 : revised selected papers / by: (書目-電子資源)

Implementing effective code reviews = how to build and maintain clean code / by: (書目-電子資源)

Resource allocation for software defined networks by: (書目-電子資源)

Smart service management = design guidelines and best practices / by: (書目-電子資源)

Ernst Denert Award for Software Engineering 2020 = practice meets foundations / by: (書目-電子資源)

Sequence analysis and modern C++ = the creation of the SeqAn3 bioinformatics library / by: (書目-電子資源)

Head first Git / by: (書目-語言資料,印刷品)

Towards a Bim-Supported Facility Management Knowledge Management System for Energy Efficient Building Operations by Rule-Based Code Compliance Checking = = Hin zu Einem Bim-Gestutzten Facility-Management-Wissensmanagementsystem Fur Einen Energieeffizienten Gebaudebetrieb Durch Regelbasierte Uberprufung der Einhaltung von Vorschriften. by: (書目-電子資源)