2961. The 1996 IEEE International conference on neural networks , June 3 - 6 , 1996 Sheraton Washington, DC, USA
پدیدآورنده :
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Neural networks (Computer science) - Congresses
رده :
QA
76
.
87
.
P76
1996
2962. The 1966 IEEE international conference on neural networks June 3-6, 1996 Sheraton Washington Hotel, Washington, DC, USA
پدیدآورنده :
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Neural networks )Computer science(
رده :
QA
76
.
87
.
I3
1996
2963. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده : A. Fuhrmann, M. Morreau )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
2964. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
2965. <The> Semantic Web
پدیدآورنده : \ [edited by] Fabien Gandon...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Semantic Web -- Congresses.,Database management.,وب معناشناختی-- کنگره‌ها ,پایگاه‌‌های اطلاعاتی -- مدیریت
رده :
TK
5105
.
88815
.
S4
2015
E-Book
,
2966. The beauty of functional code :
پدیدآورنده : Peter Achten, Pieter Koopman (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
2967. The influence of computing on mathematical research and education
پدیدآورنده : edited by Joseph P. Lasalle
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,، Mathematics -- Research,Study and teaching -- Congresses ، Mathematics
رده :
QA
1
.
P69
Vol
.
20
2968. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده : editors : Masakazu Suzuki....]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
2969. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده : J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
2970. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
پدیدآورنده : sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
کتابخانه: (طهران)
موضوع : Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
رده :
QA
76
.
642
.
A43
1997
2971. The second Aizu international symposium on parallel algorithms/architecture synthesis :proceedings ,March 17-21 ,1997 ,Aizu -Wakamatsu ,Fukushima ,Japon
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Parallel programming )computer science( -congresses,، Computr algorthims -congresses
2972. The unified modeling language, UML 2002 :
پدیدآورنده : Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Congresses -- Development.,Logiciels -- Congrès -- Développement.,UML (Computer science) -- Congresses.
2973. The unified modeling language : UML'98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : proceedings
پدیدآورنده : Jean Bezivin, Pierre-Alain Muller )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Object-oriented methods )Computer science(,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1618
2974. The unified modeling language : UML'99 : beyond the standard : Second International Workshop, Fort Collins, Co, October 28-30, 1999 : proceedings
پدیدآورنده : Robert France, Bernhard Rumpe )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
1723
2975. Theoretical Aspects of Computing – ICTAC 2015
پدیدآورنده : \ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer logic.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری
رده :
QA76
.
T46
2015
E-Book
,
2976. Theoretical and mathematical foundations of computer science :
پدیدآورنده : Qihai Zhou (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
I28
2011
2977. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
2978. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
2979. Theoretical aspects of neurocomputing : selected papers from the Symposium on Neural Network and...1990
پدیدآورنده : editors: M. Novak and E. Pelikan
کتابخانه: (طهران)
موضوع : Congresses ، Neural computers,Congresses ، Neural networks )Computer science(
رده :
QA
76
.
87
.
S95
1990
2980. Theoretical computer science :
پدیدآورنده : edited by Peter Deussen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.
