381. Stabilization, safety, and security of distributed systems :
Author: Xavier Défago, Franck Petit, Vincent Villainches
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
Classification :
QA76
.
9
.
S54
S67
2011
382. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Author: Borzoo Bonakdarpour, Franck Petit )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Self-stabilization )Computer science(,Safety measures -- Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer security
Classification :
QA
76
.
L28
Vol
.
10083
383. Stepwise refinement of distributed systems :
Author: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing, Congresses.
Classification :
QA76
.
9
.
D5
S75
1990
384. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
Author: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
430
385. Stepwise refinement of distributed systems: models, formalisms correctness: REX Workshop, Mook, the Netherlands, May 29-June 2, 1989: proceedings
Author: J. W. de Bakker, W.-P. de Roever, G. Rozenberg )eds.(
Library: (Kerman)
Subject: Congresses ، Electronic data processing - Distributed processing
Classification :
QA
76
.
9
.
D5
S75
1990
386. Structural Information and Communication Complexity :
Author: Keren Censor-Hillel, Michele Flammini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
Classification :
QA76
.
9
.
A43
389. Structural information and communication complexity :
Author: Zvi Lotker, Boaz Patt-Shamir (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
Classification :
QA76
.
9
.
A43
391. Structural information and communication complexity : 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings
Author: Andrzej Pelc, Michel Raynal )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer networks
Classification :
QA
76
.
L28
Vol
.
3499
392. Structural information and communication complexity : 11th International Colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings
Author: Ratislav Kralovic, Ondrej Sykora )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer networks,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
3104
393. TRON project 1983: open-architecture cpmputer systems/ Proceedings of the fifth TRON Project Symposium
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer architecture,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing
Classification :
QA
76
.
9
.
A73
.
T76
1988
394. Third International Workshop on Object-oriented Real-time Dependable Systems: proceedings, February 5-7, 1997, Newport Beach, California, U.S.A
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Object-oriented databases,Congresses ، Real-time data processing,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Computer networks
Classification :
QA
76
.
9
.
D3
.
I587
1997
395. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
396. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
Author: Tizina Margaria, Bernhard Steffen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1055
397. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Author: E. Brinksma ... )et al.(, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
V0l
.
1019
398. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
399. Trends in distributed systems CORBA and Beyond : International Workshop TreDS'96, Aachen, Germany, October 1-2, 1996 : proceedings
Author: Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1161
400. Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings
Author: Claudia Linhoff-Popien, Heinz-Gerd Hegering )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1890
