4581. effect structures /-Computing in cause
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics. ;
4582. enabled mathematics-Computer
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: assisted instruction. ; Electronic data processing ; Study and teaching (Secondary) ; -Mathematics teachers ; Training of. ; Mathematics ; Study and teaching (Secondary) ; Data processing. ; Mathematics ; Computer
4583. eng 0
پدیدآورنده: edited by Sharon Macdonald.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
4585. f-sultanmuhamad
پدیدآورنده: edited by Daniel Wüger.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
4586. foundation Mathematics for computer science: a visual approach
پدیدآورنده: john vince
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: Sematics Congresses ، Programming languages )Electronic computers(,Mathematics Congresses ، Computer science
رده :
QA
76
.
7
.
V46
F69
4587. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
پدیدآورنده: D. T. Pham and D. Kraboga
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع: Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
4588. Mathematical aspects of scientific software
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development,، Science-- Data processing
رده :
QA
76
.
76
.
D47
.
M366
1988
4589. mathematical aspects of scientific software
پدیدآورنده: T.R.Rice editor
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer software-development,science-data processing
رده :
QA
76
.
76
.
D47
,
M366
4590. mathematical aspects of scientific software
پدیدآورنده: T.R.Rice editor
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer software-development,science-data processing
رده :
QA
76
.
76
.
D47
,
M366
4591. mathematics for computer science
پدیدآورنده: Lehman, Eric
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
L53
2017
4592. niewski's Systems of Logic and Foundations of MathematicsجLe
پدیدآورنده: / Rafal Urbaniak (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
4593. Çok Amaçlı Çok Atamalı Ana Düğüm Ağ Tasarımı Problemi Için Metasezgisel Yaklaşımlar
پدیدآورنده: Demir, İbrahim
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics,Computer engineering,Computer science,Design,Information technology,Systems science,Technical communication
4594. Çok Amaçlı Çok Atamalı Ana Düğüm Ağ Tasarımı Problemi Için Metasezgisel Yaklaşımlar
پدیدآورنده: Demir, İbrahim
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics,Computer engineering,Computer science,Design,Systems science,Technical communication
4595. 25 problems for STEM education
پدیدآورنده: / Valery F. Ochkov.,Ochkov, V. F.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematical physics,Mathematics,Physics,Problems, exercises, etc.,Study and teaching (Higher),Study and teaching (Higher)
رده :
QC20
.
82
.
O24
2020
4596. pt. I. Perspective : legislative role of the judge and human rights law. Legislative role of the judge : a vital force in the life of the law ; Relationship between human rights and international law : principle of human dignity versus principle of state sovereignty -- pt. II. The development of human rights law by the International Court of Justice : contentious cases. Corfu Channel case (United Kingdom v Albania) (1947-1949) ; South West Africa cases (Ethiopia v South Africa ; Liberia v South Africa) : violation of human rights law led to formation of human rights law (1960-1966) ; Barcelona Traction, Light and Power Company, Limited (new application : 1962) case (Belgium v Spain) (1962-70) ; United States diplomatic and consular staff in Tehran case (USA v Iran) (1979-1981) ; Military and paramilitary activities in and against Nicaragua case (Nicaragua v USA) (1984-1991) ; East Timor case (Portugal v Australia) (1991-1994): human rights versus state sovereignty (1991-1994) ; Application of the Convention on the Prevention and Punishment of the Crime of Genocide case (Bosnia and Herzegovia v Serbia Montenegro) (1993- ) : prohibition of genocide as jus cogens ; Legality of use of force cases (Yugoslavia v Belgium; Yugoslavia v Canada; Yugoslavia v France ; Yugoslavia v Germant ; Yugoslavia v Italy ; Yugoslavia v Netherlands ; Yugoslavia v Portugal ; Yugoslavia v Spain ; Yugoslavia v UK ; Yugoslavia v USA) (1999- ) ; Arrest warrant of 11 April 2000 (Democratic Republic of the Congo v Belgium) : an analysis of human dignity of the people, for the people, by the people (2000-2002) ; Vienna Convention on Consular Relations cases (1998-2004) : the Convention does create individual rights -- pt. III. The development of human rights law by the International Court of Justice : advisory cases. International status of South West Africa case (1949-1950) : the principle of sacred trust of civilization ; Reservations to the Convention on the Prevention and Punishment of the Crime of Genocide case (1950-1951) ; Legal consequences for states of the continued presence of
پدیدآورنده: Shiv R.S. Bedi.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
4597. q-series : their development and application in analysis, number theory, combinatorics, physics, and computer algebra
پدیدآورنده: Andrews, George E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، q-series
رده :
QA
1
.
R33
no
.
66
4598. s LegacyبThe Mathematics of Darwin
پدیدآورنده: / Francisco RodriguesفFabio A. C. C. Chalub, Jos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
4599. 2000 solved problems in discrete mathematics
پدیدآورنده: Lipschutz, Seymour.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics,، Computer science - Mathematics
رده :
QA
43
.
L666
1992
4600. 2000 solved problems in discrete mathematics
پدیدآورنده: by Seymour Lipschutz, Marc Lars Lipson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Mathematics, Problems, exercises, etc,، Computer science, Mathematics, Problems, exercises, etc
رده :
QA
43
.
L47
