Výsledky vyhledávání - interface revision programming programming constructs https

Alternativní vyhledávání:
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
revision programming » television programming , edition programming , session programming
interface revision » interface session , interne revision , interface region
constructs https » construction https , constructs loops , constructs arti

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Vydáno 2006

Obsah: “... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”
Získat plný text

Elektronický zdroj E-kniha

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Vydáno 2008

Obsah: “... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”
Získat plný text

Elektronický zdroj E-kniha

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Vydáno 2008

Obsah: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
Získat plný text

Elektronický zdroj E-kniha

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Vydáno 2005

Obsah: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Získat plný text

Elektronický zdroj E-kniha

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Vydáno 2014

Obsah: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Získat plný text

Elektronický zdroj E-kniha

Pro C# 2008 and the .NET 3.5 Platform

Autor Troelsen, Andrew., Troelsen, Andrew.
Vydáno 2007

Obsah: “... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...”
Získat plný text

Elektronický zdroj E-kniha

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June 24-26, 2009. Revised...

Vydáno 2010

Obsah: “... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”
Získat plný text

Elektronický zdroj E-kniha

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /

Vydáno 2005

Obsah: “... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”
Získat plný text

Elektronický zdroj E-kniha

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Vydáno 2008

Obsah: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Získat plný text

Elektronický zdroj E-kniha

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Vydáno 2008

Obsah: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
Získat plný text

Elektronický zdroj E-kniha

Advances in Web Based Learning - ICWL 2007 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers /

Vydáno 2008

Obsah: “... Framework to Support Automatic Construction of Adaptive Learning Experiences -- Learning Resource...”
Získat plný text

Elektronický zdroj E-kniha

Pro C# 2010 and the .NET 4 Platform

Autor Troelsen, Andrew., Troelsen, Andrew.
Vydáno 2010

Obsah: “... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...”
Získat plný text

Elektronický zdroj E-kniha

Pro VB 2010 and the .NET 4.0 Platform

Autor Troelsen, Andrew., Troelsen, Andrew., Vrat Agarwal, Vidya.
Vydáno 2010

Obsah: “... Constructs, Part I -- Core VB 2010 Programming Constructs, Part II -- Defining Encapsulated Class Types...”
Získat plný text

Elektronický zdroj E-kniha

Web Information Systems and Technologies 5th International Conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009, Revised Selected Papers /

Vydáno 2010

Obsah: “... Effectiveness -- Agent-Oriented Programming for Client-Side Concurrent Web 2.0 Applications -- The SHIP: A SIP...”
Získat plný text

Elektronický zdroj E-kniha

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Vydáno 2013

Obsah: “...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...”
Získat plný text

Elektronický zdroj E-kniha

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers /

Vydáno 2006

Obsah: “... -- Automated Reasoning Support for First-Order Ontologies -- Combining Safe Rules and Ontologies by Interfacing...”
Získat plný text

Elektronický zdroj E-kniha

HCI and Usability for Education and Work 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Aust...

Vydáno 2008

Obsah: “... -- Construction and Evaluation of a User Experience Questionnaire -- Social Software and Collaborative Knowledge...”
Získat plný text

Elektronický zdroj E-kniha

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Vydáno 2012

Obsah: “... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”
Získat plný text

Elektronický zdroj E-kniha

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Vydáno 2012

Obsah: “...Robot programming -- Languages and compilation techniques -- Real-time and fault tolerance...”
Získat plný text

Elektronický zdroj E-kniha

New Frontiers in Artificial Intelligence Joint JSAI 2005 Workshop Post-Proceedings /

Vydáno 2006

Obsah: “...Awarded Papers -- Overview of Awarded Papers: The 19th Annual Conference of JSAI -- On Constructing...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání