Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Verónica Gaspes 18 träffar

Titel Författare År Språk
1 Rigorous Simulation - Its Theory and Applications Adam Duracz 2016 Engelska
2 Realizing Efficient Execution of Dataflow Actors on Manycores 2014 Aug. 26-28 Italy Milan The 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2014) Gebrewahid Essayas 2014 Engelska
3 Formal proofs of combinatorial completeness Verónica Gaspes 1992 Engelska
4 Machine assisted normalization proofs for typed combinator calculi Verónica Gaspes 1994 Engelska
5 A type theoretical analysis of some aspects of programming languages Verónica Gaspes 1997 Engelska
6 Programming Real-time Image Processing for Manycores in a High-level Language August Stockholm APPT 2013 10th International Conference on Advanced Parallel Processing Technology Essayas Gebrewahid 2013 Engelska
7 Tools to Compile Dataflow Programs for Manycores Essayas Gebrewahid 2017 Engelska
8 ARC13 – Assessment of Research and Coproduction - Reports from the assessment of all research at Halmstad University 2013 Thorsteinn Rögnvaldsson 2014 Engelska
9 A Running Leap for Embedded Signal Processing to Future Parallel Platforms 2014 September 15-19 Sweden Västerås ASE '14 – ACM/IEEE International Conference on Automated Software Engineering Bertil Svensson 2014 Engelska
10 Accurate Programming - Thinking about programs in terms of properties 6-8 September 2011 France Bordeaux International Conference on Domain-Specific Languages (DSL 2011) Walid Taha 2011 Engelska
11 Acumen - An Open-source Testbed for Cyber-Physical Systems Research 2015 October 26 Italy Rome iOt and sensors Networks (CYCLONE '15) EAI International Conference on CYber physiCaL systems Walid Taha 2016 Engelska
12-13 Programming of Coarse-Grained Reconfigurable Architectures (flera utgåvor) Zain Ul-Abdin 2011 Engelska
14 A Domain Specific Approach to Network Software Architecture - Assuring Conformance Between Architecture and Code 2009. ICDT '09 Fourth International Conference on Digital Telecommunications Yan Wang 2009 Engelska
15-16 A domain-specific language for protocol stack implementation in embedded systems (flera utgåvor) Yan Wang 2011 Engelska
17 A Language-Based Approach to Protocol Stack Implementation in Embedded Systems Yan Wang 2009 Engelska
18 Integrating a data description language with protocol stack development China Beijing 2009 October 12 – 14 Networks and Applications IASTED International Conference on Communication Systems Yan Wang 2009 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.