Rezultaty - program based program functionality mission https

Inne możliwości wyszukiwania:
program functionality » protein functionality , programs functional , supra functionality
functionality mission » functionality design , functionality using , functionality maps
program based » programs based , gram based , programming based
based program » based programming
mission https » vision https , fiction https , fusion https

Genetic Programming Theory and Practice III

Wydane 2006

Spis treści: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Genetic Programming Theory and Practice II

Wydane 2005

Spis treści: “... Building -- Population Sizing for Genetic Programming Based on Decision-Making -- Considering the Roles...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Wydane 2005

Spis treści: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Wydane 2010

Spis treści: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “...Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Wydane 2008

Spis treści: “...-IVP -- Interval Subroutine Library Mission -- Convex Polyhedral Enclosures of Interval-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Wydane 2013

Spis treści: “...-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings /

Wydane 2010

Spis treści: “... Tracking Based on Behavioral Fingerprints -- Hash Functions -- On the Collision and Preimage Resistance...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Wydane 2007

Spis treści: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Wydane 2007

Spis treści: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...: Researching Discourses in IT Outsourcing -- Governance of Offshore IT Outsourcing at Shell Global Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Wydane 2005

Spis treści: “... Programming to Machine Learning -- A Clustering Model Based on Matrix Approximation with Applications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Handbook of Performability Engineering

Wydane 2008

Spis treści: “...: Business Models for the Functional Service Economy -- Cleaner Production and Industrial Ecology: A Dire...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Image and Video Retrieval 5th Internatinoal Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings /

Wydane 2006

Spis treści: “...Session O1: Interactive Image and Video Retrieval -- Interactive Experiments in Object-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Brain-Inspired Information Technology

Wydane 2010

Spis treści: “...Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space -- Three Paths...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Wydane 2005

Spis treści: “... -- Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views -- Data Mining...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Wydane 2006

Spis treści: “... -- Mission Unaccomplished: Form and Behavior But No Function -- The Value of Visual 4D Planning in the UK...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Wydane 2013

Spis treści: “... to Venus Mission Using Taboo Evolutionary Programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

Distributed, Embedded and Real-time Java Systems

Wydane 2012

Spis treści: “... -- Parallel Real-time Garbage Collection -- Region-based Memory Management: An Evaluation of its Support...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Topics in Cryptology – CT-RSA 2007 The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings /

Wydane 2006

Spis treści: “...Symmetric-Key Encryption -- MV3: A New Word Based Stream Cipher Using Rapid Mixing and Revolving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty