441. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
442. Static analysis
پدیدآورنده : Jens Palsberg, Zhendong Su (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
443. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
444. Supercomputing frontiers :
پدیدآورنده : Rio Yokota, Weigang Wu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Supercomputers, Congresses.,Supercomputers.
رده :
QA76
.
88
445. Swarm Intelligence :
پدیدآورنده : Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.
رده :
Q337
.
3
446. Swarm, evolutionary, and memetic computing :
پدیدآورنده : Bijaya Ketan Panigrahi [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses
رده :
QA76
.
618
.
I58
2011
447. Swarm, evolutionary, and memetic computing :
پدیدآورنده : Bijaya Ketan Panigrahi [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses
رده :
QA76
.
618
.
I58
2011
448. System analysis and modeling:
پدیدآورنده : Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.
449. System analysis and modeling :
پدیدآورنده : Ferhat Khendek, Reinhard Gotzhein (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
450. System configuration management : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings
پدیدآورنده : Boris Magnusson )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Software configuration management
رده :
QA
76
.
L28
Vol
.
1439
451. TAPSOFT '89 :
پدیدآورنده : J. Díaz, F. Orejas, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.
رده :
QA76
.
76
.
D47
I57
1989
452. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
453. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
454. TAPSOFT 91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1991
455. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
456. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
457. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991
پدیدآورنده : S. Abramsky, T.S.E. Maibaum )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
493-494
458. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1993
459. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
460. Tapsoft '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
پدیدآورنده : S. Abramsky, T.S.E. Maibaum, eds,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Computer software - Development - Congresses
رده :
QA
.
D47I58
76
.
76
1991