The Computing Profession.
概要
作品: | 153 作品在 62 項出版品 62 種語言 |
---|
書目資訊
How to be a web developer = a complete beginner's guide on what to know and where to start /
by:
(書目-語言資料,印刷品)
Building a Career in Software = A Comprehensive Guide to Success in the Software Industry /
by:
(書目-語言資料,印刷品)
Erfolgreich ein Software-Startup gründen = Tipps und Erfahrungen eines Tech-Unternehmers /
by:
(書目-語言資料,印刷品)
Ethics in Computing, Science, and Engineering = A Student’s Guide to Doing Things Right /
by:
(書目-語言資料,印刷品)
History of Nordic Computing = IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16-18, 2003, Trondheim, Norway /
by:
(書目-語言資料,印刷品)
History of Nordic Computing 2 = Second IFIP WG 9.7 Conference, HiNC2, Turku, Finland, August 21-23, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
History of nordic computing 3 = Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 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:
(書目-語言資料,印刷品)
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Working with coders = a guide to software development for the perplexed non-techie /
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:
(書目-語言資料,印刷品)
Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
The student supercomputer challenge guide = from supercomputing competition to the next HPC generation /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
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:
(書目-語言資料,印刷品)
Systems, software and services process improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Software process improvement and capability determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Software architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
A study guide to the ISTQB foundation level 2018 syllabus = test techniques and sample mock exams /
by:
(書目-語言資料,印刷品)
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Privacy technologies and policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers /
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:
(書目-語言資料,印刷品)
Open source systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Numerical software verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
History of Nordic Computing 4 = 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Erhebung von Soll-Kompetenzen im Software Engineering = Anforderungen an Hochschulabsolventen aus industrieller Perspektive /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Software Architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus = Test Techniques and Sample Mock Exams /
by:
(書目-語言資料,印刷品)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
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 II /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Systems, Software and Services Process Improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
The Student Supercomputer Challenge Guide = From Supercomputing Competition to the Next HPC Generation /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
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:
(書目-語言資料,印刷品)
Software Technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Open Source Systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Numerical Software Verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題