Nested - PDFSEARCH.IO - Document Search Engine

Nested
Results: 632

#	Item
201	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
202	1.5. New Features and Enhancements: (Fragment from the Oligo 7 Manual) Oligo 7 has been re-written from scratch, to make it fully compatible with everchanging operating systems. Most of the source code is written in Java Add to Reading List Source URL: www.oligo.net Language: English - Date: 2009-08-17 10:50:08 Biochemistry Polymerase chain reaction Laboratory techniques Amplifiers Biotechnology Primer Oligo Nested polymerase chain reaction OLIGO Primer Analysis Software Biology Molecular biology Chemistry
203	Hierarchical Diagonal Blocking and Precision Reduction Applied to Combinatorial Multigrid∗ Guy E. Blelloch Ioannis Koutis Add to Reading List Source URL: ccom.uprrp.edu Language: English - Date: 2011-03-02 23:58:23 Numerical linear algebra Sparse matrices Nested dissection Matrix Cache-oblivious algorithm Loop nest optimization Diagonal matrix Band matrix Sparse matrix Algebra Linear algebra Mathematics
204	Context-Free Languages and Pushdown Automata Jean-Michel Autebert1 , Jean Berstel2 , and Luc Boasson3 1 2 3 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-04-11 04:05:34 Context-free language Linear grammar Context-free grammar Formal grammar Vector space Nested word Pushdown automaton Formal languages Algebra Mathematics
205	Interfaces for Nested Classes Yannis Smaragdakis College of Computing Georgia Institute of Technology Atlanta, GA 30332 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2000-12-08 16:36:48 Object-oriented programming Java programming language Interfaces Type theory C++ Mixin Multiple inheritance Inner class Class Computing Software engineering Computer programming
206	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
207	The Complexity of Model Checking Multi-Stack Systems Benedikt Bollig Laboratoire Sp´ecification et V´erification, ´ Ecole Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-08-22 11:45:56 Mathematics Symbol Nested word Temporal logic Interpretation Structure Linguistics Normal distribution Formal languages Model theory Logic
208	Welcome PrivateEye is an image viewer for RISC OS. It requires RISC OS 3.6 or later and a Boot sequence with the Nested Wimp and a 32-bit Shared C Library. Features Add to Reading List Source URL: www.davespace.co.uk Language: English - Date: 2015-04-22 05:43:43 Software Sprite Control key JPEG Image file formats Exchangeable image file format Image viewer Icon bar Bitmap Graphics file formats Computing Computer graphics
209	, QL B 2 yS ,D M le & ac er Or erv Add to Reading List Source URL: www.jeckle.de Language: English - Date: 2004-07-16 18:29:38 Hierarchical query SQL Select Oracle Database Where Null Join Update Nested set model SQL keywords Data management Computing
210	Full Disjunctions: Polynomial-Delay Iterators in Action Sara Cohen Itzhak Fadida Yaron Kanza Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-11-04 06:35:06 Extension Relation Finitary relation Function Nested loop join Mathematics Relational model Tuple

UPDATE