-
4381
-
4382
-
4383
-
4384
-
4385
-
4386Έκδοση 2024“…; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs…”
Λήψη πλήρους κειμένου
-
4387Έκδοση 2024“…; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs…”
Λήψη πλήρους κειμένου
-
4388
-
4389Έκδοση 1999Πίνακας περιεχομένων: “…Foundations -- Trust: Benefits, Models, and Mechanisms -- Protection in Programming-Language…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4390Έκδοση 2008Πίνακας περιεχομένων: “… with POSE and Alloy -- How to Select a Programming Language Subset to Maximise Software Quality…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4391Έκδοση 2019Πίνακας περιεχομένων: “… -- Chapter 8: Performance Efficiency Assessment for Software Systems -- Chapter 9: Impact of Programming…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4392ανά Troelsen, AndrewΠίνακας περιεχομένων: “…# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding…”
Έκδοση 2005
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4393Έκδοση 2004Πίνακας περιεχομένων: “… -- Support for Value Types in an Object-Oriented Programming Language -- Self-accounting as Principle…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4394Έκδοση 2005Πίνακας περιεχομένων: “… of Language Specifications for DSLs (ERLS) -- Programming Languages and Operating Systems.…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4395
-
4396
-
4397
-
4398Έκδοση 1998Πίνακας περιεχομένων: “… and Little-JIL process programming languages -- PCIS-II project: Process component infrastructure…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4399
-
4400