41. Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication
پدیدآورنده : Hausser, Roland R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence,، Programming languages )Electronic computers(,، Machine theory
رده :
Q
335
.
H39
1989
42. Computer architecture and organization
پدیدآورنده : Ian East.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.,Electronic digital computers.
رده :
QA76
.
5
I264
1990
43. Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
پدیدآورنده : Bowman, Howard, Howard Bowman and Rodolfo Gomez
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Mathematical models ، Parallel processing )Electronic computers(,، Machine theory,، LOTOS )Computer program language(
44. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
45. Designing robot behavior in human-robot interactions /
پدیدآورنده : Changliu Liu, Robotic Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, Te Tang, Department of Mechanical Engineering, University of California, Berkeley, USA, Hsien-Chung Lin, Research Engineer at FANUC America Corp, San Francisco, California, USA, Masayoshi Tomizuka, Department of Mechanical Engineering, University of California, Berkeley, USA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-robot interaction.,Robotics.,COMPUTERS / Computer Engineering,COMPUTERS / Machine Theory,Human-robot interaction.,Robotics.,SCIENCE / Life Sciences / General
رده :
TJ211
.
49
.
L58
2019
46. Discrete mathematics
پدیدآورنده : James L. Hein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.
رده :
QA76
.
9
.
M35
J364
1996
47. Enjoying natural computing :
پدیدآورنده : Carmen Graciani [and 4 others], (Eds).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Natural computation.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Machine Theory.,Computers-- Software Development & Engineering-- General.,Natural computation.,Software Engineering.,User interface design & usability.
رده :
QA76
.
9
.
N37
E55
2018eb
48. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
49. Handbook of Graphical Models
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : BUSINESS & ECONOMICS / Statistics.,Computer Science.,COMPUTERS / Machine Theory.,MATHEMATICS / Probability & Statistics / General.
50. Handbook of Mixture Analysis /
پدیدآورنده : edited by Sylvia Frühwirth-Schnatter, Gilles Celeux, Christian P. Robert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distribution (Probability theory),Mixture distributions (Probability theory),COMPUTERS-- Machine Theory.,Distribution (Probability theory),MATHEMATICS-- Probability & Statistics-- General.,Mixture distributions (Probability theory)
رده :
QA273
.
6
51. Handbook of process algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H335
2001
52. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Machine theory,Parallel processing )Electronic computers(
رده :
QA
.
H335
267
2001
53. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H266
54. Human-robot interaction :
پدیدآورنده : [edited by] Paulo Barattini, Federico Vincentini, Gurvinder Singh Virk, Tamas Haidegger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-robot interaction.,COMPUTERS / Computer Graphics / Game Programming & Design,COMPUTERS / General,COMPUTERS / Machine Theory,Human-robot interaction.,TECHNOLOGY & ENGINEERING / Engineering (General)
رده :
TJ211
.
49
.
H8658
2019eb
55. Hybrid Computational Intelligence: Research and Applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : COMPUTERS / Machine Theory ; COMPUTERS / Software Development and Engineering / Systems Analysis and Design ; TECHNOLOGY and ENGINEERING / Electrical ; TECHNOLOGY and ENGINEERING / Electronics / General ;
56. Hybrid computational intelligence :
پدیدآورنده : Siddhartha Bhattacharyya, Václav Snášel, Indrajit Pan, Debashis De.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence.,Hybrid systems.,Computational intelligence.,COMPUTERS-- Machine Theory.,COMPUTERS-- Programming-- Systems Analysis & Design.,Hybrid systems.,TECHNOLOGY-- Electricity.
رده :
Q342
57. Informatik :
پدیدآورنده : von Friedrich Ludwig Bauer, Rupert Gnatz, Ursula Hill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Coding theory.,Machine theory.,Programming (Electronic computers)
58. Interaction design :
پدیدآورنده : Sharp, Rogers, Preece.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Human-computer interaction.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human-computer interaction.
رده :
QA76
.
9
.
H85
P72
2019eb
59. Introduction to digital speech processing /
پدیدآورنده : Lawrence R. Rabiner, Ronald W. Schafer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Speech processing systems.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Electrical & Computer Engineering.,Electrical Engineering.,Engineering & Applied Sciences.,Speech processing systems.
رده :
TK7882
.
S65
R35
2007
60. Linear sequential circuits; analysis, synthesis, and applications
پدیدآورنده : Gill, Arthu
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory,، Electronic digital computers
رده :
TK
7888
.
3
.
G5
