81. Environmental software systems : IFIP TC5 WG5.11 International Symposium on Environmental Software Systems )ISESS '97(, 28 April-2 May 1997, British Columbia, Canada
پدیدآورنده : edited by Ralf Denzer, David A. Swayne, and gerald Schimak
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Environmental sciences,Environmental policy -- Congresses ، Information storage and retrieval systems,Environmental protection -- Congresses ، Information storage and retrieval systems
رده :
GE
45
.
D37
I62
1997
82. Environmental software systems: IFIP TC5 WG5.11 International Symposium on Environmental Software Systems )ISESS 97(, 28 April-2 May 1997, British Columbia, Canada
پدیدآورنده : International Symposium on Environmental Software Systems )2nd: 7991: Whistler, B.C.(
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)
موضوع : Data processing -- Congresses ، Environmental sciences,Environmental policy -- Congresses ، Information storage and retrieval systems,Environmental protection -- Congresses ، Information storage and retrieval systems
رده :
GE45
.
D37I5
1997
83. FME'96 : Industrial benefit of formal methods : Thrid International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
پدیدآورنده : Marie-Claude Gaudel, James Woodcock )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1051
84. Facilitating technology transfer through partnership: learning from practice and research: IFIP TC8 WG8.6 International Working Conference on Diffusion, Adoption and Implementation of Information Technology, 25th-27th June 1997, Ambleside, Cumbria, UK
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Technology transfer,Congresses ، Information technology
رده :
T
174
.
3
.
I34
1997
85. Facing the challenge of risk and vulnerablity in an information society : proceedings of the IFIP WG9.2 Working Conference on Facing the Challenge of Risk and Vulnerability in an Information Society, Namur, Belgium, 20-22, 1993
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computers and society-- Congresses,، Information technology-- Social aspects-- Congresses
رده :
QA
76
.
9
.
C66
.
I19
1993
86. Facing the challenge of risk and vulnerablity in an information society : proceedings of the IFIP WG9.2 Working Conference on Facing the Challenge of Risk and Vulnerability in an Information Society, Namur, Belgium, 20-22, 1993
پدیدآورنده : edited by Jacques Berleur, Colin Beardon, Romain Laufer
کتابخانه: (طهران)
موضوع : Computers and society - Congresses , Information technology - Social aspects - Congresses
رده :
QA
76
.
9
.
C66
I19
1993
87. Formal description of programming concepts III : Proceedings of the IFIP TC2/ WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark, 25-28 August 1986
پدیدآورنده : edited by Martin Wirsing
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Formal languages
رده :
QA
76
.
6
.
I179
1986
88. Formal description of programming concepts: Proccedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Descripion of Programming Concepts Ebbrup, Denmark, 25-28 August, 1986
پدیدآورنده : edited by Martin Wirsing
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع :
رده :
QA
،
76
.
6
،.
I25
،
1986
89. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
پدیدآورنده : sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
9
.
D5
I545
1994
90. Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Computer network protocols-- Congresses
رده :
QA
76
.
9
.
D5
.
I33845
1997
91. Formal design methods for CAD: proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994
پدیدآورنده : IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD )4991: Tallinn, Estonia(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer-aided design- Congresses
رده :
TA
174
.
I1319
1994
92. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
پدیدآورنده : Martin Steffen, Gianluigi Zavattaro )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3535
93. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
پدیدآورنده : Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2884
94. Formal program development : IFIP TC 2/WG 2.1 state of the art report
پدیدآورنده : Bernhard Moller, Helmut Partsch, Steve Schuman, )eds.(
کتابخانه: (طهران)
موضوع : ، Computer software -- Development,، Computer programming
رده :
QA
76
.
L28
Vol
.
755
95. Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
F68
1993
96. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
97. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
پدیدآورنده : Doron A. Peled, Moshe Y. Vardi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2529
98. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
پدیدآورنده : Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2767
99. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
پدیدآورنده : Farn Wang )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3731
100. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
پدیدآورنده : ]edited by[ David de Frutos-Escrig, Manuel Nunez
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
