1041. Linear time, branching time, and partial order in logics and models for concurrency :
پدیدآورنده : J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989
1042. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354
1043. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing
رده :
QA
76
.
5
.
L523
1989
1044. L`informatique
پدیدآورنده : / par Pierre Mathelot,Mathelot
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic data processing,Electronic digital Computers
رده :
AC
20
.
Q4
NO
.
1371
1971
1045. Linux® + Certification Bible
پدیدآورنده : \ Trevor Kay
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Linux,Electronic data processing personnel--Certification,Operating systems (Computers)--Examinations--Study guides,سیستم عامل لینوکس,داده‌پردازی -- کارمندان -- گواهی و گواهی‌نامه‌ها,سیستم‌های عامل (کامپیوتر) -- آزمون‌ها -- راهنمای مطالعه
رده :
E-Book
,
1046. Linux Mint system administrator's beginner's guide
پدیدآورنده : Arturo Fernandez Montoro
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing personnel,Operating systems (Computers)
رده :
QA76
.
774
.
L46
M668
2012
1047. Linux+ certification bible
پدیدآورنده : Trevor Kay
موضوع : Electronic data processing personnel,Operating systems )Computers(
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1048. Linux+ certification bible
پدیدآورنده : Kay, Trevor.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Certification ، Electronic data processing personnel,Certification ، Operating systems )Computers(
رده :
QA
76
.
73
.
K388
2002
1049. #Linux+ certification exam guide
پدیدآورنده : #Jeff W. Durham
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Electronic data processing personnel- Certification ،Operating systems )Computers(- Certification- Study guides ،Linux
رده :
#
QA
،#.
D87
1050. #Linux+ certification study guide
پدیدآورنده : #Drew Bird and Mike Harwood
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Linux ،Operating systems )Computers(- Certification- Study guides ،Electronic data processing personnel- Certification
رده :
#
QA
،#.
O63
,
B58
1051. Linux+ certification study guide
پدیدآورنده : Bird, Drew
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Linux,، Operating systems )Computers(- Certification- Study guides,، Electronic data processing personnel- Certification
رده :
QA
76
.
76
.
O63
B572
1052. Linux cluster architecture
پدیدآورنده : Vrenios, Alex
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Parallel computers,Distributed processing ، Electronic data processing,، Computer architecture
رده :
QA
76
.
58
.
V74
1053. Linux cluster architecture /
پدیدآورنده : Alex Vrenios
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux,Computer architecture,Electronic data processing-- Distributed processing,Parallel computers,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
V74
2002
1054. Linux+ 2005 in depth
پدیدآورنده : Jason W. Eckert, M. John Schitka.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux.,Electronic data processing personnel-- Certification.,Operating systems (Computers),Operating systems (Computers)-- Examinations, Study guides.
1055. Linux+ 2005 in depth
پدیدآورنده : Eckert, Jason W.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Linux,، Operating systems )Computers(,، Operating systems )Computers(- Examinations- Study guides,، Electronic data processing personnel- Certification
رده :
QA
76
.
76
.
O63
E237
2005
1056. Linux+ 2005 in depth [electronic resource]
پدیدآورنده : / Jason W. Eckert, M. John Schitka
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Linux,Operating systems (Computers),Operating systems (Computers)--Examinations--Study guides,Electronic data processing personnel--Certification
رده :
EB
,
QA76
.
76
.
O63E237
2005
1057. Linux] study guide
پدیدآورنده : Roderick W.Smith,Title
موضوع : Electronic data processing personnel- Certification,Operating systems )Computers(- Certification- Study guides,Linux
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1058. Linux+ study guide
پدیدآورنده : / Roderick W. Smith
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic data processing personnel,Operating systems (Computers),Linux,-- Certification,-- Certification - Study guides
رده :
005
.
268L5
S657L
2004
1059. Living with the computer
پدیدآورنده : De Ferranti, Basil
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic data processing,، Computers and civilization
رده :
QA
76
.
D3334
1060. Logic: A Computer approach
پدیدآورنده : Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Logic- Data processing,Algorithms,Electronic digital computers- Programming
رده :
BC
،
138
،.
S32
،
1985
