Search Results - interactions foundations programming programming based https

1

by Bhangal, Sham., Bhangal, Sham., Besley, Kristian.
Published 2006

Table of Contents: “... Animation, Effects, and Commands -- Actions and Interactions -- Intelligent Actions -- Multimedia: Sound...”
View full text

Electronic eBook

2

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
View full text

Electronic eBook

3

Foundation HTML5 Canvas For Games and Entertainment /

by Hawkes, Rob., Hawkes, Rob.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

4

Foundation Expression Blend 2 Building Applications in WPF and Silverlight /

by Gaudioso, Victor., Gaudioso, Victor.
Published 2008

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

5

Foundation Actionscript 3.0 Animation Making Things Move! /

by Peters, Keith., Peters, Keith.
Published 2007

Table of Contents: “... -- Boundaries and Friction -- User Interaction: Moving Objects Around -- Advanced Motion -- Easing and Springing...”
View full text

Electronic eBook

6

Foundation ActionScript for Flash 8

by Besley, Kristian., Besley, Kristian., Bhangal, Sham., Dolecki, Eric., Powers, David.
Published 2006

Table of Contents: “...Interactive Flash -- Making Plans -- Movies that Remember -- Movies that Decide for Themselves...”
View full text

Electronic eBook

7

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

8

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
View full text

Electronic eBook

9

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Time -- Families with Infants: A General Approach to Solve Hard Partition Problems -- Changing Bases...”
View full text

Electronic eBook

10

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

11

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Published 2005

Table of Contents: “...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”
View full text

Electronic eBook

12

Foundation Website Creation with CSS, XHTML, and JavaScript

by Smith, Steve., Smith, Steve., Lane, Jonathan.
Published 2008

Table of Contents: “... -- Developing CSS in Practice: From Design to Deployment -- Creating Interactivity with Javascript -- Testing...”
View full text

Electronic eBook

13

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure -- A New Foundation...”
View full text

Electronic eBook

14

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Published 2015

Table of Contents: “... Solution to the Problem of Constant Acts in Savage -- Graph-Based Belief Merging -- Human strategic...”
View full text

Electronic eBook

15

ECOOP 2008 - Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings /

Published 2008

Table of Contents: “... Systems -- Session-Based Distributed Programming in Java -- Session VIII -- ReCrash: Making Software...”
View full text

Electronic eBook

16

Beginning C# Object-Oriented Programming

by Clark, Dan., Clark, Dan.
Published 2013

Table of Contents: “...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
View full text

Electronic eBook

17

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /

Published 2013

Table of Contents: “...-Pragmatics Boundary -- A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices...”
View full text

Electronic eBook

18

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...”
View full text

Electronic eBook

19

Group-Centered Prevention Programs for At-Risk Students

by Clanton Harpine, Elaine., Clanton Harpine, Elaine.
Published 2011

Table of Contents: “... -- The Role of Interaction in a Group -- Self-Efficacy: The Learning Component in Schools -- Group Cohesion...”
View full text

Electronic eBook

20

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Published 2010

Table of Contents: “...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”
View full text

Electronic eBook

Narrow Search