-
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
-
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
-
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.
-
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.
-
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Software engineering;Computers;Computer organization;Artificial intelligence;Computer hardware;Theory of Computation;Computer Systems Organization and Communication Networks;Information Systems and Communication Service
Lahiri, Shuvendu K;Wang, Chao - Imprint: Springer 2020 1st ed. 2020.
-
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Software engineering;Computers;Artificial intelligence;Computer organization;Computer hardware;Computer simulation;Theory of Computation;Computer Systems Organization and Communication Networks;Simulation and Modeling
Lahiri, Shuvendu K;Wang, Chao - Imprint: Springer 2020 1st ed. 2020.
-
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences : A Reference Model Guided Approach for Common Challenges
Application software;Environment;Special purpose computers;Computers;Software engineering;Geography;Computer Applications;Environment, general;Special Purpose and Application-Based Systems;Information Systems and Communication Service;Software Engineering/Programming and Operating Systems;Geography, general
Zhao, Zhiming;Hellström, Margareta - Imprint: Springer 2020 1st ed. 2020.
-
Contextual Process Digitalization : Changing Perspectives – Design Thinking – Value-Led Design
Application software;Management information systems;Industrial management;Organization;Planning;Computer Appl. in Administrative Data Processing;Business Process Management;Information Systems Applications (incl. Internet);Business Information Systems
Fleischmann, Albert;Oppl, Stefan;Schmidt, Werner;Stary, Christian - Imprint: Springer 2020 1st ed. 2020.
-
Future of Software Quality Assurance, The
Software engineering;Management information systems;Computer science;Software Management;Management of Computing and Information Systems
Goericke, Stephan - Imprint: Springer 2020 1st ed. 2020.
-
Learn R : as a language
R (Computer program language);R-kieli;e-böcker
Aphalo, Pedro J - CRC Press, Taylor & Francis Group 2020 First edition.
-
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations
Software engineering;Management information systems;Computer science;Software Management;Management of Computing and Information Systems
Felderer, Michael;Hasselbring, Wilhelm;Koziolek, Heiko;Matthes, Florian;Prechelt, Lutz;Reussner, Ralf;Rumpe, Bernhard;Schaefer, Ina - Imprint: Springer 2020 1st ed. 2020.
-
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Numerical analysis;Artificial intelligence;Algorithms;Programming languages (Electronic computers);Computers;Numeric Computing;Algorithm Analysis and Problem Complexity;Programming Languages, Compilers, Interpreters;Models and Principles
Rousseau, Louis-Martin;Stergiou, Kostas - Imprint: Springer 2019 1st ed. 2019.