Search Results - interactive computer programmes programme abstracts https

1

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “..., Quantum Topology and Quantum Computation -- Symmetries in Natural Language Syntax and Semantics...”
View full text

Electronic eBook

2

Computers Helping People with Special Needs, Part I 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings /

Published 2010

Table of Contents: “... Disabilities -- HCI and Non Classical Interfaces -- HCI: Software Accessibility and Social Interaction...”
View full text

Electronic eBook

3

Computers Helping People with Special Needs, Part II 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Blind and Partially Sighted People: Mobility and Interaction without Sight -- Blind and Partially...”
View full text

Electronic eBook

4

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /

Published 2008

Table of Contents: “... -- Analyzing Peer Interactions in Computer-Supported Collaborative Learning: Model, Method and Tool -- eSurvey...”
View full text

Electronic eBook

5

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...Invited Paper -- Palpable Computing and the Role of Agent Technology -- Research Papers -- A...”
View full text

Electronic eBook

6

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Published 2005

Table of Contents: “... Interactions -- Design of Neuro-fuzzy Controller Based on Dynamic Weights Updating -- Interval Computing...”
View full text

Electronic eBook

7

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Published 2006

Table of Contents: “...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...”
View full text

Electronic eBook

8

Multiple Classifier Systems 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings /

Published 2007

Table of Contents: “... of Classifiers with Application to AdaBoost -- Interactive Boosting for Image Classification -- Cluster and Graph...”
View full text

Electronic eBook

9

Mobility Aware Technologies and Applications Second International Workshop, MATA 2005, Montreal, Canada, October 17 -- 19, 2005, Proceedings /

Published 2005

Table of Contents: “... Streams Saving Bandwidth for Overused Networks -- APHIDS++: Evolution of A Programmable Hybrid Intrusion...”
View full text

Electronic eBook

10

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 /

Published 2012

Table of Contents: “... -- To Err Is Human, to Explain and Correct Is Divine: A Study of Interactive Erroneous Examples with Middle...”
View full text

Electronic eBook

11

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Published 2013

Table of Contents: “...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...”
View full text

Electronic eBook

12

From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014, Proceedings /

Published 2014

Table of Contents: “... Restructuring of Experience in Autonomous Machines -- Time in Consciousness, Memory and Human-Robot Interaction...”
View full text

Electronic eBook

13

Advances in Cryptology -- CRYPTO 2012 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings /

Published 2012

Table of Contents: “... Computation.- New Impossibility Results for Concurrent Composition and a Non-interactive Completeness Theorem...”
View full text

Electronic eBook

14

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Published 2010

Subjects: “...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

15

Theoretical Introduction to Programming

by Mills, Bruce Ian., Mills, Bruce Ian.
Published 2006

Table of Contents: “...The Abstract Rational Outlook -- A Grab Bag of Computational Models -- Some Formal Technology...”
View full text

Electronic eBook

16

Inter-Domain Management First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings /

Published 2007

Table of Contents: “... and Performance Evaluation of the Network and Service Management Plane -- Abstractions to Support Interactions...”
View full text

Electronic eBook

17

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2006

Table of Contents: “... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...”
View full text

Electronic eBook

18

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
View full text

Electronic eBook

19

Python Programming Fundamentals

by Lee, Kent D., Lee, Kent D.
Published 2011

Subjects: “...Programming languages (Electronic computers)....”
View full text

Electronic eBook

20

Spatial Planning and Urban Development Critical Perspectives /

by Palermo, Pier Carlo., Palermo, Pier Carlo., Ponzini, Davide.
Published 2010

Table of Contents: “...: The Lost Object -- Decision-Centred Views -- The Social Rootedness of Urban Planning -- The Interactive...”
View full text

Electronic eBook

Narrow Search