検索結果 - intersections computer program programs interactions https

提案スペルによる検索:
intersections computer » interactions computer , interventions computer , intersections completes
programs interactions » programs interaction , programs international , proteases interactions
interactions https » interaction https , integration https
program programs » program program , programs program , program progress

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

出版事項 2015

目次: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
全文の入手

電子媒体 eBook

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

出版事項 2013

目次: “... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”
全文の入手

電子媒体 eBook

Human-Computer Interaction: Users and Contexts of Use 15th International Conference, HCI...

出版事項 2013

目次: “... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”
全文の入手

電子媒体 eBook

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

出版事項 2010

目次: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
全文の入手

電子媒体 eBook

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

出版事項 2005

目次: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
全文の入手

電子媒体 eBook

Man-Machine Interactions 2

出版事項 2011

主題: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
全文の入手

電子媒体 eBook

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

出版事項 2008

目次: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
全文の入手

電子媒体 eBook

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

出版事項 2008

目次: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
全文の入手

電子媒体 eBook

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference...

出版事項 2007

目次: “... -- Computerized Bone Age Assessment Using DCT and LDA -- Natural Image Matting Based on Neighbor Embedding...”
全文の入手

電子媒体 eBook

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

出版事項 2007

目次: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
全文の入手

電子媒体 eBook

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

出版事項 2005

目次: “... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”
全文の入手

電子媒体 eBook

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

出版事項 2007

目次: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
全文の入手

電子媒体 eBook

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

出版事項 2007

目次: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
全文の入手

電子媒体 eBook

Computational Methods

出版事項 2006

目次: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
全文の入手

電子媒体 eBook

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

出版事項 2012

目次: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
全文の入手

電子媒体 eBook

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings /

出版事項 2007

目次: “... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”
全文の入手

電子媒体 eBook

Emerging Technologies for Information Systems, Computing, and Management

出版事項 2013

目次: “...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”
全文の入手

電子媒体 eBook

Model-Driven Development of Advanced User Interfaces

出版事項 2011

目次: “... of Interactive Multimedia Applications -- 4.1.3. Taking Advantage of Model-Driven Engineering Fundaments...”
全文の入手

電子媒体 eBook

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

出版事項 2014

目次: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
全文の入手

電子媒体 eBook

Mobile 3D Graphics

著者: Malizia, Alessio., Malizia, Alessio.
出版事項 2006

目次: “... -- Meshes and Sprites -- Animations -- Ray intersections -- Building an M3G demo -- Summary -- Direct 3D...”
全文の入手

電子媒体 eBook

絞込み検索