21. Leveraging Applications of Formal Methods, Verification and Validation
پدیدآورنده: edited by Tiziana Margaria, Bernhard Steffen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Computer system performance.,Software engineering.
22. Mathematical modeling and simulation
پدیدآورنده: / Kai Velten
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematical models,Computer simulation,Science, Mathematical models,Engineering, Mathematical models,Science, Computer simulation,Engineering, Computer simulation
رده :
QA401
.
V44
2009
23. Mathematical modeling and simulation
پدیدآورنده: / Kai Velten
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mathematical models,Computer simulation,Science--Mathematical models,Engineering--Mathematical models,Science--Computer simulation,Engineering--Computer simulation
رده :
QA401
.
V38
2009
24. Mathematical modeling and simulation
پدیدآورنده: Kai Velten
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع: Mathematical models,Computer simulation,Science- Mathematical models,Engineering- Mathematical models,Science- Computer simulation,Engineering- Computer simulation
رده :
QA
,
401
,.
V38
,
2009
25. Mathematical modeling and simulation
پدیدآورنده: / Kai Velten
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Mathematical models,Computer simulation,Science--Mathematical models.,Engineering--Mathematical models,Science--Computer simulation.,Engineering--Computer simulation.
رده :
QA
401
.
V38
2009
26. Mathematical modeling and simulation : introduction for scientists and engineers
پدیدآورنده: Velten, Kai
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Mathematical models,، Computer simulation,Mathematical models ، Science,Mathematical models ، Engineering,Computer simulation ، Science,Computer simulation ، Engineering
رده :
QA
401
.
V38
2009
27. Mathematical modeling and simulation :introduction for scientists and engineers
پدیدآورنده: Velten, Kai.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Mathematical models,، Computer simulation,Mathematical models ، Science,Mathematical models ، Engineering,Computer simulation ، Science,Computer simulation ، Engineering
رده :
QA
273
.
V4M3
2009
28. Modeling and simulation with Compose and Activate /
پدیدآورنده: Stephen L. Campbell, Ramine Nikoukhah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation.,Computer simulation.,SCIENCE / System Theory.,TECHNOLOGY & ENGINEERING / Operations Research.
رده :
QA76
.
9
.
C65
29. Models in Software Engineering
پدیدآورنده: edited by Jörg Kienzle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
30. Multiscale paradigms in integrated computational materials science and engineering
پدیدآورنده: / Pierre A. Deymier, Keith Runge, Krishna Muralidharan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Materials science.,Computer simulation.,Engineering mathematics.,Numerical and Computational Physics.,Optical and Electronic Materials.,Solid State Physics.,Appl. Mathematics/Computational Methods of Engineering.
رده :
TA403
.
M92
2016
31. Neural network simulation environments
پدیدآورنده:
کتابخانه: کتابخانه و مرکز یادگیری دانشکده پزشکی (تهران)
موضوع: Neural networks(Computer science),Software engineering,Digital computer simulation
رده :
QA76
.
87
.
N477
1993
32. Neural network simulation environments
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
33. Neural network simulation environments
پدیدآورنده: edited by Josef Skrzypek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
34. Neural network simulation environments
پدیدآورنده: edited by Josef Skrzypek
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Neural networks )Computer science( , Software engineering , Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
35. Neural networks and artifical intelligence for biomedical engineering
پدیدآورنده: / by Donna L.Hudson, Maurice E.Cohen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Biomedical engineering- Computer simulation,Expert systems (Computer science),Neural networks(Computer science),Artificial intelligence- Medical Applications
رده :
R859
.
7
.
A78H84
1999
36. Neural networks and artificial intelligence for biomedical engineering
پدیدآورنده : Hudson, D. L.)Donna L.(
موضوع : ، Artificial intelligence-- Medical applications,، Neural networks )Computer science(,، Expert systems )Computer science(,، Biomedical engineering-- Computer simulation
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
37. Neural networks and artificial intelligence for biomedical engineering /
پدیدآورنده: Donna L. Hudson, Maurice E. Cohen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence-- Medical applications,Biomedical engineering-- Computer simulation,Expert systems (Computer science),Neural networks (Computer science),Artificial Intelligence,Biomedical Engineering,Expert Systems,Neural Networks (Computer)
رده :
R859
.
7
.
A78
H84
2000
38. Object-oriented analysis and simulation
پدیدآورنده: Hill, David R. C.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Object-oriented programming )Computer science( , Software engineering , Computer simulation , Object-oriented programming
رده :
QA
76
.
64
.
H55
1996