-
1
-
2Έκδοση 2005Πίνακας περιεχομένων: “… Communications -- Reconfigurable Hardware Technologies -- Design Flow for Reconfigurable Systems-on-Chip…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
3ανά Vajda, AndrásΠίνακας περιεχομένων: “… Operating Systems -- The Fundamental Laws of Parallelism -- Fundamentals of Parallel Programming…”
Έκδοση 2011
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
4ανά Voros, Nikolaos S.Θέματα: “…Programming Languages, Compilers, Interpreters 64661…”
Έκδοση 2005
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο -
5ανά Chu, Pong P., 1959-Θέματα: “…Systems on a chip.…”
Έκδοση 2011
Full Text via HEAL-Link
Ηλ. βιβλίο -
6Έκδοση 2008Πίνακας περιεχομένων: “… Checking -- Languages -- Revisiting SIMD Programming -- Multidimensional Blocking in UPC -- An Experimental…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
7Έκδοση 2010Πίνακας περιεχομένων: “… on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
8Έκδοση 2007Πίνακας περιεχομένων: “…Keynote I -- Compilation Techniques for Partitioned Global Address Space Languages -- Session 1…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
9Έκδοση 2006Πίνακας περιεχομένων: “… and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
10Έκδοση 2005Πίνακας περιεχομένων: “… Modeling Languages (CSDUML’04): Current Developments and Future Challenges (Report on the Third…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
11Έκδοση 2003Πίνακας περιεχομένων: “… Complex System-On-Chip Using UML and Executable System Models -- Using the SHE Method for UML-Based…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
12Έκδοση 2010Θέματα: “…Programming languages (Electronic computers).…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
13Έκδοση 2008Πίνακας περιεχομένων: “… Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
14Έκδοση 2010Πίνακας περιεχομένων: “… -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
15Έκδοση 2003Πίνακας περιεχομένων: “… Parallel Programming Language -- Compiler and Middleware Support for Scalable Data Mining -- Bridging…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
16Έκδοση 2013Πίνακας περιεχομένων: “… Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
17Έκδοση 2007Πίνακας περιεχομένων: “… Kinds of System Descriptions as Synchronous Programs -- UML-Based System Specification and Design -- A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
18Πίνακας περιεχομένων: “… Programming for Microcontrollers -- Exploring the Capabilities of On-Chip Resources Programming for I/O Ports…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
19Έκδοση 2008Πίνακας περιεχομένων: “… -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
20Έκδοση 2010Πίνακας περιεχομένων: “…-Oriented Programming Model -- Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο