-
Economics of grids, clouds, systems, and services : 18th international conference, GECON 2021, virtual event, September 21-23, 2021, proceedings
Cloud computing;Computational grids (Computer systems)
Tserpes, Konstantinos - Springer 2022
-
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II
Computer software;architecting;architecture verification and validation;artificial intelligence;computer programming;computer science;computer systems;databases;distributed computer systems;embedded systems;engineering;formal languages;formal logic;linguistics;mathematics;model checking;software architecture;software design;software engineering;software quality;theoretical computer science
Shoham, Sharon;Vizel, Yakir - Springer Nature 2022
-
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, German
Software engineering;architecture verification and validation;distributed computer systems;embedded systems;empirical software validation;formal methods;model checking;model-driven software engineering;object-oriented programming;program analysis,;software performance;software quality;software testing and debugging
Johnsen, Einar Broch;Wimmer, Manuel - Springer International Publishing AG 2022
-
Digital transformation in Norwegian Enterprises
Business enterprises;Technological innovations
Mikalef, Patrick;Parmiggiani, Elena - Springer International Publishing AG 2022
-
Agile processes in software engineering and extreme programming : 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceedings
Agile software development;eXtreme programming
Stray, Viktoria;Stol, Klaas-Jan;Paasivaara, Maria;Kruchten, Philippe - Springer International Publishing AG 2022
-
Algorithmic aspects of cloud computing : 6th international symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021, revised selected papers
Cloud computing
D'Angelo, Gianlorenzo;Michail, Othon - Springer 2021
-
Algorithmic aspects in information and management : 15th International Conference, AAIM 2021, Virtual event, December 20-22, 2021, Proceedings
Computer algorithms
Wu, Weili;Du, Hongwei - Springer 2021
-
Ubiquitous networking : 7th international symposium, UNet 2021 virtual event, May 19-22, 2021 : revised selected papers
Computer networks
Elbiaze, Halima - Springer 2021
-
Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings
Formal methods (Computer science)
Huisman, Marieke;Păsăreanu, Corina S;Zhan, Naijun - Springer 2021
-
Serious games : joint international conference, JCSG 2021, virtual event, January 12-13, 2022, proceedings
Video games;Educational games;Game theory
Fletcher, Bobbie - Springer 2021
-
Approximation and online algorithms : 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised selected papers
Approximation algorithms;Computer science;Online algorithms
Koenemann, Jochen;Peis, Britta - Springer 2021
-
PRIMA 2020 : principles and practice of multi-agent systems : 23rd International Conference, Nagoya, Japan, November 18-20, 2020 : proceedings
Multiagent systems
Uchiya, Takahiro;Bai, Quan;Marsa-Maestre, Ivan - Springer 2021 1st ed. 2021.
-
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Software Engineering;Mathematical theory of computation;Artificial intelligence;Computer programming / software development;Computer modelling & simulation;architecture verification;computer programming;distributed computer systems;distributed systems;embedded systems;formal logic;formal methods;formal verifications;model checker;model checking;signal processing;software architecture;software design;software quality
Silva, Alexandra;Leino, K. Rustan M - Springer International Publishing AG 2021
-
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Software Engineering;Artificial intelligence;Computer programming / software development;Mathematical theory of computation;Computer modelling & simulation;architecture verification;automata theory;computer programming;distributed computer systems;distributed systems;embedded systems;formal languages;formal logic;formal methods;model checking;software architecture;software design;software quality;temporal logic;verification techniques
Silva, Alexandra;Leino, K. Rustan M - Springer International Publishing AG 2021
-
Benefit/Cost-Driven Software Development : With Benefit Points and Size Points
Mathematical & statistical software;Software Engineering;Mathematical Software;open access;benefits management;benefit points;earned business;value management;benefit/costs index;uncertainty assessment;periodization
Hannay, Jo Erskine - Springer International Publishing AG 2021
-
Mobile Edge Computing
Mobile & handheld device programming / Apps programming;WAP (wireless) technology;Electrical engineering;Computing & information technology;Open Access;mobile edge computing;5G beyond;6G;edge caching;Internet of Things;UAV
Zhang, Yan - Springer International Publishing AG 2021
-
Voicing Code in STEM : A Dialogical Imagination
Computer programming
Sengupta, Pratim;Dickes, Amanda Catherine;Voss Farris, Amy - MIT Press 2021
-
Data Parallel C++ : Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
Programming languages (Electronic computers);Computer input-output equipment;Programming Languages, Compilers, Interpreters;Hardware and Maker
Reinders, James;Ashbaugh, Ben;Brodman, James;Kinsner, Michael;Pennycook, John;Tian, Xinmin - Imprint: Apress 2021 1st ed. 2021.
-
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
Software engineering;Management information systems;Automotive engineering;Special purpose computers;Software Management;Special Purpose and Application-Based Systems
Böhm, Wolfgang;Broy, Manfred;Klein, Cornel;Pohl, Klaus;Rumpe, Bernhard;Schröck, Sebastian - Imprint: Springer 2021 1st ed. 2021.
-
XcalableMP PGAS Programming Language : From Programming Model to Applications
Programming languages (Electronic computers);Programming Languages, Compilers, Interpreters
Sato, Mitsuhisa - Imprint: Springer 2021 1st ed. 2021.