Catalin - PDFSEARCH.IO - Document Search Engine

Catalin
Results: 111

#	Item
31	Qualitative and Quantitative Comparisons Concerning the Influence of Jointing Parameters on the Quality of the PPR Without Insertion Components Assembly DUMITRU TITI CICIC, CORNELIU RONTESCU, CATALIN GHEORGHE AMZA , OAN Add to Reading List Source URL: www.revmaterialeplastice.ro Language: English* - Date: 2016-03-14 05:45:38
32	Reliable Real-time Clinical Monitoring Using Sensor Network Technology Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey Washington Univers Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2009-08-28 00:31:11
33	Aspects Concerning the Use of Plastics in Developing Test Stands for Experimental Models of Hydraulic Turbine Blades and Rotors TEODOR COSTINEL POPESCU1, CATALIN DUMITRESCU1, ILARE BORDEASU2 1 Hydraulics and Pneumatics Add to Reading List Source URL: www.revmaterialeplastice.ro Language: English* - Date: 2016-03-14 05:45:14
34	ID_NO NAMEAANEI, CRISTINA-MIHAELA-TEREZAABABEI, CATALIN-LEONARDABABEI, RAUL-COSTINABABEI, RAZVAN-CONSTANTINABABEI, ROBERT-ANDREI Add to Reading List Source URL: www.sahclubmihailmarin.ro Language: English - Date: 2016-04-03 13:41:05
35	ID_NO NAMEAANEI, CRISTINA-MIHAELA-TEREZAABABEI, CATALIN-LEONARDABABEI, RAUL-COSTINABABEI, RAZVAN-CONSTANTINABABEI, ROBERT-ANDREI Add to Reading List Source URL: www.sahclubmihailmarin.ro Language: English - Date: 2015-12-06 06:43:12
36	More Secure Software Systems by Formal Verification, Property-Based Testing, Secure Compilation, and Dynamic Monitoring Cătălin Hrițcu Inria Paris, Prosecco team Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-15 12:26:17 Security Computer security Cyberwarfare Formal methods Logic in computer science E-commerce Secure communication Cryptographic software Formal verification Cryptographic protocol Vulnerability ProVerif
37	ID_NO NAMEAANEI, CRISTINA-MIHAELA-TEREZAABABEI, CATALIN-LEONARDABABEI, RAUL-COSTINABABEI, RAZVAN-CONSTANTINABABEI, ROBERT-ANDREI Add to Reading List Source URL: www.sahclubmihailmarin.ro Language: English - Date: 2015-12-06 06:42:42
38	NAME AANEI, CRISTINA-MIHAELA-TEREZA ABABEI, CATALIN-LEONARD ABABEI, RAUL-COSTIN ABABEI, RAZVAN-CONSTANTIN ABABEI, ROBERT-ANDREI Add to Reading List Source URL: www.sahclubmihailmarin.ro Language: English
39	Micro-Policies Hardware-Assisted Tag-Based Security Monitors Cătălin Hrițcu Inria Paris-Rocquencourt, Prosecco team Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-05-22 07:20:31
40	A Coq Framework For Verified Property-Based Testing (part of QuickChick) Cătălin Hrițcu INRIA Paris-Rocquencourt Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-10-21 15:40:50