کتابخانه مرکزی  
فرمول جستجو:
جستجو در ن‍اش‍ر : IEEE Computer Society
انواع مدارک:
پايگاه هاي اطلاعاتي:
جستجو در بانک اصلي
 
موضوع:
Computer engineering - Periodicals
Integrated circuits - Very large scale integration - Research - Congresses
Computer engineering - periodicals
Information storage and retrieval systems
Formal methods (Computer science)
 
پدیدآور:
 
ناشر:
John Wiley & Sons ;[Washington, D.C.] :IEEE Computer Society,
IEEE Computer Society ;Hoboken, New Jersey :Wiley,
IEEE Computer Society
IEEE computer society
 
مرتب سازي صعودي براساس       
پالایش جستجو جستجو جديد    
    
1  
کتاب لاتین
 
 
<2001 = two tausand and one> conference on advanced research in VLSI: Ar VLSI 2001: proceedings: march 14-16, 2001, salt lake city, Utah
Conference on advanced research in VLSI (21st: 2001: Atlanta, Ga. ) ؛  Los Alamitos, calif IEEE Computer Society   ، 2001
شماره راهنما: ‭TK‬,‭7874‬,‭.C6475‬,‭2001‬
در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

2  
مجله لاتین
 
 
IEEE transaction on Design and test of computers
Los Alamitos IEEE Computer Society   ، 1984
شماره راهنما: TK,7885,.A1I174
افزودن به ليست    مشاهده کامل مدرک
 

3  
مجله لاتین
 
 
IEEE desing and test of computers
Los Alamitos IEEE computer society   ، 1984
شماره راهنما: TK,7885,.A1I74
افزودن به ليست    مشاهده کامل مدرک
 

4  
کتاب لاتین
 
 
Formal methods for industrial critical systems
[Washington, DC] IEEE Computer Society ;Hoboken, New Jersey :Wiley,   ، [2013]
شماره راهنما: ‭QA‬,‭76.9‬,‭.F67,F654‬,‭2013‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک
 

5  
کتاب لاتین
 
 
Music navigation with symbols and layers
Hoboken, N.J. John Wiley & Sons ;[Washington, D.C.] :IEEE Computer Society,   ، c2013
شماره راهنما: ‭ML‬,‭74.3‬,‭.M87‬,‭2013‬
منابع دیجیتال   در Amazon   در Google   افزودن به ليست    مشاهده کامل مدرک