Nested - PDFSEARCH.IO - Document Search Engine

Nested
Results: 632

#	Item
151	Path resolution for recursive nested modules is undecidable Keiko Nakata1 and Jacques Garrigue2 1 2 Add to Reading List Source URL: www.math.nagoya-u.ac.jp - Date: 2007-08-30 04:12:16
152	A Temporal Logic of Nested Calls and Returns ? Rajeev Alur1 , Kousha Etessami2 , and P. Madhusudan1 1 2 University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu - Date: 2006-06-22 11:47:24
153	ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS RYUTA ARISAKA, ANUPAM DAS, AND LUTZ STRASSBURGER ´ INRIA, 1 rue Honor´e d’Estienne d’Orves,, Campus de l’Ecole Polytechnique, Bˆ atiment Alan Turing, 91120 Palais Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-10 05:14:06
154	Representing MapReduce Optimisations in the Nested Relational Calculus Marek Grabowski1 , Jan Hidders2 , and Jacek Sroka1 1 Institute of Informatics, University of Warsaw, Poland Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2013-10-22 17:08:34
155	Programmes offered at College of Natural Resources for Undergraduate and Master courses B. Sc. in Agriculture (Diploma nested) Duration: 4 Years (2 year Diploma nested) Add to Reading List Source URL: www.cnr.edu.bt Language: English - Date: 2015-04-22 00:55:51
156	January 7, 2013 — Final version for proceedings of FoSSaCSCut Elimination in Nested Sequents for Intuitionistic Modal Logics Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-02-07 16:35:53
157	2001 Paper 5 Question 6 Compiler Construction Consider a language J which has • Java-like syntax • nested definitions of procedures within other procedures Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:17:42
158	Streaming Nested Data Parallelism Frederik M. Madsen HIPERFIT December 2014 Add to Reading List Source URL: hiperfit.dk Language: English
159	Approximate Bayesian Inference for Latent Gaussian Models Using Integrated Nested Laplace Approximations H˚avard Rue & Sara Martino Department of Mathematical Sciences NTNU, Norway Add to Reading List Source URL: www.math.ntnu.no Language: English - Date: 2008-06-09 03:02:03
160	Church, Hughes Clarke and Haigh Hydrodynamic Model in Narrow Fjords Use of a nested finite-element hydrodynamic model to predict phase and amplitude Add to Reading List Source URL: www.omg.unb.ca Language: English - Date: 2010-01-08 07:00:51

UPDATE