학술논문
'학술논문'
에서 검색결과 9건 | 목록
1~10
Academic Journal
In Materials Science & Engineering A 20 January 2020 772
Academic Journal
Langer, Carolin; Mahler, Hanns-Christian; Koulov, Atanas; Marti, Nicolas; Grigore, Cristina; Matter, Anja; Chalus, Pascal; Singh, Satish; Lemazurier, Thomas; Joerg, Susanne; Mathaes, Roman
In Journal of Pharmaceutical Sciences January 2020 109(1):323-330
Academic Journal
In Procedia Engineering 2015 133:294-298
Academic Journal
Phung, Ngoc Lam; Marti, Nicolas; Blanche, Antoine; Ranc, Nicolas; Favier, Véronique; Chrysochoos, André; Saintier, N.; Grégori, Fabienne; Bacroix, Brigitte; Thoquenne, Guillaume
In Procedia Engineering 2013 66:615-625
Academic Journal
Smith, Andrew F.; Pitt, Andrew D.; Rodruiguez, Alejandra E.; Alio, Jorge L.; Marti, Nicolas; Teus, Miguel; Guillen, Santiago; Bataille, Laurent; Barnes, J. Rod
Conference
Proceedings of the 7th workshop on Programming languages meets program verification. :35-46
Book
Hutchison, David; Kanade, Takeo; Kittler, Josef; Kleinberg, Jon M.; Mattern, Friedemann; Mitchell, John C.; Naor, Moni; Nierstrasz, Oscar; Pandu Rangan, C.; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, Doug; Vardi, Moshe Y.; Weikum, Gerhard; Okada, Mitsu; Satoh, Ichiro; Affeldt, Reynald; Marti, Nicolas
Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p346-360, 15p
Book
Formal Methods & Software Engineering (9783540474609); 2006, p400-419, 20p
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Marti, Nicolas
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어