Software engineering.
Overview
| Works: | 399 works in 247 publications in 247 languages | |
|---|---|---|
Titles
Software conflict : = essays on the art and science of software engineering /
by:
(Language materials, printed)
Wicked problems, righteous solutions : = a catalogue of modern software engineering paradigms /
by:
(Language materials, printed)
Practical guide to structured system development and maintenance /
by:
(Language materials, printed)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Software automatic tuning = from concepts to state-of-the-art results /
by:
(Language materials, printed)
New software engineering paradigm based on complexity science = an introduction to NSE /
by:
(Electronic resources)
Research methodologies, innovations, and philosophies in software systems engineering and information systems
by:
(Language materials, printed)
Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Electronic resources)
Multiple access communications = 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings /
by:
(Electronic resources)
Social software engineering = development and collaboration with social networking /
by:
(Electronic resources)
Practical software development techniques = tools and techniques for building enterprise software /
by:
(Electronic resources)
From requirements to Java in a snap = model-driven requirements engineering in practice /
by:
(Electronic resources)
Software development techniques for constructive information systems design
by:
(Electronic resources)
Object-oriented requirements analysis and logical design : = a software engineering approach /
by:
(Language materials, printed)
A book of object-oriented knowledge : = object-oriented analysis, design, and implementation : a new approach to software engineering /
by:
(Language materials, printed)
Object-oriented software engineering : = the professional developer's guide /
by:
(Language materials, printed)
Structured requirements analysis methodology with object extension /
by:
(Language materials, printed)
The laws of software process : = a new model for the production and management of software /
by:
(Language materials, printed)
Systems management for information technology and software engineering /
by:
(Language materials, printed)
Artificial intelligence and software engineering = understanding the promise of the future /
by:
(Electronic resources)
Software engineering : = Barry W. Boehm's lifetime contributions to software development, management, and research /
by:
(Language materials, printed)
Methodologies and software engineering for agent systems = the agent-oriented software engineering handbook /
by:
(Language materials, printed)
Service-oriented software system engineering = challenges and practices /
by:
(Language materials, printed)
Advanced Functional Programming = 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(Language materials, printed)
Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle
by:
(Language materials, printed)
Software Product Line Engineering = Foundations, Principles, and Techniques /
by:
(Language materials, printed)
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:
(Language materials, printed)
Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers /
by:
(Language materials, printed)
Data Analysis, Machine Learning and Applications = Proceedings of the 31st Annual Conference of the Gesellschaft fur Klassifikation e.V., Albert-Ludwigs-Universitat Freiburg, March 7-9, 2007/
by:
(Language materials, printed)
Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
by:
(Language materials, printed)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Language materials, printed)
Software engineering for micros : = the electrifying streamlined blueprint speedcode method /
by:
(Language materials, printed)
Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings /
by:
(Language materials, printed)
Empirical methods and studies in software engineering = experiences from ESERNET /
by:
(Language materials, printed)
Inductive synthesis of functional programs = universal planning, folding of finite programs, and schema abstraction by analogical reasoning /
by:
(Language materials, printed)
Methodologies and software engineering for agent systems = the agent-oriented software engineering handbook /
by:
(Language materials, printed)
Software engineering, artificial intelligence, networking and parallel/distributed computing
by:
(Language materials, printed)
Software engineering : = a practitioner's approach = 軟件工程 : 實踐者的研究方法 /
by:
(Language materials, printed)
Advanced techniques in computing sciences and software engineering
by:
(Language materials, printed)
Transactions on aspect-oriented software development VII = a common case study for aspect-oriented modeling /
by:
(Language materials, printed)
Software engineering for secure systems = industrial and research perspectives /
by:
(Electronic resources)
Service intelligence and service science = evolutionary technologies and challenges /
by:
(Electronic resources)
Knowledge engineering for software development life cycles = support technologies and applications /
by:
(Electronic resources)
Modern software engineering concepts and practices = advanced approaches /
by:
(Electronic resources)
Engineering of software = the continuing contributions of Leon J. Osterweil /
by:
(Electronic resources)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Electronic resources)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Electronic resources)
Logic and program semantics = essays 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 business = third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings /
by:
(Electronic resources)
Practical support for lean six sigma software process definition = using IEEE software engineering standards /
by:
(Electronic resources)
Embedded and real time system development = a software engineering perspective : concepts, methods and principles /
by:
(Electronic resources)
Engineering secure software and systems = 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Electronic resources)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Electronic resources)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
(Electronic resources)
Aligning business processes and information systems = new approaches to continuous quality engineering /
by:
(Electronic resources)
Software engineering techniques applied to agricultural systems = an object-oriented and UML approach /
by:
(Electronic resources)
Visual usability = principles and practices for designing digital applications /
by:
(Electronic resources)
Software engineering for embedded systems = methods, practical techniques, and applications /
by:
(Electronic resources)
Programming languages = 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings /
by:
(Electronic resources)
Distributed computing = 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Information security = 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014 : proceedings /
by:
(Electronic resources)
Activity Monitoring by Multiple Distributed Sensing = Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers /
by:
(Electronic resources)
Innovation explosion : = using intellect and software to revolutionize growth strategies /
by:
(Language materials, printed)
Computer science and its applications = ubiquitous information technologies /
by:
(Electronic resources)
New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 /
by:
(Electronic resources)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Electronic resources)
The practice of enterprise modeling = 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings /
by:
(Electronic resources)
Discovering real business requirements for software project success
by:
(Language materials, printed)
Matchmaking in electronic markets = an agent-based approach towards matchmaking in electronic negotiations /
by:
(Language materials, printed)
Behavioural models = from modelling finite automata to analysing business processes /
by:
(Electronic resources)
Working with coders = a guide to software development for the perplexed non-techie /
by:
(Electronic resources)
Beginning Git and GitHub = a comprehensive guide to version control, project management, and teamwork for the new developer /
by:
(Electronic resources)
Software engineering from scratch = a comprehensive introduction using Scala /
by:
(Electronic resources)
Building better interfaces for remote autonomous systems = an introduction for systems engineers /
by:
(Electronic resources)
Software business = 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16-18, 2020 : proceedings /
by:
(Electronic resources)
Collaborative computing = networking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.. Part I /
by:
(Electronic resources)
Collaborative computing = networking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.. Part II /
by:
(Electronic resources)
Understanding System.IO for .NET Core 3 = implementing internal and commercial tools /
by:
(Electronic resources)
MonoGame mastery = build a multi-platform 2D game and reusable game engine /
by:
(Electronic resources)
Ernst Denert Award for Software Engineering 2019 = practice meets foundations /
by:
(Electronic resources)
Formal methods for software engineering = languages, methods, application domains /
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 engineering = from fundamentals to application methods /
by:
(Electronic resources)
Research in attacks,intrusions, and defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings /
by:
(Electronic resources)
Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part II /
by:
(Electronic resources)
Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I /
by:
(Electronic resources)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Electronic resources)
Risk assessment and risk-driven testing = third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers /
by:
(Electronic resources)
Model-Based Software and Data Integration = First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings /
by:
(Language materials, printed)
Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
by:
(Language materials, printed)
Agile Processes in Software Engineering and Extreme Programming = 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings /
by:
(Language materials, printed)
Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /
by:
(Language materials, printed)
Software engineering for large-scale mulit-agent systems = research issues and practical applications /
by:
(Language materials, printed)
Iterative software engineering for multiagent systems = the MASSIVE method /
by:
(Language materials, printed)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Electronic resources)
Software engineering for collective autonomic systems = The ASCENS Approach /
by:
(Electronic resources)
Software sourcing in the age of open = leveraging the unknown workforce /
by:
(Electronic resources)
Model-integrating software components = engineering flexible software systems /
by:
(Electronic resources)
Time-frequency domain for segmentation and classification of non-stationary signals = the Stockwell Transform applied on bio-signals and electric signals /
by:
(Electronic resources)
Rapid prototyping of software for avionics systems = model-oriented approaches for complex systems certification /
by:
(Electronic resources)
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:
(Electronic resources)
Data science = second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings /
by:
(Electronic resources)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Electronic resources)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Electronic resources)
Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Electronic resources)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Electronic resources)
Dynamic data-driven environmental systems science = first International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers /
by:
(Electronic resources)
PRIMA 2015 = principles and practice of multi-agent systems :: 18th International Conference, Bertinoro, Italy, October 26-30, 2015 : proceedings /
by:
(Electronic resources)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Electronic resources)
Mobile, secure, and programmable networking = first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(Electronic resources)
Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part I /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part IV /
by:
(Electronic resources)
Service-oriented computing = 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings /
by:
(Electronic resources)
Distributed computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings /
by:
(Electronic resources)
Agile product development = how to design innovative products that create customer value /
by:
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Electronic resources)
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:
(Electronic resources)
Advanced information systems engineering workshops = CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings /
by:
(Electronic resources)
Business modeling and software design = 5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers /
by:
(Electronic resources)
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:
(Electronic resources)
Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings /
by:
(Electronic resources)
Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Electronic resources)
Deductive software verification - The KeY Book = from theory to practice /
by:
(Electronic resources)
Model-driven development and operation of multi-cloud applications = the MODAClouds approach /
by:
(Electronic resources)
Bridging the gap between requirements engineering and software architecture = a problem-oriented and quality-driven method /
by:
(Electronic resources)
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:
(Electronic resources)
Concise guide to software engineering = from fundamentals to application methods /
by:
(Electronic resources)
Unraveling software maintenance and evolution = thinking outside the Box /
by:
(Electronic resources)
Towards a synergistic combination of research and practice in software engineering
by:
(Electronic resources)
Digging into software knowledge generation in cultural heritage = modeling assistance strategies for large archaeological data sets /
by:
(Electronic resources)
Practical Scala DSLs = real-world applications using domain specific languages /
by:
(Electronic resources)
Advances in service-oriented and cloud computing = workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016 : revised selected papers /
by:
(Electronic resources)
Software data engineering for network eLearning environments = analytics and awareness learning services /
by:
(Electronic resources)
Thinking-driven testing = the most reasonable approach to quality control /
by:
(Electronic resources)
The DevOps adoption playbook = a guide to adopting DevOps in a multi-speed IT enterprise /
by:
(Electronic resources)
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:
(Electronic resources)
Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers /
by:
(Electronic resources)
Software development measurement programs = development, management and evolution /
by:
(Electronic resources)
Next generation and advanced network reliability analysis = using Markov models and software reliability engineering /
by:
(Electronic resources)
Interface development for learning environments = establishing connections between users and learning /
by:
(Electronic resources)
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:
(Electronic resources)
Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings /
by:
(Electronic resources)
Software quality = complexity 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 design = 9th 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 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:
(Electronic resources)
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:
(Electronic resources)
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:
(Electronic resources)
Human-computer interaction = interaction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II /
by:
(Electronic resources)
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:
(Electronic resources)
Unconventional computation and natural computation = 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings /
by:
(Electronic resources)
Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud /
by:
(Electronic resources)
Performance management of integrated systems and its applications in software engineering
by:
(Electronic resources)
Emerging technologies for authorization and authentication = second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019 : proceedings /
by:
(Electronic resources)
Foundations of information and knowledge systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020 : proceedings /
by:
(Electronic resources)
Guide to software systems development = connecting novel theory and current practice /
by:
(Electronic resources)
On the construction of engineering handbooks = with an illustration from the railway safety domain /
by:
(Electronic resources)
From software engineering to formal methods and tools, and back = essays dedicated to Stefania Gnesi on the occasion of her 65th Birthday /
by:
(Electronic resources)
Modern C++ for absolute beginners = a friendly introduction to C++ programming language and C++11 to C++20 standards /
by:
(Electronic resources)
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:
(Electronic resources)
Implementation and application of automata = 24th International Conference, CIAA 2019, Kosice, Slovakia, July 22-25, 2019 : proceedings /
by:
(Electronic resources)
Quality of information and communications technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020 : proceedings /
by:
(Electronic resources)
Functional and logic programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Computer security - ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.. Part I /
by:
(Electronic resources)
Computer security - ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020 : proceedings.. Part II /
by:
(Electronic resources)
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:
(Electronic resources)
Algorithms and architectures for parallel processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, proceedings.. Part III /
by:
(Electronic resources)
Environment modeling-based requirements engineering for software intensive systems
by:
(Electronic resources)
Requirements engineering for social sector software applications = innovating for a diverse set of user needs /
by:
(Electronic resources)
Graph transformation for software engineers = with applications to model-based development and domain-specific language engineering /
by:
(Electronic resources)
Fields of logic and computation III = essays dedicated to Yuri Gurevich on the the occasion of his 80th birthday /
by:
(Electronic resources)
Systems, software and services process improvement = 27th European Conference, EuroSPI 2020, Dusseldorf, Germany, September 9-11, 2020 : proceedings /
by:
(Electronic resources)
Advances in cryptology - CRYPTO 2020 = 40th 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 XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.. Part II /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.. Part I /
by:
(Electronic resources)
Euro-Par 2020 = parallel processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020 : proceedings /
by:
(Electronic resources)
Security protocols XXVII = 27th International Workshop, Cambridge, UK, April 10-12, 2019 : revised selected papers /
by:
(Electronic resources)
Implementing effective code reviews = how to build and maintain clean code /
by:
(Electronic resources)
Cloud computing, big data & emerging topics = 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020 : proceedings /
by:
(Electronic resources)
Frontiers in cyber security = third International Conference, FCS 2020, Tianjin, China, November 15-17, 2020 : proceedings /
by:
(Electronic resources)
Getting started with secure embedded systems = developing IoT systems for micro:bit and Raspberry Pi Pico using Rust and Tock /
by:
(Electronic resources)
Design thinking for software engineering = creating human-oriented software-intensive products and services /
by:
(Electronic resources)
Ernst Denert Award for Software Engineering 2020 = practice meets foundations /
by:
(Electronic resources)
Sequence analysis and modern C++ = the creation of the SeqAn3 bioinformatics library /
by:
(Electronic resources)
Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
(Electronic resources)
GIT for electronic circuit design = CAD and version control for electrical engineers /
by:
(Electronic resources)
Deployment and operation of complex software in heterogeneous execution environments = the SODALITE approach /
by:
(Electronic resources)
Cooperative design, visualization, and engineering = 19th 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)
Embedded software timing = methodology, analysis and practical tips with a focus on automotive /
by:
(Electronic resources)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Electronic resources)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Electronic resources)
Information systems for crisis response and management in mediterranean countries = third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings /
by:
(Electronic resources)
The practice of enterprise modeling = 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings /
by:
(Electronic resources)
Software developers as users = semiotic investigations in human-centered software development /
by:
(Electronic resources)
Software architecture in action = designing and executing architectural models with SysADL grounded on the OMG SysML standard /
by:
(Electronic resources)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Electronic resources)
Modern software engineering methodologies for mobile and cloud environments
by:
(Electronic resources)
TraceME = a 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 programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Electronic resources)
Software engineering for embedded systems = methods, practical techniques, and applications /
by:
(Electronic resources)
Patterns in the machine = a software engineering guide to embedded development /
by:
(Electronic resources)
Software engineering for absolute beginners = your guide to creating software products /
by:
(Electronic resources)
Certifiable software applications. = downward cycle /. 3,. Downward cycle
by:
(Electronic resources)
Component-based software engineering : = putting the pieces together /
by:
(Language materials, printed)
The business manager's guide to software projects = a framework for decision-making, team collaboration, and effectiveness /
by:
(Electronic resources)
Reference architectures for critical domains = industrial uses and impacts /
by:
(Electronic resources)
Modern C++ for absolute beginners = a friendly introduction to the C++ programming language and C++11 to C++23 standards /
by:
(Electronic resources)
MLOps lifecycle toolkit = a software engineering roadmap for designing, deploying, and scaling stochastic systems /
by:
(Electronic resources)
A Deep Learning Based Approach to Sketch Recognition and Model Transformation for Requirements Elicitation and Modelling.
by:
(Electronic resources)
Defense against Micro-Architecture Level Transient Execution Based Attacks via Program Analysis.
by:
(Electronic resources)
A Framework for Dynamic Heterogeneous Information Networks Change Discovery Based on Knowledge Engineering and Data Mining Methods.
by:
(Electronic resources)
The Determinants of Value Addition: A Crtitical Analysis of Global Software Engineering Industry in Sri Lanka.
by:
(Electronic resources)
Migrations To Microservices-Based Architectures - A Tale of Technical and Organizational Change.
by:
(Electronic resources)
IBM software systems integration = with IBM MQ Series for JMS, IBM FileNet Case Manager, and IBM Business Automation Workflow /
by:
(Electronic resources)
Show more
Fewer
Subjects