Arama Sonuçları - intersections computing processing program complexity https

Şunu mu demek istediniz:
intersections computing » interaction computing , interneurons computing , intersections rotating
computing processing » computing proceeding , computing proceedings , computer processing
processing program » processing programs , processing programmed , proceedings program
program complexity » programs complexity , problem complexity , programming complexity
https » http

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Tam Metin Erişim

Elektronik Ekitap

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”
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

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”
Tam Metin Erişim

Elektronik Ekitap

Parallel Processing and Applied Mathematics, Part I 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Parallel/Distributed Architectures and Mobile Computing -- Evaluating Performance of New Quad-Core...”
Tam Metin Erişim

Elektronik Ekitap

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”
Tam Metin Erişim

Elektronik Ekitap

Complex Systems Design & Management Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010 /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Specification -- Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...”
Tam Metin Erişim

Elektronik Ekitap

Computer Graphics and Geometric Modelling Implementation & Algorithms /

Yazar: Agoston, Max K., Agoston, Max K.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Curves in Computer Graphics -- Surfaces in Computer Graphics -- Intersection Algorithms -- Global...”
Tam Metin Erişim

Elektronik Ekitap

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Tam Metin Erişim

Elektronik Ekitap

Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Logic for Multi-threaded Programs.- The Algorithmic Complexity of k-Domatic Partition of Graphs.- Unique...”
Tam Metin Erişim

Elektronik Ekitap

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”
Tam Metin Erişim

Elektronik Ekitap

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Tam Metin Erişim

Elektronik Ekitap

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2014

İçindekiler: “.... Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit -- Span-Program-Based...”
Tam Metin Erişim

Elektronik Ekitap

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...”
Tam Metin Erişim

Elektronik Ekitap

Computational Methods

Baskı/Yayın Bilgisi 2006

İçindekiler: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Tam Metin Erişim

Elektronik Ekitap

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Computational Complexity of Generalized Domination: A Complete Dichotomy for Chordal Graphs...”
Tam Metin Erişim

Elektronik Ekitap

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt