281. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C388
1987
282. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
283. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
284. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
285. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
286. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
287. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
288. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
289. Category theory & computer programming:tutorial & workshop,
پدیدآورنده : PITT,DAVID H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
290. Cell mapping methods :
پدیدآورنده : Jian-Qiao Sun, Fu-Rui Xiong, Oliver Schütze, Carlos Hernández.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cellular mappings.,Cellular mappings.,MATHEMATICS-- General.
رده :
QA360
291. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
292. Chemical and biomedical engineering calculations using Python
پدیدآورنده : Heys, Jeffrey J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Engineering mathematics,، Python )Computer program language(
رده :
TA
330
.
H49
293. Classical Principles and Optimization Problems
پدیدآورنده : by B. S. Razumikhin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.
294. Classroom assessment for students in special and general education /
پدیدآورنده : Cathleen G. Spinelli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Children with disabilities-- Education-- United States-- Evaluation.,Educational tests and measurements-- United States.,Inclusive education-- United States-- Evaluation.,Children with disabilities-- Education-- Evaluation.,Educational tests and measurements.,Inclusive education-- Evaluation.,United States., 7
رده :
LC4031
.
S745
2012
295. Cloud computing in remote sensing /
پدیدآورنده : Lizhe Wang, Jining Yan, Yan Ma.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cloud computing.,Remote sensing-- Data processing.,Cloud computing.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- General.,MATHEMATICS-- General.,Remote sensing-- Data processing.
رده :
G70
.
4
.
W354
2019eb
296. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
297. Collegium Logicum.
پدیدآورنده : Kurt Gödel Society.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Mathematics.
298. Combinatorial Optimization
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Combinatorial Optimization,Programming)Mathematics(
رده :
QA
402
.
5
C6
2010
299. Combinatorial Optimization II
پدیدآورنده : edited by V.J. Rayward-Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematical optimization.,Mathematics.
رده :
QA264
.
A1
E358
1980
300. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
