1. Advances in filtering and optimal stochastic control: Proceedings of the IFIP-WG 7/1 working Conference, Cocoyoc, Mexico, February 1-6, 1982
پدیدآورنده : edited by W.H. Fleming and L.G.Gorostiza
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Control theory,Congresses ، Stochastic processes,Congresses ، Mathematical optimization,Congresses ، Filters )Mathematics(
رده :
QA
402
.
3
.
A36
1982
2. Advances in filtering and optimal stochastic control: proceedings of the IFIP-WG 7/1 Working Conference Cocoyoc, Mexico, February 1-6, 1982
پدیدآورنده : edited by W. H. Fleming and L. G. Gorostiza
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Control theory- Congresses,، Stochastic processes- Congresses,، Mathematical optimization- Congresses,، Filters )Mathematics(- Congresses
رده :
QA
402
.
3
.
A36
3. Artificial intelligence in databases and information systems )DC 3( : proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 working conference on the role of artificial intelligence in databases and information systems Guangzhou, PR China, 4-8 July, 1988
پدیدآورنده : Edited by Robert A. Meersman, Zhongzhi Shi, Chen-Ho Kung
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Data base management,، Artificial intelligence,، System design
رده :
QA
76
.
9
.
D3
I164
1988
4. Asynchronous design methodologies : proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March-2 April, 1993
پدیدآورنده :
موضوع : ، Switching circuits-- Design and construction-- Congresses,، Asynchronous transfer mode-- Congresses,، Electronic circuit design-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. CAD systems framework: proceedings of the IFIP WG 5.2 Working Conference on CAD Systems Framework held in Rوros, Norway, 15-17 June 1982
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Engineering design-- Data processing
رده :
TA
174
.
I3
1982
6. CAD systems using AI techniques :proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan,
پدیدآورنده : edited by G. Odawara
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer-aided design--Congresses,Artificial intelligence--Congresses,Expert systems (Computer science)--Congresses
رده :
TA
،
174
،.
I133
،
1989
7. CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, 6- 7 June 1989
پدیدآورنده : IFIP TC 01/WG 01.2 Working Conference on CAD Systems Using AI Techniques )9891 : Tokyo, Japan(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer- aided design- Congresses,، Artificial intelligence- Congresses,، Expert systems )Computer science(- Congresses
8. Capacity Building for It in Education in Developing Countries Ifip Tc3 Wg3.1, 3.4 & 3.5 Working Conference on Capacity Building for It in Education in Developing Countries 19-25 August 1997, Harare, Zimbabwe.
پدیدآورنده : Marshall, Gail; Ruohonen, Mikko
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
9. Computerized assistance during the information systems life cycle: Proceedings of the IFIP WG 8.1 working conference on Computerized assistance during the information systems life cycle, CRIS 88 Egham, England, 19-22 September, 1988
پدیدآورنده : Edited by T. W. Olle, A. A. Verrijn-Stuart, L. Bhabuta
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
رده :
T
،
58
.
64
،.
P76
،
1988
10. Control of partial differential equations: Proceedings of the IFIP WG 7.2 Working Conference, Santiago de Compostela, Spain July 6-9, 1987
پدیدآورنده : A.Bermudez ]editor[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Control theory,Congresses ، Differential equations, Partial
رده :
QA
402
.
3
.
C636
1989
11. Control of partial differential equations : proceedings of the IFIP WG 7.2 Working Conference, Santiago de Compostella, Spain, July 6-9, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Control theory-- Congresses,، Differential equations, Partial-- Congresses
رده :
QA
402
.
3
.
C636
1989
12. Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings
پدیدآورنده : George J. Milne, Laurence Pierre )eds.(
کتابخانه: (طهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
683
13. Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings
پدیدآورنده : CHARME '39 )3991: Arles, France(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Integrated circuits-- Design and construction-- Data processing-- Congresses,، Integrated circuits-- Verification-- Congresses,، Computer-aided design-- Congresses
رده :
TK
7874
.
C55
1993
14. Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME'95 Frankfurt, Germany, October 1995 : proceedings
پدیدآورنده : Paolo E. Camurati, Hans Eveleing )eds.(
کتابخانه: (طهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
987
15. Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
پدیدآورنده : Daniel Geist, Enrico Tronci, )Eds.(
کتابخانه: (طهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2860
16. Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
75
.
C453
2001
17. Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Tom Melham )eds.(
کتابخانه: (طهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2144
18. Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings
پدیدآورنده : Dominique Borrione, Wolfgang Paul )eds.(
کتابخانه: (طهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
3725
19. Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
پدیدآورنده : Pierre Laurence, Thomas Kropf )eds.(
کتابخانه: (طهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1703
20. Data and applications security XIX : 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005 : proceedings
پدیدآورنده : Sushil Jajodia, Duminda Wijesekera )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Database security
رده :
QA
76
.
L28
Vol
.
3654
