Rezultati - interactive computer program program constructs https

1

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

Izdano 2008

Kazalo: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
Polni tekst

Elektronski eKnjiga

2

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Izdano 2007

Kazalo: “... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2014

Kazalo: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Polni tekst

Elektronski eKnjiga

4

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

Izdano 2005

Kazalo: “... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”
Polni tekst

Elektronski eKnjiga

5

Learning C# by Programming Games

od Egges, Arjan., Egges, Arjan., Fokker, Jeroen D., Overmars, Mark H.
Izdano 2013

Kazalo: “...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2013

Kazalo: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
Polni tekst

Elektronski eKnjiga

7

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS...

Izdano 2005

Kazalo: “... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”
Polni tekst

Elektronski eKnjiga

8

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Izdano 2005

Kazalo: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
Polni tekst

Elektronski eKnjiga

9

Multimedia Introduction to Programming Using Java

od Gries, David., Gries, David., Gries, Paul.
Izdano 2005

Kazalo: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Polni tekst

Elektronski eKnjiga

10

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Izdano 2007

Kazalo: “... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”
Polni tekst

Elektronski eKnjiga

11

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Izdano 2014

Kazalo: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
Polni tekst

Elektronski eKnjiga

12

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Izdano 2008

Kazalo: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
Polni tekst

Elektronski eKnjiga

13

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference...

Izdano 2010

Kazalo: “... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”
Polni tekst

Elektronski eKnjiga

14

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

Izdano 2010

Kazalo: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
Polni tekst

Elektronski eKnjiga

15

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Izdano 2005

Kazalo: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Polni tekst

Elektronski eKnjiga

16

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Izdano 2006

Kazalo: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Polni tekst

Elektronski eKnjiga

17

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Izdano 2012

Kazalo: “...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”
Polni tekst

Elektronski eKnjiga

18

Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI...

Izdano 2014

Kazalo: “...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”
Polni tekst

Elektronski eKnjiga

19

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Izdano 2015

Kazalo: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
Polni tekst

Elektronski eKnjiga

20

A Comprehensive Cognitive Behavioral Program for Offenders Responsible Adult Culture /

od Potter, Granville Bud., Potter, Granville Bud., Gibbs, John C., Robbins, Molly., Langdon, Peter E.
Izdano 2015

Kazalo: “... to Manage Anger and Correct Thinking Errors -- Chapter 6. Equipping with Social Interaction Skills...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje