Rezultaty - processing programs 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
processing programs » processing programmed , processing problems , processing products
programs program » programming program
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

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global...

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

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: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
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: “...) -- Wireless Network Security -- Performance and Security Aspects of Client-Side SSL/TLS Processing on Mobile...”
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: “... Retrieval System Using Long Term Relevance Feedback -- Perceptual Distance Functions for Similarity...”
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

Digital Libraries: Achievements, Challenges and Opportunities 9th International Conference on Asian Digial Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings /

Wydane 2006

Spis treści: “...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Handbook of Performability Engineering

Wydane 2008

Spis treści: “... Improvement Process with the Product Development Program -- Reliability Engineering: A Perspective -- Tampered...”
Dokumenty pełnotekstowe

Elektroniczne E-book

New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów...

Wydane 2013

Spis treści: “... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...”
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

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

Wydane 2005

Spis treści: “... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Artificial Gravity

Wydane 2007

Spis treści: “... System -- Phyysiological Targets of Artificial Gravity: Adaptive Processes in Bone -- Interactions Among...”
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: “... Identification Through Image Evaluation Using Secret Predicates -- Hash Functions -- Cryptanalysis of Reduced...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /

Wydane 2006

Spis treści: “... -- Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization...”
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