The Computing Profession.
Overview
| Works: | 153 works in 62 publications in 62 languages | |
|---|---|---|
Titles
History of Nordic Computing = IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16-18, 2003, Trondheim, Norway /
by:
(Language materials, printed)
Service Science, Management and Engineering Education for the 21st Century
by:
(Language materials, printed)
Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008
by:
(Language materials, printed)
History of Nordic Computing 2 = Second IFIP WG 9.7 Conference, HiNC2, Turku, Finland, August 21-23, 2007 : revised selected papers /
by:
(Language materials, printed)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings /
by:
(Language materials, printed)
History of nordic computing 3 = Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Journeys to data mining = experiences from 15 renowned researchers /
by:
(Language materials, printed)
Managing humans = biting and humorous tales of a software engineering manager /
by:
(Language materials, printed)
The art of scrum = how Scrum masters bind dev teams and unleash agility /
by:
(Language materials, printed)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(Language materials, printed)
Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
by:
(Language materials, printed)
Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Language materials, printed)
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(Language materials, printed)
Working with coders = a guide to software development for the perplexed non-techie /
by:
(Language materials, printed)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings /
by:
(Language materials, printed)
Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
(Language materials, printed)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
(Language materials, printed)
The student supercomputer challenge guide = from supercomputing competition to the next HPC generation /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Language materials, printed)
The discrete math workbook = a companion manual for practical study /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part V /
by:
(Language materials, printed)
Systems, software and services process improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings /
by:
(Language materials, printed)
Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(Language materials, printed)
Software process improvement and capability determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings /
by:
(Language materials, printed)
Software architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
A study guide to the ISTQB foundation level 2018 syllabus = test techniques and sample mock exams /
by:
(Language materials, printed)
Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(Language materials, printed)
Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
by:
(Language materials, printed)
Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
by:
(Language materials, printed)
Privacy technologies and policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers /
by:
(Language materials, printed)
Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings /
by:
(Language materials, printed)
Mastering scale and complexity in software reuse = 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings /
by:
(Language materials, printed)
Open source systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers /
by:
(Language materials, printed)
Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
by:
(Language materials, printed)
Numerical software verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
by:
(Language materials, printed)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
(Language materials, printed)
Requirements engineering = foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017 : proceedings /
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:
(Language materials, printed)
Erhebung von Soll-Kompetenzen im Software Engineering = Anforderungen an Hochschulabsolventen aus industrieller Perspektive /
by:
(Language materials, printed)
Soft Skills für Freelancer = Wissensvorsprung für erfolgreiche IT-Projekte /
by:
(Language materials, printed)
IT-Marketing = Produkte anders denken - denn nichts ist, wie es scheint /
by:
(Language materials, printed)
The Art of Scrum = How Scrum Masters Bind Dev Teams and Unleash Agility /
by:
(Language materials, printed)
Recht für Medienberufe = Kompaktes Wissen zu allen rechtstypischen Fragen /
by:
(Language materials, printed)
Managing Humans = Biting and Humorous Tales of a Software Engineering Manager /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
by:
(Language materials, printed)
Software Architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings /
by:
(Language materials, printed)
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus = Test Techniques and Sample Mock Exams /
by:
(Language materials, printed)
The Discrete Math Workbook = A Companion Manual for Practical Study /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
by:
(Language materials, printed)
Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
(Language materials, printed)
Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings /
by:
(Language materials, printed)
Systems, Software and Services Process Improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /
by:
(Language materials, printed)
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:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Lectures on Runtime Verification = Introductory and Advanced Topics /
by:
(Language materials, printed)
The Student Supercomputer Challenge Guide = From Supercomputing Competition to the Next HPC Generation /
by:
(Language materials, printed)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(Language materials, printed)
Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
(Language materials, printed)
Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V /
by:
(Language materials, printed)
Social Computing and Social Media. User Experience and Behavior = 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /
by:
(Language materials, printed)
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:
(Language materials, printed)
Software Technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Open Source Systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings /
by:
(Language materials, printed)
Numerical Software Verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings /
by:
(Language materials, printed)
Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Financial Cryptography and Data Security = 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Systems, Software and Services Process Improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Ethics in Computing, Science, and Engineering = A Student’s Guide to Doing Things Right /
by:
(Language materials, printed)
Fundamentals of Software Startups = Essential Engineering and Business Aspects /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Erfolgreich ein Software-Startup gründen = Tipps und Erfahrungen eines Tech-Unternehmers /
by:
(Language materials, printed)
Building a Career in Software = A Comprehensive Guide to Success in the Software Industry /
by:
(Language materials, printed)
How to be a web developer = a complete beginner's guide on what to know and where to start /
by:
(Language materials, printed)
The rational software engineer = strategies for a fulfilling career in tech /
by:
(Language materials, printed)
Show more
Fewer
Subjects