1
出版事項 2013
目次: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
全文の入手
電子媒体 eBook
2
出版事項 2008
目次: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
全文の入手
電子媒体 eBook
3
著者: Freeman, Adam., Freeman, Adam.
出版事項 2010
目次: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
全文の入手
電子媒体 eBook
6
出版事項 2010
目次: ... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...
全文の入手
電子媒体 eBook
7
出版事項 2010
目次: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
全文の入手
電子媒体 eBook
8
出版事項 2005
目次: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
全文の入手
電子媒体 eBook
9
出版事項 2008
目次: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
全文の入手
電子媒体 eBook
10
出版事項 2013
目次: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
全文の入手
電子媒体 eBook
11
主題: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
全文の入手
電子媒体 eBook
12
出版事項 2013
目次: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
全文の入手
電子媒体 eBook
13
出版事項 2005
目次: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
全文の入手
電子媒体 eBook
14
出版事項 2007
目次: ... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...
全文の入手
電子媒体 eBook
15
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
全文の入手
電子媒体 eBook
16
出版事項 2008
目次: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
全文の入手
電子媒体 eBook
17
著者: Bjørner, Dines., Bjørner, Dines.
出版事項 2006
目次: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
全文の入手
電子媒体 eBook
18
著者: Bjørner, Dines., Bjørner, Dines.
出版事項 2006
目次: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
全文の入手
電子媒体 eBook
19
出版事項 2006
目次: ...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...
全文の入手
電子媒体 eBook
20
著者: Sutherland, Bruce., Sutherland, Bruce.
出版事項 2015
主題: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
全文の入手
電子媒体 eBook