Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs foundational » programs functional, program foundation, program foundations
parallel programming » parallel processing
programming programs » programming program, programming programmed, programming problems
foundational java » foundational data, foundational soa, foundational _
https » http
programs foundational » programs functional, program foundation, program foundations
parallel programming » parallel processing
programming programs » programming program, programming programmed, programming problems
foundational java » foundational data, foundational soa, foundational _
https » http
1
Aurkibidea:
“... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2015
Aurkibidea:
“... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2014
Aurkibidea:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testu osoa
Baliabide elektronikoa
eBook
7
Aurkibidea:
“... -- Parallel Semantics -- Basic ASP Properties -- Confluence Property -- Determinacy -- A Few More Features...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”Testu osoa
Baliabide elektronikoa
eBook



