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