The Computing Profession.

Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (書目-電子資源)

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (書目-電子資源)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (書目-電子資源)

Project managers at work by: (書目-電子資源)

The discrete math workbook = a companion manual for practical study / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II / by: (書目-電子資源)

Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V / by: (書目-電子資源)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (書目-電子資源)

Mastering scale and complexity in software reuse = 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings / by: (書目-電子資源)

Software technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (書目-電子資源)

Fundamentals of software startups = essential engineering and business aspects / by: (書目-電子資源)

Being a researcher = an informatics perspective / by: (書目-電子資源)

Reachability problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Software technology = methods and tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019 : proceedings / by: (書目-電子資源)

Managing humans = biting and humorous tales of a software engineering manager / by: (書目-電子資源)

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: (書目-電子資源)

The art of scrum = how Scrum masters bind dev teams and unleash agility / by: (書目-電子資源)

Female innovators at work = women on top of tech / by: (書目-電子資源)

Learn CentOS Linux network services by: (書目-電子資源)

Introducing Materialize by: (書目-電子資源)

Introducing ethereum and solidity = foundations of cryptocurrency and blockchain programming for beginners / by: (書目-電子資源)

Working with coders = a guide to software development for the perplexed non-techie / by: (書目-電子資源)

CIOs and the digital transformation = a new leadership role / by: (書目-電子資源)

Perspectives of system informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers / by: (書目-電子資源)

Lectures on runtime verification = introductory and advanced topics / by: (書目-電子資源)

The student supercomputer challenge guide = from supercomputing competition to the next HPC generation / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (書目-電子資源)

Transactions on rough sets XXI by: (書目-電子資源)

Open source systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Fundamentals of software engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (書目-電子資源)

Building a career in software = a comprehensive guide to success in the software industry / by: (書目-電子資源)

Agile software engineering skills by: (書目-電子資源)

How to be a web developer = a complete beginner's guide on what to know and where to start / by: (書目-電子資源)

The rational software engineer = strategies for a fulfilling career in tech / by: (書目-電子資源)

Ethical and legal aspects of computing = a professional perspective from software engineering / by: (書目-電子資源)

Requirements engineering = foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017 : proceedings / by: (書目-電子資源)

Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (書目-電子資源)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (書目-電子資源)

Financial cryptography and data security = 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019 : revised selected papers / by: (書目-電子資源)

Quality of information and communications technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Systems, software and services process improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Fostering open source culture = increase innovation and deliver faster with open source / by: (書目-電子資源)

Strategic software engineering = software engineering beyond the code / by: (書目-電子資源)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (書目-語言資料,印刷品)

The seductive computer = why IT systems always fail / by: (書目-電子資源)

Journeys to data mining = experiences from 15 renowned researchers / by: (書目-電子資源)

Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I / by: (書目-電子資源)

Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (書目-電子資源)

Essence of systems analysis and design = a workbook approach / by: (書目-電子資源)

Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (書目-電子資源)

Ethics in computing, science, and engineering = a student's guide to doing things right / by: (書目-電子資源)

Verified software = theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers / by: (書目-電子資源)

The data science framework = a view from the Edison Project / by: (書目-電子資源)

The discrete math workbook = a companion manual using python / by: (書目-電子資源)

Diversity in computer science = design artefacts for equity and inclusion / by: (書目-電子資源)

A friendly guide to software development = what you should know without being a Developer / by: (書目-電子資源)