Risultati della ricerca - interaction constraints programing programming courses https

Cerca anche:
interaction constraints » information constraints , informational constraints , contestations constraints
constraints programing » constraints programming , constraint programing , constraint programming
programing programming » programming programming , programmer programming , programs programming
programming courses » programming core , programming cases , programming congresses
courses https » nurses https , congresses https

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Pubblicazione 2010

Sommario: “... -- MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning -- Managing Web Services...”
Testo

Elettronico eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Pubblicazione 2005

Sommario: “... of Amino Acids in Long Polypeptides -- Order Preserving Clustering over Multiple Time Course Experiments...”
Testo

Elettronico eBook

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... Environment -- Applying Situation Awareness Approach to Cooperative Play in Interactive Installation...”
Testo

Elettronico eBook

Computers and Education: Towards Educational Change and Innovation

Pubblicazione 2008

Sommario: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Testo

Elettronico eBook

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004 /

Pubblicazione 2005

Sommario: “...: Multi-party Communication -- A Scalable Petri Net Representation of Interaction Protocols...”
Testo

Elettronico eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Pubblicazione 2010

Sommario: “... -- Prismfields: A Framework for Interactive Modeling of Three Dimensional Caves -- Efficient Marker Matching...”
Testo

Elettronico eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Pubblicazione 2014

Sommario: “... in Propositional Logic -- Quantifier Elimination for Linear Modular Constraints -- Skolemization Modulo Theories...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Adoption Theory -- E-Learning Assistant System Based on Virtual Human Interaction Technology -- Research...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Modeling of Human Head Conductivity -- Mining Molecular Structure Data for the Patterns of Interactions...”
Testo

Elettronico eBook

Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... News Services -- Social Navigation Support in a Course Recommendation System -- Cooperating Search...”
Testo

Elettronico eBook

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers /

Pubblicazione 2010

Sommario: “... Memory for Pervasive Games -- IMUI Workshop - Session 1: Context and Constraints -- Coarse In-Building...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...”
Testo

Elettronico eBook

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Pubblicazione 2010

Sommario: “... an e-Learning System for College Information Management Courses -- Cryptanalysis on Sun-Yeh’s Password...”
Testo

Elettronico eBook

Expressive Order Confirming Sentiments in Social Actions /

di Heise, David R., Heise, David R.
Pubblicazione 2007

Sommario: “....-Selecting a Behavior -- Social Interaction -- Groups -- Avoiding Diminishment -- Social Roles -- Medicine...”
Testo

Elettronico eBook

Informatics Education - The Bridge between Using and Understanding Computers International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2006,...

Pubblicazione 2006

Sommario: “... Fundamentals Through Interactive Interfaces for Learning -- Contributing to General Education by Teaching...”
Testo

Elettronico eBook

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... Solving School Timetabling Problems Using Extensions of Constraint Programming -- A Tiling Algorithm...”
Testo

Elettronico eBook

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Pubblicazione 2008

Sommario: “...Protein: Structure, Function, and Interaction -- Sequence Based Prediction of Protein Mutant...”
Testo

Elettronico eBook

Chemical Thermodynamics An Introduction /

di Keszei, Ernö., Keszei, Ernö.
Pubblicazione 2012

Sommario: “... -- 3: Thermodynamic equilibrium in systems with other constraints -- 4: Thermodynamic processes...”
Testo

Elettronico eBook

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II /

Pubblicazione 2010

Sommario: “... Interactions among Users in Urban Computing Environments -- Multi-criteria Retrieval in Cultural Heritage...”
Testo

Elettronico eBook

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

di Spear, Chris., Spear, Chris.
Pubblicazione 2008

Sommario: “... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
Testo

Elettronico eBook

Restringi la ricerca