- C++ for the impatient (2013)
- C++ for the impatient (2013)
- C++ for the impatient (2013)
- C++ for the impatient (2013)
- Android programming unleashed (2013)
- Android programming unleashed (2013)
- Android programming unleashed (2013)
- Search more at Helka Catalog...
-
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 new
-
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 new
-
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 new
-
Ubiquitous networking : 7th international symposium, UNet 2021 virtual event, May 19-22, 2021 : revised selected papers
Computer networks
Elbiaze, Halima - Springer 2021 new
-
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
-
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 data mining quick start guide : a beginner's guide to extracting valuable insights from your data
Python (Computer program language);Data mining
Greeneltch, Nathan - Packt Publishing Ltd 2019
-
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.