檢索結果 - functions computation programming evolving using tools*

搜索替代詞:
computation programming » communication programming , computation programmatic , computing programming
functions computation » function computation , functions composition , function composition
programming evolving » programming solving , programming building , programming designing
evolving using » solving using , evolving pacing , evolved using
using tools » cutting tools , making tools , mining tools

Drawing Programs: The Theory and Practice of Schematic Functional Programming

由 Addis, Tom., Addis, Tom., Addis, Jan.
出版 2010

書本目錄: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
獲取全文

電子電子書

Genetic Systems Programming Theory and Experiences /

出版 2006

書本目錄: “... Functions in Gene Expression Programming -- Evolving Intrusion Detection Systems -- Evolutionary Pattern...”
獲取全文

電子電子書

Evolutionary Computation for Modeling and Optimization

由 Ashlock, Daniel., Ashlock, Daniel.
出版 2006

書本目錄: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
獲取全文

電子電子書

Computational Social Network Analysis Trends, Tools and Research Advances /

出版 2010

書本目錄: “...-Intensive Socially Similar Evolving Community Tracker -- Clustering of Blog Sites Using Collective Wisdom...”
獲取全文

電子電子書

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

出版 2008

書本目錄: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
獲取全文

電子電子書

From Computer Literacy to Informatics Fundamentals International Conference on Informatics...

出版 2005

書本目錄: “... Education: The Project “Computer-Education-Society” in the School Year 1984/85 -- 20 Years of Computers...”
獲取全文

電子電子書

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

出版 2008

書本目錄: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
獲取全文

電子電子書

Foundation Flash 8

由 Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
出版 2006

主題: “...Computer programming....”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
獲取全文

電子電子書

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

出版 2007

書本目錄: “...Keynotes -- Software Architectures for Task-Oriented Computing -- An Active Architecture Approach...”
獲取全文

電子電子書

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

出版 2010

書本目錄: “... regarding Evolvability -- Functional Architecture Modeling for the Software Product Industry -- Experiences...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

出版 2014

書本目錄: “...: An Introduction -- Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach...”
獲取全文

電子電子書

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

出版 2008

書本目錄: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
獲取全文

電子電子書

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor...

出版 2007

書本目錄: “... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”
獲取全文

電子電子書

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

出版 2010

書本目錄: “... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”
獲取全文

電子電子書

The Open Knowledge Society A Computer Science and Information Systems Manifesto /

出版 2008

書本目錄: “... of Science and Public Education -- The Grid for Learning -- Online Social Networks: Why Do “We” Use Facebook...”
獲取全文

電子電子書

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

出版 2010

書本目錄: “... Programs -- Using Graph Transformations and Graph Abstractions for Software Verification....”
獲取全文

電子電子書

Intelligent Virtual Agents 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005, Proceedings /

出版 2005

書本目錄: “... Virtual Agents Learning a Cognitive Model and Evolving -- Using Real Objects to Communicate with Virtual...”
獲取全文

電子電子書

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

出版 2007

書本目錄: “... and Multimedia Applications -- Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive...”
獲取全文

電子電子書

縮小搜索