Explicit - PDFSEARCH.IO - Document Search Engine

Explicit
Results: 1345

#	Item
421	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: ctan.mirrorcatalogs.com Language: English - Date: 2014-09-20 20:34:08
422	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: ctan.sharelatex.com Language: English - Date: 2014-09-20 20:34:08
423	RICE UNIVERSITY Experimental Evaluation of Explicit and Symbolic Automata-Theoretic Algorithms by Deian Tabakov A THESIS SUBMITTED Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-10-21 14:11:52
424	Government Open Source Policies – April 2006 James A. Lewis Center for Strategic and International Studies This is the third update to our Open Source Policies table. The attached table tracks explicit governmental pol Add to Reading List Source URL: csistechpolicy.net Language: English - Date: 2014-08-22 14:15:57
425	Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-11-26 20:31:33
426	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2014-09-20 20:34:08
427	Coq a` la Tarski: a predicative calculus of constructions with explicit subtyping Ali Assaf12 1 INRIA Paris-Rocquencourt, Paris, France Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:19
428	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: mirror.unl.edu Language: English - Date: 2014-09-20 20:34:08
429	ABSTRACT Explicit or Symbolic Translation of Linear Temporal Logic to Automata by Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-04-29 00:19:05
430	The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b Add to Reading List Source URL: mirror.neu.edu.cn Language: English - Date: 2014-09-20 20:34:08

UPDATE