檢索結果 - integrating computing programming semantics arrays a

搜索替代詞:
integrating computing » integration computing , integrated computing , integrating computers
computing programming » computer programming , computers programming
programming semantics » programming mathematics , programming series , programming secrets
semantics arrays » semantics essays , semantics across , semantics arrow
arrays a » arrays _

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

出版 2005

書本目錄: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
獲取全文

電子電子書

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

出版 2005

書本目錄: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
獲取全文

電子電子書

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

出版 2008

書本目錄: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
獲取全文

電子電子書

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
獲取全文

電子電子書

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

出版 2008

書本目錄: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
獲取全文

電子電子書

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

由 Simon, Axel., Simon, Axel.
出版 2008

書本目錄: “...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...”
獲取全文

電子電子書

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

出版 2010

書本目錄: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
獲取全文

電子電子書

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

出版 2010

書本目錄: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
獲取全文

電子電子書

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

出版 2005

書本目錄: “... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...”
獲取全文

電子電子書

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

出版 2005

書本目錄: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
獲取全文

電子電子書

Emerging Technologies for Information Systems, Computing, and Management

出版 2013

書本目錄: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
獲取全文

電子電子書

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

出版 2014

書本目錄: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
獲取全文

電子電子書

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

出版 2006

書本目錄: “... -- cc?: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics -- A Logic...”
獲取全文

電子電子書

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

出版 2012

書本目錄: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
獲取全文

電子電子書

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

出版 2014

書本目錄: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
獲取全文

電子電子書

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

出版 2005

書本目錄: “... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...”
獲取全文

電子電子書

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

出版 2010

書本目錄: “... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”
獲取全文

電子電子書

Artificial Evolution 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /

出版 2010

書本目錄: “... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...”
獲取全文

電子電子書

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

出版 2010

書本目錄: “... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”
獲取全文

電子電子書

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

出版 2010

書本目錄: “... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”
獲取全文

電子電子書

縮小搜索