Arama Sonuçları - interactive computing proceeding programs functionals https

Şunu mu demek istediniz:
interactive computing » interactive computer
computing proceeding » computing proceedings , computing providing , computing protecting
programs functionals » programs functional , programming functionals , program functionality
proceeding programs » processing programs , proceedings program , breeding programs
functionals https » functions https , function https , functionals hints

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Tam Metin Erişim

Elektronik Ekitap

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Tam Metin Erişim

Elektronik Ekitap

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Tam Metin Erişim

Elektronik Ekitap

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”
Tam Metin Erişim

Elektronik Ekitap

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Tam Metin Erişim

Elektronik Ekitap

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Tam Metin Erişim

Elektronik Ekitap

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Tam Metin Erişim

Elektronik Ekitap

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Secret Key Sequence -- Interactive Satellite Remote Education System Based on Bluetooth and GPRS -- A...”
Tam Metin Erişim

Elektronik Ekitap

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
Tam Metin Erişim

Elektronik Ekitap

1
2
3
4
5
6
7
8
9
10
11
Sonraki »
[13]

Aramayı Daralt