LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
471	LIX CROSS INTERNACIONAL DE SAN SEBASTIAN LIX DONOSTIAKO NAZIOARTEKO KROSA LASARTE,[removed] Add to Reading List Source URL: resultados.rfea.es Language: English - Date: 2014-04-15 13:23:40
472	A remark on an article of S. M¨uller Fran¸cois Morain INRIA Saclay–ˆIle-de-France & Laboratoire d’Informatique (CNRS/UMR 7161) ´ Ecole Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-10-22 07:51:27 Polynomials Analytic number theory Elliptic curve Group theory Discriminant Algebra Abstract algebra Mathematics
473	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
474	ANNALES UNIVERSITATIS MARIAE CURIE-SKŁODOWSKA LUBLIN - POLONIA VOL.LIX, SUPPL. XIV, 162 SECTIO D 2004 Add to Reading List Source URL: www.neurocentrum.pl Language: Polish - Date: 2006-08-25 19:07:47
475	VOL. LIX. NO. 236.] Add to Reading List Source URL: mind.oxfordjournals.org Language: English - Date: 2005-05-23 11:30:20 Computer science Artificial intelligence Philosophy of artificial intelligence Turing machine Computing Machinery and Intelligence Theoretical computer science Computer Finite-state machine Turing test Alan Turing Models of computation Theory of computation
476	Hispania Sacra, LIX 119, enero-junio 2007, 85-140, ISSN: [removed]X Add to Reading List Source URL: digital.csic.es Language: Spanish - Date: 2008-11-12 05:24:22
477	RESEARCHCONTRIWTIONS Programming Techniques and Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-04-30 04:49:48 Oblivious transfer Transmission Control Protocol Cryptography Cryptographic protocols Public-key cryptography
478	Graphically Speaking Editor: Miguel Encarnação Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-02-07 23:47:23 Science 3D computer graphics Shader lamps Optical devices Light field Cloak of invisibility Rendering Metamaterial Cloaking device Physics Optics Invisibility
479	Czas. Stomat., 2006, LIX, 2 Molekularne podłoże wrodzonego braku zawiązków Add to Reading List Source URL: czas.stomat.net Language: Polish - Date: 2009-10-05 16:17:51
480	Clustering in Peer-to-Peer File Sharing Workloads F. Le Fessant†, S. Handurukande‡, A.-M. Kermarrec & L. Massouli´e †INRIA-Futurs and LIX, Palaiseau, France Add to Reading List Source URL: iptps04.cs.ucsd.edu Language: English - Date: 2004-02-16 09:32:32 Peer-to-peer EDonkey2000 File sharing EDonkey network Gnutella MLDonkey GiFT Napster Privacy in file sharing networks File sharing networks Software Computing

UPDATE