41. Formal systems specification : the RPC-memory specification case study
پدیدآورنده : Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
42. Formal techniques for distributed systems
پدیدآورنده : Dirk Beyer, Michele Boreale (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
D5
43. Formal techniques for networked and distributed systems
پدیدآورنده : / edited by Myungchul Kim ... [et al.]
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic data processing , Distributed processing , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
44. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
45. Formal techniques for networked and distributed systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
46. Formal techniques for networked and distributed systems
پدیدآورنده : / John Derrick, Jeuri Vain (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F67
,
2007
47. 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.[
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
48. 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.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2529
49. 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.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2767
50. 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.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3731
51. 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
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
52. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
53. Foundations of multithreaded , and distributedprogramming
پدیدآورنده :
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Parallel programming (Computer science),Electronic Data Procassing- Distributed Processing,Threads(computer program)
رده :
QA
76
.
58
.
A57
2000
54. Foundations of multithreaded, parallel, and distributed programming
پدیدآورنده : Gregory R. Andrews,Title
کتابخانه: (Mazandaran)
موضوع : Parallel programming )Computer science(,Electronic data processing, Distributed processing,Threads )Computer programs(
رده :
QA
.
A57
76
.
58
2000
55. Foundations of multithreaded, parallel, and distributed programming
پدیدآورنده : Andrews, Gregory R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel programming )Computer science(,، Threads )Computer programs(,، Electronic data processing-- Distributed processing
رده :
QA
76
.
58
.
A57
2000
56. Foundations of multithreaded, parallel, and distributed programming
پدیدآورنده : / by G.R. Andrews
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Threads (Computer programs)
رده :
QA76
.
58
.
A577
2000
57. Hadoop :
پدیدآورنده : Tom White
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing,Electronic data processing-- Distributed processing,File organization (Computer science)
رده :
QA76
.
9
.
D5
58. Hadoop Operations and Cluster Management Cookbook
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,File organization (Computer science),Apache Hadoop (Computer file),Cloud computing,Electronic data processing-- Distributed processing,File organization (Computer science),Open source software
رده :
QA76
.
9
.
F5
59. Hadoop Real World Solutions Cookbook
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,File organization (Computer science),Apache Hadoop (Computer file),Application software,File organization (Computer science),Information networks
رده :
QA76
.
76
.
A65
60. Hadoop Real World Solutions Cookbook
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,File organization (Computer science),Apache Hadoop (Computer file),Application software,File organization (Computer science),Information networks
رده :
QA76
.
76
.
A65
