-
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. new
-
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. new
-
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.
-
Game development using python
Python (Computer program language);e-böcker
Parker, James R - Mercury Learning and Information 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.
-
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Software engineering;Logic design;Computer science;Computer system performance;Computer industry;Artificial intelligence;Computer logic;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;System Performance and Evaluation;The Computing Profession;Logic in AI
Dillig, Isil;Tasiran, Serdar - Imprint: Springer 2019 1st ed. 2019.
-
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Software engineering;Programming languages (Electronic computers);Computers;Artificial intelligence;Computer simulation;Computer organization;Programming Languages, Compilers, Interpreters;Theory of Computation;Simulation and Modeling;Computer Systems Organization and Communication Networks
Dillig, Isil;Tasiran, Serdar - Imprint: Springer 2019 1st ed. 2019.
-
Der binaÌre Code : Leitfaden zur Analyse herabsetzender Texte und Aussagen
Computer software
Paul, Jobst - Wochenschau Verlag 2019
-
Rethinking Productivity in Software Engineering
Computer science;Management information systems;Programming Languages, Compilers, Interpreters;Software Management
Sadowski, Caitlin;Zimmermann, Thomas - Imprint: Apress 2019 1st ed. 2019.
-
Agile Processes in Software Engineering and Extreme Programming : 20th International Conference, XP 2019, Montréal, QC, Canada, May 21â25, 2019, Proceedings
Software engineering;Management information systems;Information Systems;Software Management;Management of Computing and Information Systems
Kruchten, Philippe;Fraser, Steven;Coallier, François - Imprint: Springer 2019 1st ed. 2019.
-
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Repu
Computer science;Software engineering;Information theory;Computer industry;Computer system performance;Programming Languages, Compilers, Interpreters;Programming Techniques;Theory of Computation;The Computing Profession;System Performance and Evaluation
Caires, LuÃs - Imprint: Springer 2019 1st ed. 2019. new
-
Hands-on Machine Learning with Scikit-Learn, Keras, and TensorFlow : concepts, tools, and techniques to build intelligent systems
Python (Computer program language);Machine learning;UmU kursbok
Géron, Aurélien - O'Reilly Media 2019 Second edition. new