FR - PDFSEARCH.IO - Document Search Engine

FR
Results: 387169

#	Item
271	´ ´rieure Ecole Normale Supe ´eAnne Add to Reading List Source URL: www.math.ens.fr Language: French - Date: 2016-02-01 05:18:43
272	PDF Document Add to Reading List Source URL: www.larochelle.fr Language: French - Date: 2016-09-28 08:29:59
273	Sur les surfaces K3 et les variétés hyperkählériennes 7th Swiss-French workshop in Algebraic Geometry Charmey, Suisse Janvier 2018 Olivier Debarre Add to Reading List Source URL: www.math.ens.fr Language: French - Date: 2018-01-14 11:10:58
274	Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:17 Computing Software engineering Computer programming Data types C++ C Primitive types Software bugs Pointer Struct Memory safety C dynamic memory allocation
275	Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse Add to Reading List Source URL: perso.ensta-paristech.fr Language: French - Date: 2012-12-19 06:23:56
276	Grivaux, Julien Topological properties of Hilbert schemes of almost-complex four-manifolds. II. (English) Zbl Geom. Topol. 15, No. 1, In the paper under review, the author studies the ratio Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-03-18 08:56:10 Geometry Abstract algebra Algebra Algebraic geometry Differential topology Algebraic topology Complex manifolds Moduli theory Cobordism Hilbert scheme Projective variety Chern class
277	Phalempins TOURCOING 1 2 Add to Reading List Source URL: www.univ-lille.fr Language: French - Date: 2018-07-09 10:15:11
278	SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:14 Formal methods Algebraic structures Abstract interpretation Refinement Lattice Universal quantification Mathematics Computing Theoretical computer science
279	Automorphisms of Rational Surfaces with Positive Entropy J ULIE D E´ SERTI & J ULIEN G RIVAUX A BSTRACT. A complex compact surface which carries a minimal automorphism of positive topological entropy has been proved by Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2016-04-27 12:14:30 Algebra Geometry Abstract algebra Birational geometry Algebraic geometry Blowing up Rational mapping Algebraic surface Resolution of singularities Cremona group Ample line bundle Divisor
280	ORSAY No d’ordre : 2097 ´ DE PARIS-SUD 11 UNIVERSITE CENTRE D’ORSAY Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2018-09-10 09:13:08 Software engineering Computer programming Software Frama-C Formal methods Logic in computer science ACSL OCaml Runtime verification ANSI/ISO C Specification Language

UPDATE