61. Agile processes in software engineering and extreme programming : 10th international conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009 : proceedings
پدیدآورنده : Pekka Abrahamsson, Michele Marchesi, Frank Maurer )eds.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Congresses ، Agile software development,Congresses ، eXtreme programming,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
X62
2009
62. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
63. Algebraic methodology and software technolog : 6th international conference, AMAST'97 Sydney, Australia, December 13-17, 1997 : proceedings
پدیدآورنده : Michael Johnson )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1349
64. Algebraic methodology and software technology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Abstract data types (Computer science) ; Congresses. ; Abstract data types (Computer science) ; fast ; (OCoLC)fst00794745. ; Software engineering. ; fast ; (OCoLC)fst01124185. ; Algebraische Methode. ; swd. ; Softwaree
65. Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
پدیدآورنده : Armando Martin Haeberer )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1548
66. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
پدیدآورنده : Martin Wirsing, Maurice Nivat )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1101
67. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
پدیدآورنده : Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3116
68. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
پدیدآورنده : Teodor Rus )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1816
69. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2422
70. Algorithm engineering : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings
پدیدآورنده : Jeffrey S. Vitter, Christos D. Zaroliagis )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1668
71. Algorithm engineering : 5th International Workshop, WAE 2001, Aarhus, Denmark, August 28-21, 2001 : proceedings
پدیدآورنده : Gerth Stolting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2141
72. Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 2000 : proceedings
پدیدآورنده : Stefan Naher, Dorothea Wagner )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1982
73. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,شبکههای کامپیوتری -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
74. Architecting critical systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : tolerant computing ; Congresses. ; Software engineering ; Congresses. ; System design ; Congresses. ; Tol?rance aux fautes (informatique) ; Congr?s. ; ram. ; Architecture des ordinateurs ; Congr?s. ; ram. ; Syst-Computer architecture ; Congresses. ; Fault
75. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
76. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
77. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
78. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
79. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
80. Big data, cloud computing, and data science engineering
پدیدآورنده : Roger Lee, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
رده :
QA
76
.
9
.
B45B533