提案スペルによる検索:
programming semantics » programming mathematics, programming series, programming secrets
semantics functioning » semantics function, semantics functional, semantics functions
functioning https » functions https, function https, functioning autism
java programming » c programming
parallel java » parallel data, parallel scara, parallel a
1
出版事項 2013
目次: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
全文の入手
電子媒体 eBook
2
出版事項 2005
目次: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
全文の入手
電子媒体 eBook
3
出版事項 2013
目次: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
全文の入手
電子媒体 eBook
4
出版事項 2005
目次: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
全文の入手
電子媒体 eBook
5
出版事項 2015
目次: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
全文の入手
電子媒体 eBook
6
出版事項 2014
目次: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
全文の入手
電子媒体 eBook
7
出版事項 2013
目次: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
全文の入手
電子媒体 eBook
8
出版事項 2005
目次: ... Oriented Approach -- Kreios: Towards Semantic Interoperable Systems -- Adaptive Architecture for Web Server...
全文の入手
電子媒体 eBook
9
出版事項 2007
目次: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
全文の入手
電子媒体 eBook
10
出版事項 2008
目次: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
全文の入手
電子媒体 eBook