-
481Published 2004Table of Contents: “… with Distance Metrics -- Online Efficient Predictive Safety Analysis of Multithreaded Programs -- Tools…”
Full Text via HEAL-Link
Electronic eBook -
482
-
483by Spohrer, KaiTable of Contents: “…Introduction -- Theoretical Foundations -- Research Design -- Findings -- Discussion of Findings…”
Published 2016
Full Text via HEAL-Link
Electronic eBook -
484Table of Contents: “… Triples -- 17. Strong Typed Programming -- 18. Conditional Statements -- 19. Switch Statement -- 20…”
Full Text via HEAL-Link
Electronic eBook -
485Published 2000Table of Contents: “…? -- Interactive Systems -- Towards a UML Profile for Interaction Design: The Wisdom Approach -- UMLi: The Unified…”
Full Text via HEAL-Link
Electronic eBook -
486Published 2004Table of Contents: “… Variables with Semaphores -- Clumps, Clusters and Classification -- How to Implement Unnecessary Mutexes…”
Full Text via HEAL-Link
Electronic eBook -
487by Sieckenius de Souza, Clarisse, Fontoura de Gusmão Cerqueira, Renato, Marques Afonso, Luiz, Rossi de Mello Brandão, Rafael, Soares Jansen Ferreira, JulianaSubjects: “…Computer programming.…”
Published 2016
Full Text via HEAL-Link
Electronic eBook -
488Table of Contents: “… Coding Tricks -- Part 2: Coding Advice -- 5. Function Design -- 6. Self-Documenting Code -- 7. Step-Wise…”
Full Text via HEAL-Link
Electronic eBook -
489Published 2008Table of Contents: “… Environments -- Keynote Speech: Agent Oriented Software Engineering: Why and How -- Coordinating Agents Plans…”
Full Text via HEAL-Link
Electronic eBook -
490Published 2018Table of Contents: “…What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages…”
Full Text via HEAL-Link
Electronic eBook -
491Subjects: “…Programming languages (Electronic computers).…”
Full Text via HEAL-Link
Electronic eBook -
492Published 2002Table of Contents: “… -- Adding Design by Contract to the Ada Language -- Program Analysis -- Static Dependency Analysis…”
Full Text via HEAL-Link
Electronic eBook -
493Published 2009Table of Contents: “… of Failures in Multi-Agent Systems -- Design and Implementation of Security Mechanisms for a Hierarchical…”
Full Text via HEAL-Link
Electronic eBook -
494Published 2009Table of Contents: “…Social Competency -- How Development Affects Learning: Lessons Learned from Developmental…”
Full Text via HEAL-Link
Electronic eBook -
495Published 2004Table of Contents: “… Traces -- How Expressions Can Code for Automata -- Automata for Arithmetic Meyer Sets -- Efficiently…”
Full Text via HEAL-Link
Electronic eBook -
496Published 2016Table of Contents: “… -- How Firms Adapt and Interact in Open Source Ecosystems: Analyzing Stakeholder Influence…”
Full Text via HEAL-Link
Electronic eBook -
497Published 2015Table of Contents: “…: Algorithms, System Issues & Lessons Learned -- How Many Threads Will Be Too Many? On the Scalability…”
Full Text via HEAL-Link
Electronic eBook -
498Published 2010Table of Contents: “… -- Agent Programming Languages and Methodologies -- Externalisation and Internalization: A New Perspective…”
Full Text via HEAL-Link
Electronic eBook -
499Published 2008Table of Contents: “… Reasoning, and How They Help -- What Can Pictorial Representations Reveal about the Cognitive…”
Full Text via HEAL-Link
Electronic eBook -
500Published 2009Table of Contents: “… Data Streams -- Recent Advances in Population Protocols -- How to Sort a Train -- Contributed Papers…”
Full Text via HEAL-Link
Electronic eBook