Software engineering.
Overview
| Works: | 408 works in 305 publications in 305 languages | |
|---|---|---|
Titles
Object-oriented software engineering :using UML, patterns and Java /
by:
(Language materials, printed)
Jumpstart CMM/CMMI software process improvement :Using IEEE software engineering standards /
by:
(Language materials, printed)
The project manager's guide to software engineering's best practices /
by:
(Language materials, printed)
Introduction to software engineering design :processes, principles, and patterns with UML2 /
by:
(Language materials, printed)
Designing with blends :conceptual foundations of human-computer interaction and software engineering /
by:
(Language materials, printed)
Software engineering foundations :a software science perspective /
by:
(Language materials, printed)
The cognitive dynamics of computer science :cost-effective large scale software development /
by:
(Electronic resources)
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:
(Electronic resources)
Agent-oriented software engineering VIII8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(Electronic resources)
Data Analysis, Machine Learning and ApplicationsProceedings of the 31st Annual Conference of the Gesellschaft fur Klassifikation e.V., Albert-Ludwigs-Universitat Freiburg, March 7-9, 2007 /
by:
(Electronic resources)
Software Engineering for Multi-Agent Systems IVResearch Issues and Practical Applications /
by:
(Electronic resources)
Concurrency, Graphs and ModelsEssays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(Electronic resources)
Models in Software EngineeringWorkshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(Electronic resources)
Smart Homes and Health Telematics6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(Electronic resources)
Agile Processes in Software Engineering and Extreme Programming9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings /
by:
(Electronic resources)
Advanced Functional Programming5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(Electronic resources)
Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(Electronic resources)
Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Electronic resources)
Integrating security and software engineeringadvances and future visions /
by:
(Electronic resources)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Language materials, printed)
CMMI :guidelines for process integration and product improvement /
by:
(Language materials, printed)
Engineering secure software and systemsFirst international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings /
by:
(Electronic resources)
Empirical methods and studies in software engineeringexperiences from ESERNET /
by:
(Electronic resources)
Inductive synthesis of functional programsuniversal planning, folding of finite programs, and schema abstraction by analogical reasoning /
by:
(Electronic resources)
Matchmaking in electronic marketsan agent-based approach towards matchmaking in electronic negotiations /
by:
(Electronic resources)
Software engineering for large-scale mulit-agent systemsresearch issues and practical applications /
by:
(Electronic resources)
Methodologies and software engineering for agent systemsthe agent-oriented software engineering handbook /
by:
(Electronic resources)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Electronic resources)
Human-centered software engineeringsoftware engineering models, patterns and architectures for HCI /
by:
(Electronic resources)
Iterative software engineering for multiagent systemsthe MASSIVE method /
by:
(Electronic resources)
Transactions on aspect-oriented software development VIIa common case study for aspect-oriented modeling /
by:
(Electronic resources)
New software engineering paradigm based on complexity sciencean introduction to NSE /
by:
(Electronic resources)
Transactions on pattern languages of programming IIspecial issue on applying patterns /
by:
(Electronic resources)
Engineering of softwarethe continuing contributions of Leon J. Osterweil /
by:
(Electronic resources)
The art of software innovationeight practice areas to inspire your business /
by:
(Electronic resources)
Formal development of a network-centric RTOSsoftware engineering for reliable embedded systems /
by:
(Electronic resources)
Software engineering for secure systemsindustrial and research perspectives /
by:
(Electronic resources)
Service intelligence and service scienceevolutionary technologies and challenges /
by:
(Electronic resources)
Knowledge engineering for software development life cyclessupport technologies and applications /
by:
(Electronic resources)
The economics of iterative software development :steering toward better business results /
by:
(Language materials, printed)
Formal aspects of component software7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Electronic resources)
Logic and program semanticsessays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(Electronic resources)
Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes
by:
(Electronic resources)
Software service and application engineeringessays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Electronic resources)
Software businessthird International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings /
by:
(Electronic resources)
Research methodologies, innovations, and philosophies in software systems engineering and information systems
by:
(Electronic resources)
Software engineering frameworks for the cloud computing paradigm /
by:
(Language materials, printed)
Practical support for lean six sigma software process definitionusing IEEE software engineering standards /
by:
(Electronic resources)
Embedded and real time system developmenta software engineering perspective : concepts, methods and principles /
by:
(Electronic resources)
Membrane computing14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Electronic resources)
Engineering secure software and systems6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and methodthird International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Electronic resources)
Specification, algebra, and softwareessays dedicated to Kokichi Futatsugi /
by:
(Electronic resources)
Aligning business processes and information systemsnew approaches to continuous quality engineering /
by:
(Electronic resources)
Software engineering techniques applied to agricultural systemsan object-oriented and UML approach /
by:
(Electronic resources)
Multiple access communications7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings /
by:
(Electronic resources)
Programming languages18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(Electronic resources)
Social software engineeringdevelopment and collaboration with social networking /
by:
(Electronic resources)
Distributed computing28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings /
by:
(Language materials, printed)
Information and communication technologies in education, research, and industrial applications10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014 : revised selected papers /
by:
(Electronic resources)
Information security17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings /
by:
(Electronic resources)
Activity Monitoring by Multiple Distributed SensingSecond International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers /
by:
(Electronic resources)
Practical software development techniquestools and techniques for building enterprise software /
by:
(Electronic resources)
Visual usabilityprinciples and practices for designing digital applications /
by:
(Electronic resources)
Software engineering for embedded systemsmethods, practical techniques, and applications /
by:
(Electronic resources)
Computer science and its applicationsubiquitous information technologies /
by:
(Electronic resources)
From requirements to Java in a snapmodel-driven requirements engineering in practice /
by:
(Electronic resources)
Software engineering for collective autonomic systemsThe ASCENS Approach /
by:
(Electronic resources)
Software development techniques for constructive information systems design
by:
(Electronic resources)
New trends in software methodologies, tools and techniquesproceedings of the Thirteenth SoMeT_14 /
by:
(Electronic resources)
Model-integrating software componentsengineering flexible software systems /
by:
(Electronic resources)
Time-frequency domain for segmentation and classification of non-stationary signalsthe Stockwell Transform applied on bio-signals and electric signals /
by:
(Electronic resources)
Rapid prototyping of software for avionics systemsmodel-oriented approaches for complex systems certification /
by:
(Electronic resources)
Software technologies9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Electronic resources)
The practice of enterprise modeling8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings /
by:
(Electronic resources)
Agent environments for multi-agent systems IV4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014 : revised selected and invited papers /
by:
(Electronic resources)
Data sciencesecond International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings /
by:
(Electronic resources)
OpenMPheterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Electronic resources)
SDL 2015model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Dynamic data-driven environmental systems sciencefirst International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers /
by:
(Electronic resources)
Programming languages with applications to biology and securityessays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Electronic resources)
Mobile, secure, and programmable networkingfirst International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /
by:
(Electronic resources)
Advances in conceptual modelingER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings /
by:
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
Testing Software and Systems27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Electronic resources)
Globalizing domain-specific languagesInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Electronic resources)
Engineering multi-agent systemsthird International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Electronic resources)
Web information systems engineering - WISE 201516th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part II /
by:
(Electronic resources)
Web information systems engineering - WISE 201516th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I /
by:
(Electronic resources)
Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Electronic resources)
Research in attacks,intrusions, and defenses18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(Electronic resources)
Risk assessment and risk-driven testingthird International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers /
by:
(Electronic resources)
Theory and practice of natural computingfourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part I /
by:
(Electronic resources)
Algorithms and architectures for parallel processing15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV /
by:
(Electronic resources)
Service-oriented computing13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
by:
(Electronic resources)
Distributed computing29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
by:
(Electronic resources)
Agile product developmenthow to design innovative products that create customer value /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Electronic resources)
Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
A list of successes that can change the worldessays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Electronic resources)
Enterprise, business-process and information systems modeling17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, held at CAiSE 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings /
by:
(Electronic resources)
Advanced information systems engineering workshopsCAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings /
by:
(Electronic resources)
Business modeling and software design5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers /
by:
(Electronic resources)
Nordic contributions in IS research7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings /
by:
(Electronic resources)
Behavioural modelsfrom modelling finite automata to analysing business processes /
by:
(Electronic resources)
Information and software technologies22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings /
by:
(Electronic resources)
Information systems for crisis response and management in mediterranean countriesthird International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings /
by:
(Electronic resources)
The practice of enterprise modeling9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings /
by:
(Electronic resources)
Software developers as userssemiotic investigations in human-centered software development /
by:
(Electronic resources)
Software architecture in actiondesigning and executing architectural models with SysADL grounded on the OMG SysML standard /
by:
(Electronic resources)
Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Hardware and softwareverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Electronic resources)
Model-driven development and operation of multi-cloud applicationsthe MODAClouds approach /
by:
(Electronic resources)
Bridging the gap between requirements engineering and software architecturea problem-oriented and quality-driven method /
by:
(Electronic resources)
Enterprise, business-process and information systems modeling18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017, held at CAiSE 2017, Essen, Germany, June 12-13, 2017 : proceedings /
by:
(Electronic resources)
Concise guide to software engineeringfrom fundamentals to application methods /
by:
(Electronic resources)
Working with codersa guide to software development for the perplexed non-techie /
by:
(Electronic resources)
Towards a synergistic combination of research and practice in software engineering
by:
(Electronic resources)
Digging into software knowledge generation in cultural heritagemodeling assistance strategies for large archaeological data sets /
by:
(Electronic resources)
Practical Scala DSLsreal-world applications using domain specific languages /
by:
(Electronic resources)
Advances in service-oriented and cloud computingworkshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016 : revised selected papers /
by:
(Electronic resources)
Software data engineering for network eLearning environmentsanalytics and awareness learning services /
by:
(Electronic resources)
Modern software engineering methodologies for mobile and cloud environments
by:
(Electronic resources)
The DevOps adoption playbooka guide to adopting DevOps in a multi-speed IT enterprise /
by:
(Electronic resources)
TraceMEa traceability-based method for conceptual model evolution : model-driven techniques, tools, guidelines, and open challenges in conceptual model evolution /
by:
(Electronic resources)
Real-Time C++efficient object-oriented and template microcontroller programming /
by:
(Electronic resources)
Functional and logic programming14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Electronic resources)
Enterprise, business-process and information systems modeling19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, proceedings /
by:
(Electronic resources)
Global thoughts, local designsINTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers /
by:
(Electronic resources)
Comparing and aligning process representationsfoundations and technical solutions /
by:
(Electronic resources)
Information systems in the Big Data EraCAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings /
by:
(Electronic resources)
Software development measurement programsdevelopment, management and evolution /
by:
(Electronic resources)
Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
by:
(Electronic resources)
Next generation and advanced network reliability analysisusing Markov models and software reliability engineering /
by:
(Electronic resources)
Interface development for learning environmentsestablishing connections between users and learning /
by:
(Electronic resources)
Programming and performance visualization toolsInternational 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:
(Electronic resources)
Advances in computing12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(Electronic resources)
Software qualitycomplexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings /
by:
(Electronic resources)
Cross-cultural design9th International Conference, CCD 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings /
by:
(Electronic resources)
Design, user experience, and usabilitydesigning 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:
(Electronic resources)
Design, user experience, and usabilitytheory, 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:
(Electronic resources)
Design, user experience, and usabilityunderstanding 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:
(Electronic resources)
Human-computer interactioninteraction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II /
by:
(Electronic resources)
Human-computer interactionuser interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I /
by:
(Electronic resources)
Unconventional computation and natural computation16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings /
by:
(Electronic resources)
Practical microservices architectural patternsevent-based Java microservices with Spring Boot and Spring Cloud /
by:
(Electronic resources)
Automotive systems and software engineeringstate of the art and future trends /
by:
(Electronic resources)
Models, languages, and tools for concurrent and distributed programmingessays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
(Electronic resources)
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part I /
by:
(Electronic resources)
Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II /
by:
(Electronic resources)
From software engineering to formal methods and tools, and backessays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
(Electronic resources)
Software engineering from scratcha comprehensive introduction using Scala /
by:
(Electronic resources)
Unconventional computation and natural computation17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018 : proceedings /
by:
(Electronic resources)
Guide to software systems developmentconnecting novel theory and current practice /
by:
(Electronic resources)
On the construction of engineering handbookswith an illustration from the railway safety domain /
by:
(Electronic resources)
Emerging technologies for authorization and authenticationsecond International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019 : proceedings /
by:
(Electronic resources)
Foundations of information and knowledge systems11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings /
by:
(Electronic resources)
Beginning Git and GitHuba comprehensive guide to version control, project management, and teamwork for the new developer /
by:
(Electronic resources)
Performance management of integrated systems and its applications in software engineering
by:
(Electronic resources)
Graph transformation for software engineerswith applications to model-based development and domain-specific language engineering /
by:
(Electronic resources)
Fields of logic and computation IIIessays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
(Electronic resources)
Understanding System.IO for .NET Core 3implementing internal and commercial tools /
by:
(Electronic resources)
Software engineering for embedded systemsmethods, practical techniques, and applications /
by:
(Electronic resources)
Modern C++ for absolute beginnersa friendly introduction to C++ programming language and C++11 to C++20 standards /
by:
(Electronic resources)
Systems, software and services process improvement27th European Conference, EuroSPI 2020, Dusseldorf, Germany, September 9-11, 2020 : proceedings /
by:
(Electronic resources)
Advances in cryptology - CRYPTO 202040th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020 : proceedings.Part III /
by:
(Electronic resources)
Parallel Problem Solving from Nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.Part II /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.Part I /
by:
(Electronic resources)
Euro-Par 2020parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings /
by:
(Electronic resources)
Security protocols XXVII27th International Workshop, Cambridge, UK, April 10-12, 2019 : revised selected papers /
by:
(Electronic resources)
Implementing effective code reviewshow to build and maintain clean code /
by:
(Electronic resources)
Quality of information and communications technology13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020 : proceedings /
by:
(Electronic resources)
Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Computer security - ESORICS 202025th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.Part I /
by:
(Electronic resources)
Computer security - ESORICS 202025th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.Part II /
by:
(Electronic resources)
Services - SERVICES 202016th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, proceedings.Part III /
by:
(Electronic resources)
Implementation and application of automata24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings /
by:
(Electronic resources)
Cloud computing, big data & emerging topics8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020 : proceedings /
by:
(Electronic resources)
Frontiers in cyber securitythird International Conference, FCS 2020, Tianjin, China, November 15-17, 2020 : proceedings /
by:
(Electronic resources)
MonoGame masterybuild a multi-platform 2D game and reusable game engine /
by:
(Electronic resources)
Ernst Denert Award for Software Engineering 2019practice meets foundations /
by:
(Electronic resources)
Building better interfaces for remote autonomous systemsan introduction for systems engineers /
by:
(Electronic resources)
Software business11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16-18, 2020 : proceedings /
by:
(Electronic resources)
Collaborative computingnetworking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.Part I /
by:
(Electronic resources)
Collaborative computingnetworking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.Part II /
by:
(Electronic resources)
SOFSEM 2021theory 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:
(Electronic resources)
Patterns in the machinea software engineering guide to embedded development /
by:
(Electronic resources)
Software engineering for absolute beginnersyour guide to creating software products /
by:
(Electronic resources)
Embedded software timingmethodology, analysis and practical tips with a focus on automotive /
by:
(Electronic resources)
Environment modeling-based requirements engineering for software intensive systems
by:
(Electronic resources)
Requirements engineering for social sector software applicationsinnovating for a diverse set of user needs /
by:
(Electronic resources)
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
(Electronic resources)
Getting started with secure embedded systemsdeveloping IoT systems for micro:bit and Raspberry Pi Pico using Rust and Tock /
by:
(Electronic resources)
Design thinking for software engineeringcreating human-oriented software-intensive products and services /
by:
(Electronic resources)
Ernst Denert Award for Software Engineering 2020practice meets foundations /
by:
(Electronic resources)
Sequence analysis and modern C++the creation of the SeqAn3 bioinformatics library /
by:
(Electronic resources)
Formal methods for software engineeringlanguages, methods, application domains /
by:
(Electronic resources)
GIT for electronic circuit designCAD and version control for electrical engineers /
by:
(Electronic resources)
Deployment and operation of complex software in heterogeneous execution environmentsthe SODALITE approach /
by:
(Electronic resources)
Handbook on artificial intelligence-empowered applied software engineering.Vol. 1,Novel methodologies to engineering smart software systems
by:
(Electronic resources)
Concise guide to software engineeringfrom fundamentals to application methods /
by:
(Electronic resources)
Cooperative design, visualization, and engineering19th International Conference, CDVE 2022, virtual event, September 25-28, 2022 : proceedings /
by:
(Electronic resources)
Handbook on artificial intelligence-empowered applied software engineering.Vol. 2,Smart software applications in cyber-physical systems
by:
(Electronic resources)
IBM software systems integrationwith IBM MQ Series for JMS, IBM FileNet Case Manager, and IBM Business Automation Workflow /
by:
(Electronic resources)
The business manager's guide to software projectsa framework for decision-making, team collaboration, and effectiveness /
by:
(Electronic resources)
Reference architectures for critical domainsindustrial uses and impacts /
by:
(Electronic resources)
Modern C++ for absolute beginnersa friendly introduction to the C++ programming language and C++11 to C++23 standards /
by:
(Electronic resources)
Cloud computing, big data & emerging topics11th Conference, JCC-BD & ET 2023, La Plata, Argentina, June 27-29, 2023 : proceedings /
by:
(Electronic resources)
MLOps lifecycle toolkita software engineering roadmap for designing, deploying, and scaling stochastic systems /
by:
(Electronic resources)
The engineering leadership playbookstrategies for team success and business growth /
by:
(Electronic resources)
Software engineering, artificial intelligence, networking and parallel/distributed computing.Volume 17
by:
(Electronic resources)
Theories of programming and formal methodsessays dedicated to Jifeng He on the occasion of his 80th birthday /
by:
(Electronic resources)
Mobile, secure, and programmable networking9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023 : revised selected papers /
by:
(Electronic resources)
Radical therapy for software development teamslessons in remote team management and positive motivation /
by:
(Electronic resources)
Ernst Denert Award for Software Engineering 2022practice meets foundations /
by:
(Electronic resources)
IT crisisology modelsobject-based optimization for sustainable development /
by:
(Electronic resources)
Beginning Git and GitHubversion control, project management and teamwork for the new developer /
by:
(Electronic resources)
Become GCP cloud digital leader certified in 7 daysgetting to know Google Cloud /
by:
(Electronic resources)
Equity, diversity, and inclusion in software engineeringbest practices and insights /
by:
(Electronic resources)
Hands-on large language models :language understanding and generation /
by:
(Language materials, printed)
Go where the bugs areessays dedicated to Wolfgang Reif on the occasion of his 65th Birthday /
by:
(Electronic resources)
The combined power of research, education, and disseminationessays dedicated to Tiziana Margaria on the occasion of her 60th birthday /
by:
(Electronic resources)
A concise introduction to software engineeringwith open source and GenAI /
by:
(Electronic resources)
Rebeca for actor analysis in actionessays dedicated to Marjan Sirjani on the occasion of her 60th birthda /
by:
(Electronic resources)
Software engineering made easya comprehensive reference guide for writing good code /
by:
(Electronic resources)
Concurrent programming interviewsa practical guide to becoming the standout candidate /
by:
(Electronic resources)
Show more
Fewer
Subjects