檢索結果 - parallel code project function function https

搜索替代詞:
function function » function functional , functions functional , function dysfunction
project function » projects functions , project functioning , projected functions
function https » functions https , fiction https
parallel code » parallel model , parallel 3d
code project » codex project , core project , dicode project

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

出版 2013

書本目錄: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
獲取全文

電子電子書

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

出版 2006

書本目錄: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
獲取全文

電子電子書

CR Submanifolds of Complex Projective Space

由 Djoric, Mirjana., Djoric, Mirjana., Okumura, Masafumi.
出版 2010

書本目錄: “... -- Hypersurfaces of a sphere with parallel shape operator -- Codimension reduction of a submanifold -- CR...”
獲取全文

電子電子書

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

出版 2010

書本目錄: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
獲取全文

電子電子書

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

出版 2010

書本目錄: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
獲取全文

電子電子書

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

出版 2010

書本目錄: “... of Industrial Simulation Codes from HPC Environments to New Hardware Technologies -- Application of Parallel...”
獲取全文

電子電子書

Beginning Haskell A Project-Based Approach /

由 Serrano Mena, Alejandro., Serrano Mena, Alejandro.
出版 2014

主題: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
獲取全文

電子電子書

Software for People Fundamentals, Trends and Best Practices /

出版 2012

主題: “...Project Management. https://scigraph.springernature.com/ontologies/product-market-codes/515020...”
獲取全文

電子電子書

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /

出版 2013

書本目錄: “... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...”
獲取全文

電子電子書

Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings /

出版 2008

書本目錄: “... on the Arithmetic Correlation of Sequences -- A Class of Nonbinary Codes and Sequence Families -- Results...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

出版 2008

書本目錄: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
獲取全文

電子電子書

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global Sourcing 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers...

出版 2010

書本目錄: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
獲取全文

電子電子書

Advances in Information Processing and Protection

出版 2007

書本目錄: “... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...”
獲取全文

電子電子書

Computational Intelligence and Informatics Principles and Practice /

出版 2010

書本目錄: “...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...”
獲取全文

電子電子書

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

出版 2006

書本目錄: “... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...”
獲取全文

電子電子書

Metric Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /

由 Carter, Hamilton B., Carter, Hamilton B., Hemmady, Shankar G.
出版 2007

書本目錄: “... Metric-Driven Processes -- Roles in a Verification Project -- Overview of a Verification Project...”
獲取全文

電子電子書

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

出版 2008

書本目錄: “... Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome...”
獲取全文

電子電子書

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

出版 2005

書本目錄: “... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...”
獲取全文

電子電子書

High Performance Computing in Science and Engineering, Garching/Munich 2009 Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz S...

出版 2010

書本目錄: “..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...”
獲取全文

電子電子書

Advances in Mechanisms, Robotics and Design Education and Research

出版 2013

書本目錄: “... Positive Tension for Wire-Actuated Parallel Manipulators, by Leila Notash -- Part 4 Legged Locomotion -- 21...”
獲取全文

電子電子書

1
2
3
4
5
6
下一個 »
[6]

縮小搜索