Y2 - PDFSEARCH.IO - Document Search Engine

Y2
Results: 195

#	Item
51	キーワード分類表キーワード Y 製品・技術の種類 Y1 Y2 Y3 Add to Reading List Source URL: www.jase-w.eccj.or.jp Language: Japanese - Date: 2015-02-13 02:07:48
52	Under consideration for publication in Math. Struct. in Comp. Science Characteristic Formulae for Fixed-Point Semantics: A General Framework L U C A A C E T O1 A N N A I N G O L F D O T T I R1 P A U L B L A I N L E V Y2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-31 13:22:46
53	< PAGE >1 Mod Y2 Allegato C 2 Add to Reading List Source URL: attiministeriali.miur.it Language: Italian - Date: 2011-08-03 09:49:40
54	0.1 bprobit: Bivariate Logistic Regression for Two Dichotomous Dependent Variables Use the bivariate probit regression model if you have two binaryrun dependent variables (Y1 , Y2 ), and wish to model them jointly as a Add to Reading List Source URL: perso.md2t.eu Language: English
55	4G/Y2.2/S/ USA/+AA7854 ( DOM) 15 PK- MTRC141 Packing Instructions Add to Reading List Source URL: www.thecompliancecenter.com Language: English - Date: 2014-09-22 15:30:35
56	4G/Y2.2/S/ USA/+AA7854 ( DOM) PK-GNA4/PK-GNA8 Packing Instructions Shipper must ensure compatibility with all packaging materials and follow all appropriate transport regulations. For air Add to Reading List Source URL: www.thecompliancecenter.com Language: English - Date: 2014-01-23 09:46:13
57	4G/Y2.2/S/ USA/+AA7854 ( DOM) PK- GNA16 Series Packing Instructions Shipper must ensure compatibility with all packaging materials and follow all appropriate transport regulations. For air Add to Reading List Source URL: www.thecompliancecenter.com Language: English - Date: 2014-01-23 09:46:11
58	Source:JASE-W Japanese Smart Energy Products & Technologies http://www.jase-w.eccj.or.jp/technologies/index.html Keywords Y2 Add to Reading List Source URL: www.jase-w.eccj.or.jp Language: English - Date: 2014-12-24 21:31:35
59	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
60	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science

UPDATE