-
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.
-
Python by example : learning to program in 150 challenges
Computer programming;Python (Computer program language)
Lacey, Nichola - Cambridge University Press 2019
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Logic design;Software engineering;Computer science;Computer industry;Computer system performance;Computer simulation;Logics and Meanings of Programs;Software Engineering/Programming and Operating Systems;Mathematical Logic and Formal Languages;The Computing Profession;System Performance and Evaluation;Simulation and Modeling
Beyer, Dirk;Huisman, Marieke;Kordon, Fabrice;Steffen, Bernhard - Imprint: Springer 2019 1st ed. 2019.
-
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Software engineering;Computer science;Computer system performance;Computer industry;Information theory;Computer simulation;Programming Languages, Compilers, Interpreters;System Performance and Evaluation;The Computing Profession;Theory of Computation;Simulation and Modeling
Hähnle, Reiner;van der Aalst, Wil - Imprint: Springer 2019 1st ed. 2019.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Logic design;Software engineering;Computer science;Computer software;Artificial intelligence;Computer logic;Logics and Meanings of Programs;Software Engineering/Programming and Operating Systems;Mathematical Logic and Formal Languages;Algorithm Analysis and Problem Complexity;Logic in AI
Vojnar, Tomáš;Zhang, Lijun - Imprint: Springer 2019 1st ed. 2019.
-
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Logic design;Computer science;Software engineering;Artificial intelligence;Computer system performance;Computer industry;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Software Engineering/Programming and Operating Systems;System Performance and Evaluation;The Computing Profession
Vojnar, Tomáš;Zhang, Lijun - Imprint: Springer 2019 1st ed. 2019.
-
Managed Software Evolution
Software engineering;Management information systems;Information Systems;Information theory;Software Management;Management of Computing and Information Systems;Theory of Computation
Reussner, Ralf;Goedicke, Michael;Hasselbring, Wilhelm;Vogel-Heuser, Birgit;Keim, Jan;Märtin, Lukas - Imprint: Springer 2019 1st ed. 2019.
-
Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms
Computer algorithms;Discrete mathematics and graph theory
Chan, Timothy M - Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104) 2019
-
2019 IEEE/ACM International Symposium on Code Generation and Optimization : 16-20 February 2019, Washington, DC, USA
Code generators;Compilers (Computer programs)
- Institute of Electrical and Electronics Engineers 2019
-
Agile Processes in Software Engineering and Extreme Programming – Workshops : XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings
Software engineering;Information Systems;Management information systems;Management of Computing and Information Systems;Software Management
Hoda, Rashina - Imprint: Springer 2019 1st ed. 2019.
-
Pro TBB : C++ Parallel Programming with Threading Building Blocks
Computer science;Computer software;Data structures (Computer science);Programming Languages, Compilers, Interpreters;Programming Techniques;Algorithm Analysis and Problem Complexity;Data Structures
Voss, Michael;Asenjo, Rafael;Reinders, James - Imprint: Apress 2019 1st ed. 2019.