Søgeresultater - integration action programming programming construction https

Søg alternativer:
programming construction » programming constructs , program construction , programming abstraction
programming programming » programming programmed , programming program
integration action » integration section , integrating action , integrative action
action programming » actions programming , edition programming , notions programming
construction https » instruction https , conservation https , construction history

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”
Få fuldtekst

Electronisk eBog

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Få fuldtekst

Electronisk eBog

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /

Udgivet 2011

Indholdsfortegnelse: “..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”
Få fuldtekst

Electronisk eBog

The Essential Guide to Flex 3

af Brown, Charles., Brown, Charles.
Udgivet 2008

Indholdsfortegnelse: “... -- Case Study: Part 1 -- Case Study: Part 2 -- Flex and Data -- Printing -- Charting -- Adobe Integrated...”
Få fuldtekst

Electronisk eBog

Integrated Graphic and Computer Modelling

af Thomas, Adrian., Thomas, Adrian.
Udgivet 2008

Indholdsfortegnelse: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
Få fuldtekst

Electronisk eBog

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”
Få fuldtekst

Electronisk eBog

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
Få fuldtekst

Electronisk eBog

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Få fuldtekst

Electronisk eBog

Service Science, Management and Engineering Education for the 21st Century /

Udgivet 2008

Indholdsfortegnelse: “...SSME Discipline -- Legitimizing SSME in Academia: Critical Considerations and Essential Actions...”
Få fuldtekst

Electronisk eBog

Form-Oriented Analysis A New Methodology to Model Form-Based Applications /

af Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Udgivet 2005

Indholdsfortegnelse: “... -- Forward Engineering and Reverse Engineering -- Typed Server Pages -- Semantics -- The Integrated Source...”
Få fuldtekst

Electronisk eBog

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program...”
Få fuldtekst

Electronisk eBog

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2012

Indholdsfortegnelse: “....-Key Action Extraction for Learning Analytics -- Using Local and Global Self-evaluations to Predict...”
Få fuldtekst

Electronisk eBog

Pathways to Environmental Sustainability Methodologies and Experiences /

Udgivet 2014

Indholdsfortegnelse: “... the integration of LCA and RA -- 13 Energy and Environmental Assessment of Retrofit Actions on a Residential...”
Få fuldtekst

Electronisk eBog

Systems Biology for Signaling Networks

Udgivet 2010

Indholdsfortegnelse: “... Construction -- From Microarray to Biology -- Modeling and Reconstruction -- Computational Procedures for Model...”
Få fuldtekst

Electronisk eBog

Effective Learning and Teaching of Writing A Handbook of Writing in Education /

Udgivet 2005

Indholdsfortegnelse: “... by Fostering Argumentative Speech -- Monitoring Local Coherence Through Bridging Integration -- Learning...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning