1. Asynchronous design methodologies. proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March-2 April, 1993
پدیدآورنده : IFIP WG01.5 Working Conference on Asynchronous Design Methodologies )3991 :Manchester, England(, edited by S. Furber, M. Edwards
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Switching circuits- Design and construction- Congresses,، Asynchronous transfer mode- Congresses,، Electronic circuit design- Congresses
رده :
TK
7868
.
S9
I35
2. Boundary control and boundary variations: Proceedings of the IFIP WG 7.2 conference, Nice, France, June 10-13, 1987 )i,e. 1986(
پدیدآورنده : IFIP WG 7.2 Conference
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Control theory,Congresses ، Mathematical optimization,Congresses ، Boundary element methods
رده :
QA
402
.
3
.
I454
1986
3. 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(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer- aided design- Congresses,، Artificial intelligence- Congresses,، Expert systems )Computer science(- Congresses
4. Civil aviation rquirements
پدیدآورنده : Sabharwal, Wg cdr D. P.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Airworthiness ، Airplanes
رده :
TL
671
.
1
.
S22
5. Control of boundaries and stabilization;Proceedings of the IFIP WG 7.2 Conference, Clermont Ferrand, France, June 20-23, 1988
پدیدآورنده : IFIP WG 7.2 Conference
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Control theory,Congresses ، Boundary value problems,Congresses ، Stability
رده :
QA
402
.
3
.
I454
1988
6. Critical infrastructure protection I
پدیدآورنده : / Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15 - 17, 2010. Tyler Moore
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer networks, Security measures, Congresses,Computer security, Congresses,Information networks, Security measures, Congresses,Cyberinfrastructure, Security measures, Congresses,Electronic books., local
7. Cryptosporidium and water : A public health handbook
پدیدآورنده : WG WC
کتابخانه: Central Library of Medical Sciences of University of Kashan (Esfahan)
موضوع : cryptosporidium
رده :
QX
8. Database and Application Security XV Ifip Tc11
پدیدآورنده : Wg11.3 Fifteenth Annual Working Conference on Database and Application Security July 15-18, 2001, Niagara on the Lake, Ontario, Canada.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
9
.
D35
W445
2012
9. Database security, II : Status and prospects : Results of the IFIP WG 11.3 Workshop on Database Security, Kingston, Ontario, Canada, 5-7 October 1988
پدیدآورنده : IFIP WG 11.3 Workshop on Database Security )1988: Kingston, Ont.(
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Data bases- Security measures- Congresses,Computers- Access control- Congresses
رده :
005
.
8
I23D
10. Database security, III : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Monterey, California, U.S.A., 5-7 September 1989
پدیدآورنده : IFIP WG 11.3 Workshop on Database Security )3rd: 9891: Monterey, Calif.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Database security-- Congresses
رده :
QA
76
.
9
.
D32
.
I35
1989
11. Database security, volume X : status and prospects
پدیدآورنده : IFIP TC11/WG 11.3 Tenth International Conference on Database Security, 22-42 July 6991, Como, Italy ; edited by Pierangela Samarati and Ravi S. Sandhu
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Database security
رده :
QA
76
.
9
.
D314
I33
1997
12. Decentralized and distributed systems : proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13- 17 September 1993
پدیدآورنده : IFIP WG01.3 International Conference on Decentralized and Distributed Systems )3991 : Palma, Spain(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic data processing- Distributed processing- Congresses,، Distributed databases- Congresses
13. Distributed processing : proceedings of the IFIP WG 10.3 Working Conference on Distributed Processing, Amsterdam, The Netherlands, 5- 7 October, 1987
پدیدآورنده : IFIP WG 01.3 Working Conference on Distributed Processing )7891 : Amsterdam, Netherlands(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic data processing- Distributed processing- Congresses
14. EICS'10 : proceedings of the 2010 ACM SIGCHI Symposium on Engineering Interactive Computing Systems : June 19-23, 2010, Berlin, Germany
پدیدآورنده : sponsored by ACM SIGCHI; supported by IFIP WG 2.7/31.4, Deutsche Telekom Laboratories, & RedWhale Software
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، User interfaces )Computer systems(
رده :
QA
76
.
9
.
U83A227
2010
15. Engineering information systems in the internet context :
پدیدآورنده : wg8.1.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
9
.
M3
W4
2013
16. Environments for supporting decision processes
پدیدآورنده : IFIP WG 8.3 Working Conference on Environments for Supporting Decision Processes )1990 : Budapest, Hungary(
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
T
58
.
62
.
I54
1990
17. Feature Based Product Life-Cycle Modelling :
پدیدآورنده : WG5.2 & WG5.3 Conference on Feature Modelling and Advanced Design-for-the-Life-Cycle Systems (FEATS 2001) June 12-14, 2001, Valenciennes, France / edited by René Soenen, Gustav J. Olling.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering design.,Engineering.,Machinery.
18. Formal Methods for Distributed System Development :
پدیدآورنده : PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Software engineering.
19. Formal Methods for Open Object-based Distributed Systems V Ifip Tc6
پدیدآورنده : Wg6.1 Fifth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2002) March 20-22, 2002, Enschede.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TK7895
.
M5
W445
2013
20. 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
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
9
.
D5
I545
1994
