본문

  1. Home
1 Results:AA:FINKEL GERARD BERRY HUBERT COMON ALAIN 0.796 sec.
RSS 
 Recherche avancée
 nouvelle arrivée Rechercher
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
impression sélectionné Select Export to Excel
1
Computer Aided Verification(LNCS2102)
Computer Aided Verification(LNCS2102)
Finkel, Gerard Berry, Hubert Comon, Alain / Springer-Verlag / 2001
600-G356c
서고(데스크 문의) / 대출가능
Naver
d'impression le contenu
처음1마지막
Mon histoire de la recherche

Trier
Affiner
Format
    E-journal
    Auteur
      Editeur
        année
          Langue