41. Evolvable systems
پدیدآورنده : Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Digital integrated circuits-- Design and construction, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Logic circuits-- Design and construction, Congresses.
42. Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996 : proceedings
پدیدآورنده : Tetsuya Higuchi, Iwata Masaya, Weixin Liu )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits,Design and construction -- Congresses ، Logic circuits
رده :
QA
76
.
L28
Vol
.
1259
43. Evolvable systems : from biology to hardware : second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998
پدیدآورنده : Moshe Sipper, Daniel Mange, Andres Perez-Uribe )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
1478
44. Evolvable systems : from biology to hardware : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005 : proceedingsq
پدیدآورنده : J. Manuel Moreno, Jordi Madrenas, Jordi Cosp )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
3637
45. Evolvable systems: from biology to hardware: 4th international conference, ICES 2001, Tokyo, Japan, October 3-5, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Congresses ، Digital integrated circuits-- Design and construction
رده :
QA
76
.
618
.
I57
2001
46. Evolvable systems : from biology to hardware : third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 : proceedings
پدیدآورنده : Julian Miller...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
1801
47. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدیدآورنده : Mandayam Srivas, Albert Camilleri, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1166
48. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
پدیدآورنده : Ganesh Gopalakrishnan, Philip Windley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1522
49. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
پدیدآورنده : Alan J. Hu, Andrew K. Martin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
3312
50. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
پدیدآورنده : Mark D. Aagaard, John W. O'Leary )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
2517
51. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده : M. Leeser, G. Brown, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
52. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
53. Heterogeneous optoelectronics integration
پدیدآورنده : Elias Towe, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Integrated optics- Congresses,، Optoelectronic devices- Design and construction- Congresses,، Integrated circuits- Very large scale integration- Congresses
رده :
TA
1660
.
H48
54. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
55. 1993 IEEE/ACM International Conference on Computer-Aided Design ; Digest of Technical Papers : November 7-11, 1993, Santa Clara, California
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Design and construction - Data processing - Congresses , Computer-aided design - Congresses , Integrated circuits - Congresses , Computers - Congresses , Electronic circuit design - Congresses
رده :
TK
7874
.
I3235
1993
56. IEEE Alessandro Volta Memorial Workshop on Low-Power Design: proceedings : March 4-5, 1999, Como, Italy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Low voltage integrated circuits-- Design and construction,Congresses ، Volta, Alessandro, 5471-7281
رده :
TK
7874
.
66
.
I34
1999
57. IEEE International Conference on Computer Design : VLSI in computer & processors : proceedings : ICCD 2004, 11-13 October 2004, San Jose, CA
پدیدآورنده : sponsored by IEEE Computer Society, IEEE Circuits and Systems Society; in cooperation with IEEE Electron Devices Society
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Congresses ، Microcomputers,Congresses ، Electronic digital computers -- Circuits,Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer engineering
رده :
TK
7888
.
3
.
I343
2004
58. ISPD'11 : Proceedings of the 2011 ACM/SIGDA International Symposium on Physical Design, March 27-30, 2011, Santa Barbara, California, USA
پدیدآورنده : sponsored by : ACM SIGDA; technical co-sponsored by : CAS; supported by : ATopTech...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Integrated circuits -- Very large scale integration,Design and construction -- Congresses ، Integrated circuits
رده :
TK
7874
.
75
.
I57
2011
59. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده : Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
60. Includes bibliographical references (p. 225-231) and index. 0
پدیدآورنده : Andrew Green.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
