61. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
62. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
63. 1989 Conference on Nonlinear Analysis : Academia Sinica, Taipei, Republic of China, 19-24 June, 1989
پدیدآورنده : edited by Fon-Che Liu, Tai-Ping Liu
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Nonlinear functional analysis,Congresses ، Differential equations, Nonlinear,Congresses ، Kinetic theory of liquids,Congresses ، Calculus of variations
رده :
QA
321
.
5
.
C65
1989
64. Context-aware systems and applications, and nature of computation and communication :
پدیدآورنده : Phan Cong Vinh, Vangalur Alagar (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Context-aware computing, Congresses.,Context-aware computing.
رده :
QA76
.
5915
65. Control theory and the calculus of variations
پدیدآورنده : Edited by A. V. Balakrishnan
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Control theory,Congresses ، Calculus of variations
رده :
QA
402
.
3
.
W6
1968
66. Control theory and the calculus of variations
پدیدآورنده : Workshop on Calculus of Variations and Control Theory, 8691, University of California, Los Angeles, 8691
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Control theory-- Congresses,، Calculus of variations-- Congresses
رده :
QA
402
.
3
.
W6
1968
67. Control theory & the calculus of variations
پدیدآورنده :
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : CONTROL THEORY-CONGRESSES , CALCULUS OF VARIATIONS-CONGRESSES
رده :
QA
402
.
3
.
W6
1968
68. Declarative agent languages and technologies IX :
پدیدآورنده : Chiaki Sakama [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.
رده :
QA76
.
76
.
I58
C453
2012
69. Desenvolvimento assintotico e introducao ao calculo diferencial resurgente
پدیدآورنده : Cesar, Julio
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Differential calculus,Congresses ، Asymptotic expansions
رده :
QA
305
.
C47
70. Developments in control theory towards glocal control
پدیدآورنده : edited by Li Qiu ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Control theory-- Mathematical models, Congresses.,Control theory, Congresses.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
71. Differential and Difference Equations with Applications
پدیدآورنده : \ Sandra Pinelas ... [et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Differential equations -- Congresses,Mathematics -- Calculus,معادله‌های دیفرانسیل -- کنگره‌ها,ریاضیات -- ح‍س‍اب‍ان
رده :
E-Book
,
72. Differential equations and dynamical systems :
پدیدآورنده : Abdulla Azamov, Leonid Bunimovich, Akhtam Dzhalilov, Hong-Kun Khang, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Congresses.,Dynamics, Congresses.,Dynamical Systems and Ergodic Theory.,Partial Differential Equations.,Differential calculus & equations.,Differential equations.,Dynamics.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear science.
رده :
QA370
73. Dynamics, games and science I :
پدیدآورنده : Mauricio Matos Peixoto, Alberto Adrego Pinto, David A. Rand, Editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differentiable dynamical systems, Congresses.,Game theory, Congresses.,Mathematical physics, Congresses.,Differentiable dynamical systems.,Game theory.,Mathematical physics.,MATHEMATICS-- Differential Equations-- General.
رده :
QA614
.
8
.
D96
2011
74. European Congress of Mathematics :
پدیدآورنده : Volker Mehrmann, Martin Skutella, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Congresses.,General.,MATHEMATICS / Essays.,MATHEMATICS / Pre-Calculus.,MATHEMATICS / Reference.,Mathematics.,Mathematics.
رده :
QA1
75. Formal Grammar 2018 :
پدیدآورنده : Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
رده :
P98
.
I58
2018eb
76. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
77. Formal modeling and analysis of timed systems :
پدیدآورنده : Kim G. Larsen, Peter Niebert (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
78. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
79. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
80. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
