The Computing Profession.

Learn CentOS Linux network services by: (Electronic resources)

Requirements engineering = foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017 : proceedings / by: (Electronic resources)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I / by: (Electronic resources)

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (Electronic resources)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (Electronic resources)

Perspectives of system informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers / by: (Electronic resources)

Foundations of software science and computation structures = 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Electronic resources)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (Electronic resources)

The discrete math workbook = a companion manual for practical study / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II / by: (Electronic resources)

Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V / by: (Electronic resources)

Transactions on rough sets XXI by: (Electronic resources)

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 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part I / by: (Electronic resources)

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 / by: (Electronic resources)

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 Republic, April 6-11, 2019 : proceedings / by: (Electronic resources)

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 Republic, April 6-11, 2019 : proceedings / by: (Electronic resources)

Software engineering and methodology for emerging domains = 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018 : revised selected papers / by: (Electronic resources)

Fundamentals of software engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (Electronic resources)

Fundamentals of software startups = essential engineering and business aspects / by: (Electronic resources)

Quality of information and communications technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019 : proceedings / by: (Electronic resources)

Systems, software and services process improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings / by: (Electronic resources)

Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / by: (Electronic resources)

Software technology = methods and tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019 : proceedings / by: (Electronic resources)

The discrete math workbook = a companion manual using python / by: (Electronic resources)

A friendly guide to software development = what you should know without being a Developer / by: (Electronic resources)

How to be a web developer = a complete beginner's guide on what to know and where to start / by: (Electronic resources)

Fostering open source culture = increase innovation and deliver faster with open source / by: (Electronic resources)

Strategic software engineering = software engineering beyond the code / by: (Electronic resources)

The art of creating self-organizing teams = Agile team coaching from a journeyman to an expert / by: (Electronic resources)

Network control and engineering for QOS, security and mobility, III = IFIP TC6/WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain / by: (Electronic resources)

Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (Electronic resources)

Lectures on runtime verification = introductory and advanced topics / by: (Electronic resources)

Agile software engineering skills by: (Electronic resources)

Ethical and legal aspects of computing = a professional perspective from software engineering / by: (Electronic resources)

Actions for gender balance in informatics across Europe by: (Electronic resources)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (Language materials, printed)

History of nordic computing 4 = 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014 : revised selected papers / by: (Electronic resources)

Managing humans = biting and humorous tales of a software engineering manager / by: (Electronic resources)

Human-centered and error-resilient systems development = IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016 : proceedings / by: (Electronic resources)

The art of scrum = how Scrum masters bind dev teams and unleash agility / by: (Electronic resources)

Introducing Materialize by: (Electronic resources)

Beginning Elastic Stack by: (Electronic resources)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (Electronic resources)

Working with coders = a guide to software development for the perplexed non-techie / by: (Electronic resources)

Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (Electronic resources)

Essence of systems analysis and design = a workbook approach / by: (Electronic resources)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (Electronic resources)

Fashion figures = how Missy the mathlete made the cut / by: (Electronic resources)

Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (Electronic resources)

CIOs and the digital transformation = a new leadership role / by: (Electronic resources)

Project managers at work by: (Electronic resources)

The student supercomputer challenge guide = from supercomputing competition to the next HPC generation / by: (Electronic resources)

Fundamental approaches to software engineering = 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Electronic resources)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (Electronic resources)

Mastering scale and complexity in software reuse = 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings / by: (Electronic resources)

Open source systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (Electronic resources)

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (Electronic resources)

Software technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (Electronic resources)

Ethics in computing, science, and engineering = a student's guide to doing things right / by: (Electronic resources)

Verified software = theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers / by: (Electronic resources)

Financial cryptography and data security = 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019 : revised selected papers / by: (Electronic resources)

Being a researcher = an informatics perspective / by: (Electronic resources)

The data science framework = a view from the Edison Project / by: (Electronic resources)

Building a career in software = a comprehensive guide to success in the software industry / by: (Electronic resources)

Diversity in computer science = design artefacts for equity and inclusion / by: (Electronic resources)

The rational software engineer = strategies for a fulfilling career in tech / by: (Electronic resources)