Risultati della ricerca - program generation https functionality usability https

Cerca anche:
functionality usability » functionality durability , functional disability , function usability
https functionality » its functionality , bags functionality , cross functionality
program generation » program execution
generation https » degeneration https , generation hts , generation helps
usability https » disability https , usability tips , summability https

Programming Language Concepts

di Sestoft, Peter., Sestoft, Peter.
Pubblicazione 2012

Sommario: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Testo

Elettronico eBook

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Pubblicazione 2012

Sommario: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Testo

Elettronico eBook

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... State Machines -- MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation...”
Testo

Elettronico eBook

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /

Pubblicazione 2014

Sommario: “...ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging...”
Testo

Elettronico eBook

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Testo

Elettronico eBook

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers /

Pubblicazione 2007

Sommario: “... for Usability of Sonification Applications -- Reflections on Tasks and Activities in Modeling -- Non-functional...”
Testo

Elettronico eBook

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II /

Pubblicazione 2010

Sommario: “... Parameters Using the Kernel Function -- A Genetic Algorithm for Efficient Delivery Vehicle Operation Planning...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Simulation Based on Mass-Spring System -- Sweeping Surface Generated by a Class of Generalized Quasi-cubic...”
Testo

Elettronico eBook

User Modeling 2005 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings /

Pubblicazione 2005

Sommario: “...Invited Talks -- User Modeling Meets Usability Goals -- Hey, That’s Personal! -- Inhabited Models...”
Testo

Elettronico eBook

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... Unification -- The Summary Abox: Cutting Ontologies Down to Size -- Semantic Metadata Generation for Large...”
Testo

Elettronico eBook

Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013, Proceedings /

Pubblicazione 2013

Sommario: “...): The Step to the Next Generation Collaborative Product Creation -- Economic Advantages by CAD/CAM Use...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... Relationships on the Quality of Query Clusters -- Query Generation Using Semantic Features -- Page Sets as Web...”
Testo

Elettronico eBook

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV...

Pubblicazione 2013

Sommario: “... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”
Testo

Elettronico eBook

Restringi la ricerca